Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Unlifted

Contents

Synopsis

newtype Maybe# :: forall (r :: RuntimeRep). TYPE r -> TYPE ('SumRep '['TupleRep '[], r]) where
- Maybe# :: forall (r :: RuntimeRep) (a :: TYPE r). (# (# #) | a #) -> Maybe# @r a
newtype Either# :: forall (ra :: RuntimeRep) (rb :: RuntimeRep). TYPE ra -> TYPE rb -> TYPE ('SumRep '[ra, rb]) where
- Either# :: forall (ra :: RuntimeRep) (rb :: RuntimeRep) (a :: TYPE ra) (b :: TYPE rb). (# a | b #) -> Either# a b
newtype ST# :: forall (r :: RuntimeRep). Type -> TYPE r -> Type where
- ST# :: forall (r :: RuntimeRep) (s :: Type) (a :: TYPE r). {..} -> ST# s a
newtype ShortText# :: TYPE ('BoxedRep 'Unlifted) where
- ShortText# :: ByteArray# -> ShortText#
newtype PrimArray# :: forall (r :: RuntimeRep). TYPE r -> TYPE ('BoxedRep 'Unlifted) where
- PrimArray# :: forall (r :: RuntimeRep) (a :: TYPE r). ByteArray# -> PrimArray# a
newtype MutablePrimArray# :: forall (r :: RuntimeRep). Type -> TYPE r -> TYPE ('BoxedRep 'Unlifted) where
- MutablePrimArray# :: forall (r :: RuntimeRep) (s :: Type) (a :: TYPE r). MutableByteArray# s -> MutablePrimArray# s a
newtype Bool# :: TYPE 'WordRep where
- Bool# :: Word# -> Bool#
pattern True# :: Bool#
pattern False# :: Bool#

Base

newtype Maybe# :: forall (r :: RuntimeRep). TYPE r -> TYPE ('SumRep '['TupleRep '[], r]) where Source #

Unboxed variant of Maybe.

Constructors

Maybe# :: forall (r :: RuntimeRep) (a :: TYPE r). (# (# #) | a #) -> Maybe# @r a

newtype Either# :: forall (ra :: RuntimeRep) (rb :: RuntimeRep). TYPE ra -> TYPE rb -> TYPE ('SumRep '[ra, rb]) where Source #

Unboxed variant of Either.

Constructors

Either# :: forall (ra :: RuntimeRep) (rb :: RuntimeRep) (a :: TYPE ra) (b :: TYPE rb). (# a | b #) -> Either# a b

newtype ST# :: forall (r :: RuntimeRep). Type -> TYPE r -> Type where Source #

Variant of ST where the argument type does not have to be lifted. This does not have a monad instance and is difficult to use.

Constructors

ST#
Fields :: forall (r :: RuntimeRep) (s :: Type) (a :: TYPE r). { unST# :: State# s -> (# State# s, a #) } -> ST# s a

Text

Unlifted variant of ShortText.

Constructors

This resembles the PrimArray type from primitive, but the phantom parameter is an unboxed type, not a lifted type. For example:

Constructors

Mutable variant of PrimArray#.

Constructors

Unboxed variant of Bool.

Constructors