Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Primitive types representing unlifted arrays and the primops for manipulating them.
Synopsis
- newtype UnliftedArray# (a :: UnliftedType) = UnliftedArray# (Array# a)
- newtype MutableUnliftedArray# s (a :: UnliftedType) = MutableUnliftedArray# (MutableArray# s a)
- newUnliftedArray# :: Int# -> a -> State# s -> (# State# s, MutableUnliftedArray# s a #)
- unsafeNewUnliftedArray# :: Int# -> State# s -> (# State# s, MutableUnliftedArray# s a #)
- emptyUnliftedArray# :: (# #) -> UnliftedArray# a
- sameMutableUnliftedArray# :: MutableUnliftedArray# s a -> MutableUnliftedArray# s a -> Int#
- readUnliftedArray# :: MutableUnliftedArray# s a -> Int# -> State# s -> (# State# s, a #)
- writeUnliftedArray# :: MutableUnliftedArray# s a -> Int# -> a -> State# s -> State# s
- sizeofUnliftedArray# :: UnliftedArray# a -> Int#
- sizeofMutableUnliftedArray# :: MutableUnliftedArray# s a -> Int#
- indexUnliftedArray# :: UnliftedArray# a -> Int# -> a
- unsafeFreezeUnliftedArray# :: MutableUnliftedArray# s a -> State# s -> (# State# s, UnliftedArray# a #)
- unsafeThawUnliftedArray# :: UnliftedArray# a -> State# s -> (# State# s, MutableUnliftedArray# s a #)
- copyUnliftedArray# :: UnliftedArray# a -> Int# -> MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> State# s
- copyMutableUnliftedArray# :: MutableUnliftedArray# s a -> Int# -> MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> State# s
- cloneUnliftedArray# :: UnliftedArray# a -> Int# -> Int# -> UnliftedArray# a
- cloneMutableUnliftedArray# :: MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> (# State# s, MutableUnliftedArray# s a #)
- freezeUnliftedArray# :: MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> (# State# s, UnliftedArray# a #)
- thawUnliftedArray# :: UnliftedArray# a -> Int# -> Int# -> State# s -> (# State# s, MutableUnliftedArray# s a #)
- casUnliftedArray# :: MutableUnliftedArray# s a -> Int# -> a -> a -> State# s -> (# State# s, Int#, a #)
Types
newtype UnliftedArray# (a :: UnliftedType) Source #
UnliftedArray# (Array# a) |
newtype MutableUnliftedArray# s (a :: UnliftedType) Source #
Operations
newUnliftedArray# :: Int# -> a -> State# s -> (# State# s, MutableUnliftedArray# s a #) Source #
unsafeNewUnliftedArray# :: Int# -> State# s -> (# State# s, MutableUnliftedArray# s a #) Source #
Create a MutableUnliftedArray#
whose entries contain some unspecified
static value. This may be more convenient than newUnliftedArray#
if there
is no value on hand with which to initialize the array. Each entry must be
initialized before being read and used. This condition is not checked.
emptyUnliftedArray# :: (# #) -> UnliftedArray# a Source #
Warning: Applying unsafeThawUnliftedArray#
to the array produced by
this function will make demons come out of your nose.
sameMutableUnliftedArray# :: MutableUnliftedArray# s a -> MutableUnliftedArray# s a -> Int# Source #
readUnliftedArray# :: MutableUnliftedArray# s a -> Int# -> State# s -> (# State# s, a #) Source #
writeUnliftedArray# :: MutableUnliftedArray# s a -> Int# -> a -> State# s -> State# s Source #
sizeofUnliftedArray# :: UnliftedArray# a -> Int# Source #
indexUnliftedArray# :: UnliftedArray# a -> Int# -> a Source #
unsafeFreezeUnliftedArray# :: MutableUnliftedArray# s a -> State# s -> (# State# s, UnliftedArray# a #) Source #
unsafeThawUnliftedArray# :: UnliftedArray# a -> State# s -> (# State# s, MutableUnliftedArray# s a #) Source #
copyUnliftedArray# :: UnliftedArray# a -> Int# -> MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> State# s Source #
copyMutableUnliftedArray# :: MutableUnliftedArray# s a -> Int# -> MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> State# s Source #
cloneUnliftedArray# :: UnliftedArray# a -> Int# -> Int# -> UnliftedArray# a Source #
cloneMutableUnliftedArray# :: MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> (# State# s, MutableUnliftedArray# s a #) Source #
freezeUnliftedArray# :: MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> (# State# s, UnliftedArray# a #) Source #
thawUnliftedArray# :: UnliftedArray# a -> Int# -> Int# -> State# s -> (# State# s, MutableUnliftedArray# s a #) Source #
casUnliftedArray# :: MutableUnliftedArray# s a -> Int# -> a -> a -> State# s -> (# State# s, Int#, a #) Source #