unlifted-0.2.3.0: Unlifted and levity-polymorphic types
Quick Jump
Contents
Index
Index
Bool#
1 (Type/Class)
Data.Unlifted
2 (Data Constructor)
Data.Unlifted
Either#
1 (Type/Class)
Data.Unlifted
2 (Data Constructor)
Data.Unlifted
EitherVoid#
1 (Type/Class)
Data.Either.Void
2 (Data Constructor)
Data.Either.Void
Empty#
Data.Text.Short.Unlifted
False#
Data.Unlifted
IO#
1 (Type/Class)
Data.Unlifted
,
Control.Monad.IO.Unlifted
2 (Data Constructor)
Data.Unlifted
,
Control.Monad.IO.Unlifted
JustVoid#
Data.Maybe.Void
JustWord16#
Data.Maybe.Word16
LeftVoid#
Data.Either.Void
lift
1 (Function)
Data.Text.Short.Unlifted
2 (Function)
Control.Monad.IO.Unlifted
Maybe#
1 (Type/Class)
Data.Unlifted
2 (Data Constructor)
Data.Unlifted
MaybeVoid#
1 (Type/Class)
Data.Maybe.Void
2 (Data Constructor)
Data.Maybe.Void
MaybeWord16#
1 (Type/Class)
Data.Maybe.Word16
2 (Data Constructor)
Data.Maybe.Word16
MutablePrimArray#
1 (Type/Class)
Data.Unlifted
2 (Data Constructor)
Data.Unlifted
NothingVoid#
Data.Maybe.Void
NothingWord16#
Data.Maybe.Word16
PrimArray#
1 (Type/Class)
Data.Unlifted
2 (Data Constructor)
Data.Unlifted
RightVoid#
Data.Either.Void
ShortText#
1 (Type/Class)
Data.Unlifted
,
Data.Text.Short.Unlifted
2 (Data Constructor)
Data.Unlifted
,
Data.Text.Short.Unlifted
ST#
1 (Type/Class)
Data.Unlifted
2 (Data Constructor)
Data.Unlifted
Text#
1 (Type/Class)
Data.Unlifted
2 (Data Constructor)
Data.Unlifted
True#
Data.Unlifted
unIO#
Data.Unlifted
,
Control.Monad.IO.Unlifted
unlift
1 (Function)
Data.Text.Short.Unlifted
2 (Function)
Control.Monad.IO.Unlifted
unST#
Data.Unlifted