Documentation

data A# :: TYPE R -> TYPE ('BoxedRep 'Unlifted) #

data M# :: Type -> TYPE R -> TYPE ('BoxedRep 'Unlifted) #

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

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

initialized# :: forall (s :: Type) (a :: TYPE R). Int# -> a -> State# s -> (# State# s, M# s 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 #

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

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