Documentation

type R = LiftedRep Source #

type A# = SmallArray# :: Type -> UnliftedType Source #

type ArrayRep = UnliftedRep Source #

type M# = SmallMutableArray# :: Type -> Type -> UnliftedType Source #

empty# :: (# #) -> A# a Source #

index# :: A# a -> Int# -> a Source #

write# :: M# s a -> Int# -> a -> State# s -> State# s Source #

read# :: M# s a -> Int# -> State# s -> (# State# s, a #) Source #

unsafeFreeze# :: M# s a -> State# s -> (# State# s, A# a #) Source #

uninitialized# :: Int# -> State# s -> (# State# s, M# s a #) Source #

initialized# :: forall s a. Int# -> a -> State# s -> (# State# s, M# s a #) Source #

set# :: M# s a -> Int# -> Int# -> a -> State# s -> State# s Source #

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

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

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

copy# :: M# s a -> Int# -> A# a -> Int# -> Int# -> State# s -> State# s Source #