Word64

Documentation

type R = 'Word64Rep

type A# = PrimArray# @'Word64Rep

type M# = MutablePrimArray# @'Word64Rep

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 #)

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

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

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

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

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

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

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

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

size :: Int