| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Primitive.Unlifted.Array.Primops
Contents
Description
Primitive types representing unlifted arrays and the primops for manipulating them.
Synopsis
- newtype UnliftedArray# (a :: UnliftedType) :: UnliftedType = UnliftedArray# (Array# a)
- newtype MutableUnliftedArray# s (a :: UnliftedType) :: UnliftedType = MutableUnliftedArray# (MutableArray# s a)
- newUnliftedArray# :: forall (a :: UnliftedType) s. Int# -> a -> State# s -> (# State# s, MutableUnliftedArray# s a #)
- unsafeNewUnliftedArray# :: forall s (a :: UnliftedType). Int# -> State# s -> (# State# s, MutableUnliftedArray# s a #)
- emptyUnliftedArray# :: forall (a :: UnliftedType). (# #) -> UnliftedArray# a
- sameMutableUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> MutableUnliftedArray# s a -> Int#
- readUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> Int# -> State# s -> (# State# s, a #)
- writeUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> Int# -> a -> State# s -> State# s
- sizeofUnliftedArray# :: forall (a :: UnliftedType). UnliftedArray# a -> Int#
- sizeofMutableUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> Int#
- indexUnliftedArray# :: forall (a :: UnliftedType). UnliftedArray# a -> Int# -> a
- unsafeFreezeUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> State# s -> (# State# s, UnliftedArray# a #)
- unsafeThawUnliftedArray# :: forall (a :: UnliftedType) s. UnliftedArray# a -> State# s -> (# State# s, MutableUnliftedArray# s a #)
- copyUnliftedArray# :: forall (a :: UnliftedType) s. UnliftedArray# a -> Int# -> MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> State# s
- copyMutableUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> Int# -> MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> State# s
- cloneUnliftedArray# :: forall (a :: UnliftedType). UnliftedArray# a -> Int# -> Int# -> UnliftedArray# a
- cloneMutableUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> (# State# s, MutableUnliftedArray# s a #)
- freezeUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> (# State# s, UnliftedArray# a #)
- thawUnliftedArray# :: forall (a :: UnliftedType) s. UnliftedArray# a -> Int# -> Int# -> State# s -> (# State# s, MutableUnliftedArray# s a #)
- casUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> Int# -> a -> a -> State# s -> (# State# s, Int#, a #)
Types
newtype UnliftedArray# (a :: UnliftedType) :: UnliftedType Source #
Constructors
| UnliftedArray# (Array# a) |
newtype MutableUnliftedArray# s (a :: UnliftedType) :: UnliftedType Source #
Constructors
| MutableUnliftedArray# (MutableArray# s a) |
Operations
newUnliftedArray# :: forall (a :: UnliftedType) s. Int# -> a -> State# s -> (# State# s, MutableUnliftedArray# s a #) Source #
unsafeNewUnliftedArray# :: forall s (a :: UnliftedType). 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# :: forall (a :: UnliftedType). (# #) -> UnliftedArray# a Source #
Warning: Applying unsafeThawUnliftedArray# to the array produced by
this function will make demons come out of your nose.
sameMutableUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> MutableUnliftedArray# s a -> Int# Source #
readUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> Int# -> State# s -> (# State# s, a #) Source #
writeUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> Int# -> a -> State# s -> State# s Source #
sizeofUnliftedArray# :: forall (a :: UnliftedType). UnliftedArray# a -> Int# Source #
sizeofMutableUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> Int# Source #
indexUnliftedArray# :: forall (a :: UnliftedType). UnliftedArray# a -> Int# -> a Source #
unsafeFreezeUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> State# s -> (# State# s, UnliftedArray# a #) Source #
unsafeThawUnliftedArray# :: forall (a :: UnliftedType) s. UnliftedArray# a -> State# s -> (# State# s, MutableUnliftedArray# s a #) Source #
copyUnliftedArray# :: forall (a :: UnliftedType) s. UnliftedArray# a -> Int# -> MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> State# s Source #
copyMutableUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> Int# -> MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> State# s Source #
cloneUnliftedArray# :: forall (a :: UnliftedType). UnliftedArray# a -> Int# -> Int# -> UnliftedArray# a Source #
cloneMutableUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> (# State# s, MutableUnliftedArray# s a #) Source #
freezeUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> Int# -> Int# -> State# s -> (# State# s, UnliftedArray# a #) Source #
thawUnliftedArray# :: forall (a :: UnliftedType) s. UnliftedArray# a -> Int# -> Int# -> State# s -> (# State# s, MutableUnliftedArray# s a #) Source #
casUnliftedArray# :: forall s (a :: UnliftedType). MutableUnliftedArray# s a -> Int# -> a -> a -> State# s -> (# State# s, Int#, a #) Source #