Documentation

type R = 'Int32Rep Source #

type A# = PrimArray# :: TYPE 'Int32Rep -> UnliftedType Source #

type M# = MutablePrimArray# :: Type -> TYPE 'Int32Rep -> UnliftedType Source #

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

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

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

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

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

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

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

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

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

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

lt :: forall (a :: TYPE R). a -> a -> Bool Source #

gt :: forall (a :: TYPE R). a -> a -> Bool Source #

eq :: forall (a :: TYPE R). a -> a -> Bool Source #

lt# :: forall (a :: TYPE R). a -> a -> Int# Source #

gt# :: forall (a :: TYPE R). a -> a -> Int# Source #

eq# :: forall (a :: TYPE R). a -> a -> Int# Source #

max :: forall (a :: TYPE R). a -> a -> a Source #

min :: forall (a :: TYPE R). a -> a -> a Source #

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

size :: Int Source #