Documentation

data A# (a :: TYPE R) :: UnliftedType #

data M# a (b :: TYPE R) :: UnliftedType #

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

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

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

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

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

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

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

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