Lifted

Documentation

type R = 'BoxedRep 'Lifted

type A# = SmallArray#

type ArrayRep = 'BoxedRep 'Unlifted

type M# = SmallMutableArray#

empty# :: forall (a :: TYPE R). (# #) -> A# a

index# :: forall (a :: TYPE R). A# a -> Int# -> a

write# :: forall (s :: Type) (a :: TYPE R). M# s a -> Int# -> a -> State# s -> State# s

read# :: forall (s :: Type) (a :: TYPE R). M# s a -> Int# -> State# s -> (# State# s, a #)

unsafeFreeze# :: forall (s :: Type) (a :: TYPE R). M# s a -> State# s -> (# State# s, A# a #)

uninitialized# :: forall (s :: Type) (a :: TYPE R). Int# -> State# s -> (# State# s, M# s a #)

initialized# :: forall (s :: Type) (a :: TYPE R). Int# -> a -> State# s -> (# State# s, M# s a #)

set# :: forall (s :: Type) (a :: TYPE R). M# s a -> Int# -> Int# -> a -> State# s -> State# s

unsafeShrinkFreeze# :: M# s a -> Int# -> State# s -> (# State# s, A# a #)

thaw# :: forall (s :: Type) (a :: TYPE R). A# a -> Int# -> Int# -> State# s -> (# State# s, M# s a #)

freeze# :: forall (s :: Type) (a :: TYPE R). M# s a -> Int# -> Int# -> State# s -> (# State# s, A# a #)

copy# :: forall (s :: Type) (a :: TYPE R). M# s a -> Int# -> A# a -> Int# -> Int# -> State# s -> State# s