Documentation

Methods

showsPrec ∷ Int → LiftMismatch f g xs → ShowS #

show ∷ LiftMismatch f g xs → String #

showList ∷ [LiftMismatch f g xs] → ShowS #

Methods

(==) ∷ LiftMismatch f g xs → LiftMismatch f g xs → Bool #

(/=) ∷ LiftMismatch f g xs → LiftMismatch f g xs → Bool #

Methods

compare ∷ LiftMismatch f g xs → LiftMismatch f g xs → Ordering #

(<) ∷ LiftMismatch f g xs → LiftMismatch f g xs → Bool #

(<=) ∷ LiftMismatch f g xs → LiftMismatch f g xs → Bool #

(>) ∷ LiftMismatch f g xs → LiftMismatch f g xs → Bool #

(>=) ∷ LiftMismatch f g xs → LiftMismatch f g xs → Bool #

max ∷ LiftMismatch f g xs → LiftMismatch f g xs → LiftMismatch f g xs #

min ∷ LiftMismatch f g xs → LiftMismatch f g xs → LiftMismatch f g xs #

Methods

showsPrec ∷ Int → LiftNP f xs → ShowS #

show ∷ LiftNP f xs → String #

showList ∷ [LiftNP f xs] → ShowS #

Methods

(==) ∷ LiftNP f xs → LiftNP f xs → Bool #

(/=) ∷ LiftNP f xs → LiftNP f xs → Bool #

Methods

compare ∷ LiftNP f xs → LiftNP f xs → Ordering #

(<) ∷ LiftNP f xs → LiftNP f xs → Bool #

(<=) ∷ LiftNP f xs → LiftNP f xs → Bool #

(>) ∷ LiftNP f xs → LiftNP f xs → Bool #

(>=) ∷ LiftNP f xs → LiftNP f xs → Bool #

max ∷ LiftNP f xs → LiftNP f xs → LiftNP f xs #

min ∷ LiftNP f xs → LiftNP f xs → LiftNP f xs #

Methods

showsPrec ∷ Int → LiftNS f xs → ShowS #

show ∷ LiftNS f xs → String #

showList ∷ [LiftNS f xs] → ShowS #

Methods

(==) ∷ LiftNS f xs → LiftNS f xs → Bool #

(/=) ∷ LiftNS f xs → LiftNS f xs → Bool #

Methods

compare ∷ LiftNS f xs → LiftNS f xs → Ordering #

(<) ∷ LiftNS f xs → LiftNS f xs → Bool #

(<=) ∷ LiftNS f xs → LiftNS f xs → Bool #

(>) ∷ LiftNS f xs → LiftNS f xs → Bool #

(>=) ∷ LiftNS f xs → LiftNS f xs → Bool #

max ∷ LiftNS f xs → LiftNS f xs → LiftNS f xs #

min ∷ LiftNS f xs → LiftNS f xs → LiftNS f xs #

Methods

noThunks ∷ Context → LiftNamedMismatch name f g xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LiftNamedMismatch name f g xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LiftNamedMismatch name f g xs) → String Source #

Methods

noThunks ∷ Context → LiftNamedNP name f xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LiftNamedNP name f xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LiftNamedNP name f xs) → String Source #

Methods

noThunks ∷ Context → LiftNamedNS name f xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LiftNamedNS name f xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LiftNamedNS name f xs) → String Source #

Methods

noThunks ∷ Context → LiftNamedTelescope name f g xs → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LiftNamedTelescope name f g xs → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LiftNamedTelescope name f g xs) → String Source #

Methods

showsPrec ∷ Int → LiftOptNP empty f xs → ShowS #

show ∷ LiftOptNP empty f xs → String #

showList ∷ [LiftOptNP empty f xs] → ShowS #

Methods

(==) ∷ LiftOptNP empty f xs → LiftOptNP empty f xs → Bool #

(/=) ∷ LiftOptNP empty f xs → LiftOptNP empty f xs → Bool #

Methods

showsPrec ∷ Int → LiftTelescope g f xs → ShowS #

show ∷ LiftTelescope g f xs → String #

showList ∷ [LiftTelescope g f xs] → ShowS #

Methods

(==) ∷ LiftTelescope g f xs → LiftTelescope g f xs → Bool #

(/=) ∷ LiftTelescope g f xs → LiftTelescope g f xs → Bool #

Methods

compare ∷ LiftTelescope g f xs → LiftTelescope g f xs → Ordering #

(<) ∷ LiftTelescope g f xs → LiftTelescope g f xs → Bool #

(<=) ∷ LiftTelescope g f xs → LiftTelescope g f xs → Bool #

(>) ∷ LiftTelescope g f xs → LiftTelescope g f xs → Bool #

(>=) ∷ LiftTelescope g f xs → LiftTelescope g f xs → Bool #

max ∷ LiftTelescope g f xs → LiftTelescope g f xs → LiftTelescope g f xs #

min ∷ LiftTelescope g f xs → LiftTelescope g f xs → LiftTelescope g f xs #