Data.Const.Primitive.Array

Documentation

data ConstArray s a

Instances

Constable (ConstArray s :: Type -> Type) (ConstArray s :: Type -> Type)

Defined in Data.Const.Unsafe

Constable (ConstArray s :: Type -> Type) (MutableArray s :: Type -> Type)

Defined in Data.Const.Unsafe

Eq (ConstArray s a)

Defined in Data.Const.Unsafe

Methods

(==) :: ConstArray s a -> ConstArray s a -> Bool

(/=) :: ConstArray s a -> ConstArray s a -> Bool

constArray :: AnArray s p => p a -> ConstArray s a

type AnArray s = Constable (ConstArray s)

readAnArray :: forall m p a. (PrimMonad m, AnArray (PrimState m) p) => p a -> Int -> m a

sameArray :: forall s p q a. (AnArray s p, AnArray s q) => p a -> q a -> Bool

copyAnArray :: forall m p a. (PrimMonad m, AnArray (PrimState m) p) => MutableArray (PrimState m) a -> Int -> p a -> Int -> Int -> m ()

cloneAnArray :: forall m p a. (PrimMonad m, AnArray (PrimState m) p) => p a -> Int -> Int -> m (MutableArray (PrimState m) a)

sizeofAnArray :: forall s p a. AnArray s p => p a -> Int