Safe Haskell	None
Language	Haskell2010

Numerical.Array.Storage

Synopsis

data Boxed
data Unboxed
data Stored
data family BufferPure sort elem
data family BufferMut sort st elem
class (Vector (BufferPure mode) a, MVector (BufferMut mode) a) => Buffer mode a
class MVector (BufferMut mode) a => MBuffer mode a
unsafeBufferThaw :: (Buffer rep a, PrimMonad m) => BufferPure rep a -> m (BufferMut rep (PrimState m) a)
unsafeBufferFreeze :: (Buffer rep a, PrimMonad m) => BufferMut rep (PrimState m) a -> m (BufferPure rep a)

Documentation

data Boxed Source #

Boxed is the type index for Buffers that use the boxed data structure Vector as the underlying storage representation.

Instances

Data Boxed Source #
Instance details Defined in Numerical.Array.Storage Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Boxed -> c Boxed # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Boxed # toConstr :: Boxed -> Constr # dataTypeOf :: Boxed -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Boxed) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Boxed) # gmapT :: (forall b. Data b => b -> b) -> Boxed -> Boxed # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Boxed -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Boxed -> r # gmapQ :: (forall d. Data d => d -> u) -> Boxed -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Boxed -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Boxed -> m Boxed # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Boxed -> m Boxed # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Boxed -> m Boxed #
Functor (BufferPure Boxed) Source #
Instance details Defined in Numerical.Array.Storage Methods fmap :: (a -> b) -> BufferPure Boxed a -> BufferPure Boxed b # (<$) :: a -> BufferPure Boxed b -> BufferPure Boxed a #
Foldable (BufferPure Boxed) Source #
Instance details Defined in Numerical.Array.Storage Methods fold :: Monoid m => BufferPure Boxed m -> m # foldMap :: Monoid m => (a -> m) -> BufferPure Boxed a -> m # foldr :: (a -> b -> b) -> b -> BufferPure Boxed a -> b # foldr' :: (a -> b -> b) -> b -> BufferPure Boxed a -> b # foldl :: (b -> a -> b) -> b -> BufferPure Boxed a -> b # foldl' :: (b -> a -> b) -> b -> BufferPure Boxed a -> b # foldr1 :: (a -> a -> a) -> BufferPure Boxed a -> a # foldl1 :: (a -> a -> a) -> BufferPure Boxed a -> a # toList :: BufferPure Boxed a -> [a] # null :: BufferPure Boxed a -> Bool # length :: BufferPure Boxed a -> Int # elem :: Eq a => a -> BufferPure Boxed a -> Bool # maximum :: Ord a => BufferPure Boxed a -> a # minimum :: Ord a => BufferPure Boxed a -> a # sum :: Num a => BufferPure Boxed a -> a # product :: Num a => BufferPure Boxed a -> a #
Traversable (BufferPure Boxed) Source #
Instance details Defined in Numerical.Array.Storage Methods traverse :: Applicative f => (a -> f b) -> BufferPure Boxed a -> f (BufferPure Boxed b) # sequenceA :: Applicative f => BufferPure Boxed (f a) -> f (BufferPure Boxed a) # mapM :: Monad m => (a -> m b) -> BufferPure Boxed a -> m (BufferPure Boxed b) # sequence :: Monad m => BufferPure Boxed (m a) -> m (BufferPure Boxed a) #
Vector Vector a => Vector (BufferPure Boxed) a Source #
Instance details Defined in Numerical.Array.Storage Methods basicUnsafeFreeze :: PrimMonad m => Mutable (BufferPure Boxed) (PrimState m) a -> m (BufferPure Boxed a) # basicUnsafeThaw :: PrimMonad m => BufferPure Boxed a -> m (Mutable (BufferPure Boxed) (PrimState m) a) # basicLength :: BufferPure Boxed a -> Int # basicUnsafeSlice :: Int -> Int -> BufferPure Boxed a -> BufferPure Boxed a # basicUnsafeIndexM :: Monad m => BufferPure Boxed a -> Int -> m a # basicUnsafeCopy :: PrimMonad m => Mutable (BufferPure Boxed) (PrimState m) a -> BufferPure Boxed a -> m () # elemseq :: BufferPure Boxed a -> a -> b -> b #
MVector MVector elem => MVector (BufferMut Boxed) elem Source #
Instance details Defined in Numerical.Array.Storage Methods basicLength :: BufferMut Boxed s elem -> Int # basicUnsafeSlice :: Int -> Int -> BufferMut Boxed s elem -> BufferMut Boxed s elem # basicOverlaps :: BufferMut Boxed s elem -> BufferMut Boxed s elem -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (BufferMut Boxed (PrimState m) elem) # basicInitialize :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> elem -> m (BufferMut Boxed (PrimState m) elem) # basicUnsafeRead :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> Int -> m elem # basicUnsafeWrite :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> Int -> elem -> m () # basicClear :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> m () # basicSet :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> elem -> m () # basicUnsafeCopy :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> BufferMut Boxed (PrimState m) elem -> m () # basicUnsafeMove :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> BufferMut Boxed (PrimState m) elem -> m () # basicUnsafeGrow :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> Int -> m (BufferMut Boxed (PrimState m) elem) #
Data elem => Data (BufferPure Boxed elem) Source #
Instance details Defined in Numerical.Array.Storage Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BufferPure Boxed elem -> c (BufferPure Boxed elem) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (BufferPure Boxed elem) # toConstr :: BufferPure Boxed elem -> Constr # dataTypeOf :: BufferPure Boxed elem -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (BufferPure Boxed elem)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (BufferPure Boxed elem)) # gmapT :: (forall b. Data b => b -> b) -> BufferPure Boxed elem -> BufferPure Boxed elem # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BufferPure Boxed elem -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BufferPure Boxed elem -> r # gmapQ :: (forall d. Data d => d -> u) -> BufferPure Boxed elem -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BufferPure Boxed elem -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BufferPure Boxed elem -> m (BufferPure Boxed elem) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BufferPure Boxed elem -> m (BufferPure Boxed elem) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BufferPure Boxed elem -> m (BufferPure Boxed elem) #
Show elem => Show (BufferPure Boxed elem) Source #
Instance details Defined in Numerical.Array.Storage Methods showsPrec :: Int -> BufferPure Boxed elem -> ShowS # show :: BufferPure Boxed elem -> String # showList :: [BufferPure Boxed elem] -> ShowS #
Generic (BufferPure Boxed elem) Source #
Instance details Defined in Numerical.Array.Storage Associated Types type Rep (BufferPure Boxed elem) :: Type -> Type # Methods from :: BufferPure Boxed elem -> Rep (BufferPure Boxed elem) x # to :: Rep (BufferPure Boxed elem) x -> BufferPure Boxed elem #
data BufferMut Boxed st elem Source #
Instance details Defined in Numerical.Array.Storage data BufferMut Boxed st elem = BoxedBufferMut (MVector st elem)
data BufferPure Boxed elem Source #
Instance details Defined in Numerical.Array.Storage data BufferPure Boxed elem = BoxedBuffer (Vector elem)
type Rep (BufferPure Boxed elem) Source #
Instance details Defined in Numerical.Array.Storage type Rep (BufferPure Boxed elem) = D1 (MetaData "BufferPure" "Numerical.Array.Storage" "numerical-0.0.0.0-G1yWw4Hx7O95VnU5FU3zyO" True) (C1 (MetaCons "BoxedBuffer" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector elem))))

data Unboxed Source #

Unboxed is the type index for Buffers that use the unboxed data structure Vector as the underlying storage representation.

Instances

Data Unboxed Source #
Instance details Defined in Numerical.Array.Storage Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Unboxed -> c Unboxed # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Unboxed # toConstr :: Unboxed -> Constr # dataTypeOf :: Unboxed -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Unboxed) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Unboxed) # gmapT :: (forall b. Data b => b -> b) -> Unboxed -> Unboxed # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Unboxed -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Unboxed -> r # gmapQ :: (forall d. Data d => d -> u) -> Unboxed -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Unboxed -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Unboxed -> m Unboxed # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Unboxed -> m Unboxed # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Unboxed -> m Unboxed #
Vector Vector a => Vector (BufferPure Unboxed) a Source #
Instance details Defined in Numerical.Array.Storage Methods basicUnsafeFreeze :: PrimMonad m => Mutable (BufferPure Unboxed) (PrimState m) a -> m (BufferPure Unboxed a) # basicUnsafeThaw :: PrimMonad m => BufferPure Unboxed a -> m (Mutable (BufferPure Unboxed) (PrimState m) a) # basicLength :: BufferPure Unboxed a -> Int # basicUnsafeSlice :: Int -> Int -> BufferPure Unboxed a -> BufferPure Unboxed a # basicUnsafeIndexM :: Monad m => BufferPure Unboxed a -> Int -> m a # basicUnsafeCopy :: PrimMonad m => Mutable (BufferPure Unboxed) (PrimState m) a -> BufferPure Unboxed a -> m () # elemseq :: BufferPure Unboxed a -> a -> b -> b #
MVector MVector elem => MVector (BufferMut Unboxed) elem Source #
Instance details Defined in Numerical.Array.Storage Methods basicLength :: BufferMut Unboxed s elem -> Int # basicUnsafeSlice :: Int -> Int -> BufferMut Unboxed s elem -> BufferMut Unboxed s elem # basicOverlaps :: BufferMut Unboxed s elem -> BufferMut Unboxed s elem -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (BufferMut Unboxed (PrimState m) elem) # basicInitialize :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> elem -> m (BufferMut Unboxed (PrimState m) elem) # basicUnsafeRead :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> Int -> m elem # basicUnsafeWrite :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> Int -> elem -> m () # basicClear :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> m () # basicSet :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> elem -> m () # basicUnsafeCopy :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> BufferMut Unboxed (PrimState m) elem -> m () # basicUnsafeMove :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> BufferMut Unboxed (PrimState m) elem -> m () # basicUnsafeGrow :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> Int -> m (BufferMut Unboxed (PrimState m) elem) #
(Data elem, Unbox elem) => Data (BufferPure Unboxed elem) Source #
Instance details Defined in Numerical.Array.Storage Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BufferPure Unboxed elem -> c (BufferPure Unboxed elem) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (BufferPure Unboxed elem) # toConstr :: BufferPure Unboxed elem -> Constr # dataTypeOf :: BufferPure Unboxed elem -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (BufferPure Unboxed elem)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (BufferPure Unboxed elem)) # gmapT :: (forall b. Data b => b -> b) -> BufferPure Unboxed elem -> BufferPure Unboxed elem # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BufferPure Unboxed elem -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BufferPure Unboxed elem -> r # gmapQ :: (forall d. Data d => d -> u) -> BufferPure Unboxed elem -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BufferPure Unboxed elem -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BufferPure Unboxed elem -> m (BufferPure Unboxed elem) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BufferPure Unboxed elem -> m (BufferPure Unboxed elem) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BufferPure Unboxed elem -> m (BufferPure Unboxed elem) #
(Show elem, Unbox elem) => Show (BufferPure Unboxed elem) Source #
Instance details Defined in Numerical.Array.Storage Methods showsPrec :: Int -> BufferPure Unboxed elem -> ShowS # show :: BufferPure Unboxed elem -> String # showList :: [BufferPure Unboxed elem] -> ShowS #
Generic (BufferPure Unboxed elem) Source #
Instance details Defined in Numerical.Array.Storage Associated Types type Rep (BufferPure Unboxed elem) :: Type -> Type # Methods from :: BufferPure Unboxed elem -> Rep (BufferPure Unboxed elem) x # to :: Rep (BufferPure Unboxed elem) x -> BufferPure Unboxed elem #
data BufferMut Unboxed st elem Source #
Instance details Defined in Numerical.Array.Storage data BufferMut Unboxed st elem = UnboxedBufferMut (MVector st elem)
data BufferPure Unboxed elem Source #
Instance details Defined in Numerical.Array.Storage data BufferPure Unboxed elem = UnboxedBuffer (Vector elem)
type Rep (BufferPure Unboxed elem) Source #
Instance details Defined in Numerical.Array.Storage type Rep (BufferPure Unboxed elem) = D1 (MetaData "BufferPure" "Numerical.Array.Storage" "numerical-0.0.0.0-G1yWw4Hx7O95VnU5FU3zyO" True) (C1 (MetaCons "UnboxedBuffer" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector elem))))

data Stored Source #

Stored is the type index for Buffers that use the Storable for values, in pinned byte array buffers, provided by Storable

Instances

Data Stored Source #
Instance details Defined in Numerical.Array.Storage Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Stored -> c Stored # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Stored # toConstr :: Stored -> Constr # dataTypeOf :: Stored -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Stored) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Stored) # gmapT :: (forall b. Data b => b -> b) -> Stored -> Stored # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Stored -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Stored -> r # gmapQ :: (forall d. Data d => d -> u) -> Stored -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Stored -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Stored -> m Stored # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Stored -> m Stored # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Stored -> m Stored #
Storable a => Vector (BufferPure Stored) a Source #
Instance details Defined in Numerical.Array.Storage Methods basicUnsafeFreeze :: PrimMonad m => Mutable (BufferPure Stored) (PrimState m) a -> m (BufferPure Stored a) # basicUnsafeThaw :: PrimMonad m => BufferPure Stored a -> m (Mutable (BufferPure Stored) (PrimState m) a) # basicLength :: BufferPure Stored a -> Int # basicUnsafeSlice :: Int -> Int -> BufferPure Stored a -> BufferPure Stored a # basicUnsafeIndexM :: Monad m => BufferPure Stored a -> Int -> m a # basicUnsafeCopy :: PrimMonad m => Mutable (BufferPure Stored) (PrimState m) a -> BufferPure Stored a -> m () # elemseq :: BufferPure Stored a -> a -> b -> b #
Storable elem => MVector (BufferMut Stored) elem Source #
Instance details Defined in Numerical.Array.Storage Methods basicLength :: BufferMut Stored s elem -> Int # basicUnsafeSlice :: Int -> Int -> BufferMut Stored s elem -> BufferMut Stored s elem # basicOverlaps :: BufferMut Stored s elem -> BufferMut Stored s elem -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (BufferMut Stored (PrimState m) elem) # basicInitialize :: PrimMonad m => BufferMut Stored (PrimState m) elem -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> elem -> m (BufferMut Stored (PrimState m) elem) # basicUnsafeRead :: PrimMonad m => BufferMut Stored (PrimState m) elem -> Int -> m elem # basicUnsafeWrite :: PrimMonad m => BufferMut Stored (PrimState m) elem -> Int -> elem -> m () # basicClear :: PrimMonad m => BufferMut Stored (PrimState m) elem -> m () # basicSet :: PrimMonad m => BufferMut Stored (PrimState m) elem -> elem -> m () # basicUnsafeCopy :: PrimMonad m => BufferMut Stored (PrimState m) elem -> BufferMut Stored (PrimState m) elem -> m () # basicUnsafeMove :: PrimMonad m => BufferMut Stored (PrimState m) elem -> BufferMut Stored (PrimState m) elem -> m () # basicUnsafeGrow :: PrimMonad m => BufferMut Stored (PrimState m) elem -> Int -> m (BufferMut Stored (PrimState m) elem) #
(Data elem, Storable elem) => Data (BufferPure Stored elem) Source #
Instance details Defined in Numerical.Array.Storage Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BufferPure Stored elem -> c (BufferPure Stored elem) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (BufferPure Stored elem) # toConstr :: BufferPure Stored elem -> Constr # dataTypeOf :: BufferPure Stored elem -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (BufferPure Stored elem)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (BufferPure Stored elem)) # gmapT :: (forall b. Data b => b -> b) -> BufferPure Stored elem -> BufferPure Stored elem # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BufferPure Stored elem -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BufferPure Stored elem -> r # gmapQ :: (forall d. Data d => d -> u) -> BufferPure Stored elem -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BufferPure Stored elem -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BufferPure Stored elem -> m (BufferPure Stored elem) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BufferPure Stored elem -> m (BufferPure Stored elem) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BufferPure Stored elem -> m (BufferPure Stored elem) #
(Show elem, Storable elem) => Show (BufferPure Stored elem) Source #
Instance details Defined in Numerical.Array.Storage Methods showsPrec :: Int -> BufferPure Stored elem -> ShowS # show :: BufferPure Stored elem -> String # showList :: [BufferPure Stored elem] -> ShowS #
Generic (BufferPure Stored elem) Source #
Instance details Defined in Numerical.Array.Storage Associated Types type Rep (BufferPure Stored elem) :: Type -> Type # Methods from :: BufferPure Stored elem -> Rep (BufferPure Stored elem) x # to :: Rep (BufferPure Stored elem) x -> BufferPure Stored elem #
data BufferMut Stored st elem Source #
Instance details Defined in Numerical.Array.Storage data BufferMut Stored st elem = StorableBufferMut (MVector st elem)
data BufferPure Stored elem Source #
Instance details Defined in Numerical.Array.Storage data BufferPure Stored elem = StorableBuffer (Vector elem)
type Rep (BufferPure Stored elem) Source #
Instance details Defined in Numerical.Array.Storage type Rep (BufferPure Stored elem) = D1 (MetaData "BufferPure" "Numerical.Array.Storage" "numerical-0.0.0.0-G1yWw4Hx7O95VnU5FU3zyO" True) (C1 (MetaCons "StorableBuffer" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector elem))))

data family BufferPure sort elem Source #

Instances

Functor (BufferPure Boxed) Source #
Instance details Defined in Numerical.Array.Storage Methods fmap :: (a -> b) -> BufferPure Boxed a -> BufferPure Boxed b # (<$) :: a -> BufferPure Boxed b -> BufferPure Boxed a #
Foldable (BufferPure Boxed) Source #
Instance details Defined in Numerical.Array.Storage Methods fold :: Monoid m => BufferPure Boxed m -> m # foldMap :: Monoid m => (a -> m) -> BufferPure Boxed a -> m # foldr :: (a -> b -> b) -> b -> BufferPure Boxed a -> b # foldr' :: (a -> b -> b) -> b -> BufferPure Boxed a -> b # foldl :: (b -> a -> b) -> b -> BufferPure Boxed a -> b # foldl' :: (b -> a -> b) -> b -> BufferPure Boxed a -> b # foldr1 :: (a -> a -> a) -> BufferPure Boxed a -> a # foldl1 :: (a -> a -> a) -> BufferPure Boxed a -> a # toList :: BufferPure Boxed a -> [a] # null :: BufferPure Boxed a -> Bool # length :: BufferPure Boxed a -> Int # elem :: Eq a => a -> BufferPure Boxed a -> Bool # maximum :: Ord a => BufferPure Boxed a -> a # minimum :: Ord a => BufferPure Boxed a -> a # sum :: Num a => BufferPure Boxed a -> a # product :: Num a => BufferPure Boxed a -> a #
Traversable (BufferPure Boxed) Source #
Instance details Defined in Numerical.Array.Storage Methods traverse :: Applicative f => (a -> f b) -> BufferPure Boxed a -> f (BufferPure Boxed b) # sequenceA :: Applicative f => BufferPure Boxed (f a) -> f (BufferPure Boxed a) # mapM :: Monad m => (a -> m b) -> BufferPure Boxed a -> m (BufferPure Boxed b) # sequence :: Monad m => BufferPure Boxed (m a) -> m (BufferPure Boxed a) #
Storable a => Vector (BufferPure Stored) a Source #
Instance details Defined in Numerical.Array.Storage Methods basicUnsafeFreeze :: PrimMonad m => Mutable (BufferPure Stored) (PrimState m) a -> m (BufferPure Stored a) # basicUnsafeThaw :: PrimMonad m => BufferPure Stored a -> m (Mutable (BufferPure Stored) (PrimState m) a) # basicLength :: BufferPure Stored a -> Int # basicUnsafeSlice :: Int -> Int -> BufferPure Stored a -> BufferPure Stored a # basicUnsafeIndexM :: Monad m => BufferPure Stored a -> Int -> m a # basicUnsafeCopy :: PrimMonad m => Mutable (BufferPure Stored) (PrimState m) a -> BufferPure Stored a -> m () # elemseq :: BufferPure Stored a -> a -> b -> b #
Vector Vector a => Vector (BufferPure Unboxed) a Source #
Instance details Defined in Numerical.Array.Storage Methods basicUnsafeFreeze :: PrimMonad m => Mutable (BufferPure Unboxed) (PrimState m) a -> m (BufferPure Unboxed a) # basicUnsafeThaw :: PrimMonad m => BufferPure Unboxed a -> m (Mutable (BufferPure Unboxed) (PrimState m) a) # basicLength :: BufferPure Unboxed a -> Int # basicUnsafeSlice :: Int -> Int -> BufferPure Unboxed a -> BufferPure Unboxed a # basicUnsafeIndexM :: Monad m => BufferPure Unboxed a -> Int -> m a # basicUnsafeCopy :: PrimMonad m => Mutable (BufferPure Unboxed) (PrimState m) a -> BufferPure Unboxed a -> m () # elemseq :: BufferPure Unboxed a -> a -> b -> b #
Vector Vector a => Vector (BufferPure Boxed) a Source #
Instance details Defined in Numerical.Array.Storage Methods basicUnsafeFreeze :: PrimMonad m => Mutable (BufferPure Boxed) (PrimState m) a -> m (BufferPure Boxed a) # basicUnsafeThaw :: PrimMonad m => BufferPure Boxed a -> m (Mutable (BufferPure Boxed) (PrimState m) a) # basicLength :: BufferPure Boxed a -> Int # basicUnsafeSlice :: Int -> Int -> BufferPure Boxed a -> BufferPure Boxed a # basicUnsafeIndexM :: Monad m => BufferPure Boxed a -> Int -> m a # basicUnsafeCopy :: PrimMonad m => Mutable (BufferPure Boxed) (PrimState m) a -> BufferPure Boxed a -> m () # elemseq :: BufferPure Boxed a -> a -> b -> b #
(Data elem, Storable elem) => Data (BufferPure Stored elem) Source #
Instance details Defined in Numerical.Array.Storage Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BufferPure Stored elem -> c (BufferPure Stored elem) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (BufferPure Stored elem) # toConstr :: BufferPure Stored elem -> Constr # dataTypeOf :: BufferPure Stored elem -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (BufferPure Stored elem)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (BufferPure Stored elem)) # gmapT :: (forall b. Data b => b -> b) -> BufferPure Stored elem -> BufferPure Stored elem # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BufferPure Stored elem -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BufferPure Stored elem -> r # gmapQ :: (forall d. Data d => d -> u) -> BufferPure Stored elem -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BufferPure Stored elem -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BufferPure Stored elem -> m (BufferPure Stored elem) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BufferPure Stored elem -> m (BufferPure Stored elem) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BufferPure Stored elem -> m (BufferPure Stored elem) #
(Data elem, Unbox elem) => Data (BufferPure Unboxed elem) Source #
Instance details Defined in Numerical.Array.Storage Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BufferPure Unboxed elem -> c (BufferPure Unboxed elem) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (BufferPure Unboxed elem) # toConstr :: BufferPure Unboxed elem -> Constr # dataTypeOf :: BufferPure Unboxed elem -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (BufferPure Unboxed elem)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (BufferPure Unboxed elem)) # gmapT :: (forall b. Data b => b -> b) -> BufferPure Unboxed elem -> BufferPure Unboxed elem # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BufferPure Unboxed elem -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BufferPure Unboxed elem -> r # gmapQ :: (forall d. Data d => d -> u) -> BufferPure Unboxed elem -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BufferPure Unboxed elem -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BufferPure Unboxed elem -> m (BufferPure Unboxed elem) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BufferPure Unboxed elem -> m (BufferPure Unboxed elem) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BufferPure Unboxed elem -> m (BufferPure Unboxed elem) #
Data elem => Data (BufferPure Boxed elem) Source #
Instance details Defined in Numerical.Array.Storage Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BufferPure Boxed elem -> c (BufferPure Boxed elem) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (BufferPure Boxed elem) # toConstr :: BufferPure Boxed elem -> Constr # dataTypeOf :: BufferPure Boxed elem -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (BufferPure Boxed elem)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (BufferPure Boxed elem)) # gmapT :: (forall b. Data b => b -> b) -> BufferPure Boxed elem -> BufferPure Boxed elem # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BufferPure Boxed elem -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BufferPure Boxed elem -> r # gmapQ :: (forall d. Data d => d -> u) -> BufferPure Boxed elem -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BufferPure Boxed elem -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BufferPure Boxed elem -> m (BufferPure Boxed elem) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BufferPure Boxed elem -> m (BufferPure Boxed elem) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BufferPure Boxed elem -> m (BufferPure Boxed elem) #
(Show elem, Storable elem) => Show (BufferPure Stored elem) Source #
Instance details Defined in Numerical.Array.Storage Methods showsPrec :: Int -> BufferPure Stored elem -> ShowS # show :: BufferPure Stored elem -> String # showList :: [BufferPure Stored elem] -> ShowS #
(Show elem, Unbox elem) => Show (BufferPure Unboxed elem) Source #
Instance details Defined in Numerical.Array.Storage Methods showsPrec :: Int -> BufferPure Unboxed elem -> ShowS # show :: BufferPure Unboxed elem -> String # showList :: [BufferPure Unboxed elem] -> ShowS #
Show elem => Show (BufferPure Boxed elem) Source #
Instance details Defined in Numerical.Array.Storage Methods showsPrec :: Int -> BufferPure Boxed elem -> ShowS # show :: BufferPure Boxed elem -> String # showList :: [BufferPure Boxed elem] -> ShowS #
Generic (BufferPure Stored elem) Source #
Instance details Defined in Numerical.Array.Storage Associated Types type Rep (BufferPure Stored elem) :: Type -> Type # Methods from :: BufferPure Stored elem -> Rep (BufferPure Stored elem) x # to :: Rep (BufferPure Stored elem) x -> BufferPure Stored elem #
Generic (BufferPure Unboxed elem) Source #
Instance details Defined in Numerical.Array.Storage Associated Types type Rep (BufferPure Unboxed elem) :: Type -> Type # Methods from :: BufferPure Unboxed elem -> Rep (BufferPure Unboxed elem) x # to :: Rep (BufferPure Unboxed elem) x -> BufferPure Unboxed elem #
Generic (BufferPure Boxed elem) Source #
Instance details Defined in Numerical.Array.Storage Associated Types type Rep (BufferPure Boxed elem) :: Type -> Type # Methods from :: BufferPure Boxed elem -> Rep (BufferPure Boxed elem) x # to :: Rep (BufferPure Boxed elem) x -> BufferPure Boxed elem #
data BufferPure Stored elem Source #
Instance details Defined in Numerical.Array.Storage data BufferPure Stored elem = StorableBuffer (Vector elem)
data BufferPure Unboxed elem Source #
Instance details Defined in Numerical.Array.Storage data BufferPure Unboxed elem = UnboxedBuffer (Vector elem)
data BufferPure Boxed elem Source #
Instance details Defined in Numerical.Array.Storage data BufferPure Boxed elem = BoxedBuffer (Vector elem)
type Mutable (BufferPure sort) Source #
Instance details Defined in Numerical.Array.Storage type Mutable (BufferPure sort) = BufferMut sort
type Rep (BufferPure Stored elem) Source #
Instance details Defined in Numerical.Array.Storage type Rep (BufferPure Stored elem) = D1 (MetaData "BufferPure" "Numerical.Array.Storage" "numerical-0.0.0.0-G1yWw4Hx7O95VnU5FU3zyO" True) (C1 (MetaCons "StorableBuffer" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector elem))))
type Rep (BufferPure Unboxed elem) Source #
Instance details Defined in Numerical.Array.Storage type Rep (BufferPure Unboxed elem) = D1 (MetaData "BufferPure" "Numerical.Array.Storage" "numerical-0.0.0.0-G1yWw4Hx7O95VnU5FU3zyO" True) (C1 (MetaCons "UnboxedBuffer" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector elem))))
type Rep (BufferPure Boxed elem) Source #
Instance details Defined in Numerical.Array.Storage type Rep (BufferPure Boxed elem) = D1 (MetaData "BufferPure" "Numerical.Array.Storage" "numerical-0.0.0.0-G1yWw4Hx7O95VnU5FU3zyO" True) (C1 (MetaCons "BoxedBuffer" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector elem))))

data family BufferMut sort st elem Source #

Instances

Storable elem => MVector (BufferMut Stored) elem Source #
Instance details Defined in Numerical.Array.Storage Methods basicLength :: BufferMut Stored s elem -> Int # basicUnsafeSlice :: Int -> Int -> BufferMut Stored s elem -> BufferMut Stored s elem # basicOverlaps :: BufferMut Stored s elem -> BufferMut Stored s elem -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (BufferMut Stored (PrimState m) elem) # basicInitialize :: PrimMonad m => BufferMut Stored (PrimState m) elem -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> elem -> m (BufferMut Stored (PrimState m) elem) # basicUnsafeRead :: PrimMonad m => BufferMut Stored (PrimState m) elem -> Int -> m elem # basicUnsafeWrite :: PrimMonad m => BufferMut Stored (PrimState m) elem -> Int -> elem -> m () # basicClear :: PrimMonad m => BufferMut Stored (PrimState m) elem -> m () # basicSet :: PrimMonad m => BufferMut Stored (PrimState m) elem -> elem -> m () # basicUnsafeCopy :: PrimMonad m => BufferMut Stored (PrimState m) elem -> BufferMut Stored (PrimState m) elem -> m () # basicUnsafeMove :: PrimMonad m => BufferMut Stored (PrimState m) elem -> BufferMut Stored (PrimState m) elem -> m () # basicUnsafeGrow :: PrimMonad m => BufferMut Stored (PrimState m) elem -> Int -> m (BufferMut Stored (PrimState m) elem) #
MVector MVector elem => MVector (BufferMut Unboxed) elem Source #
Instance details Defined in Numerical.Array.Storage Methods basicLength :: BufferMut Unboxed s elem -> Int # basicUnsafeSlice :: Int -> Int -> BufferMut Unboxed s elem -> BufferMut Unboxed s elem # basicOverlaps :: BufferMut Unboxed s elem -> BufferMut Unboxed s elem -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (BufferMut Unboxed (PrimState m) elem) # basicInitialize :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> elem -> m (BufferMut Unboxed (PrimState m) elem) # basicUnsafeRead :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> Int -> m elem # basicUnsafeWrite :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> Int -> elem -> m () # basicClear :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> m () # basicSet :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> elem -> m () # basicUnsafeCopy :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> BufferMut Unboxed (PrimState m) elem -> m () # basicUnsafeMove :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> BufferMut Unboxed (PrimState m) elem -> m () # basicUnsafeGrow :: PrimMonad m => BufferMut Unboxed (PrimState m) elem -> Int -> m (BufferMut Unboxed (PrimState m) elem) #
MVector MVector elem => MVector (BufferMut Boxed) elem Source #
Instance details Defined in Numerical.Array.Storage Methods basicLength :: BufferMut Boxed s elem -> Int # basicUnsafeSlice :: Int -> Int -> BufferMut Boxed s elem -> BufferMut Boxed s elem # basicOverlaps :: BufferMut Boxed s elem -> BufferMut Boxed s elem -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (BufferMut Boxed (PrimState m) elem) # basicInitialize :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> elem -> m (BufferMut Boxed (PrimState m) elem) # basicUnsafeRead :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> Int -> m elem # basicUnsafeWrite :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> Int -> elem -> m () # basicClear :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> m () # basicSet :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> elem -> m () # basicUnsafeCopy :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> BufferMut Boxed (PrimState m) elem -> m () # basicUnsafeMove :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> BufferMut Boxed (PrimState m) elem -> m () # basicUnsafeGrow :: PrimMonad m => BufferMut Boxed (PrimState m) elem -> Int -> m (BufferMut Boxed (PrimState m) elem) #
data BufferMut Stored st elem Source #
Instance details Defined in Numerical.Array.Storage data BufferMut Stored st elem = StorableBufferMut (MVector st elem)
data BufferMut Unboxed st elem Source #
Instance details Defined in Numerical.Array.Storage data BufferMut Unboxed st elem = UnboxedBufferMut (MVector st elem)
data BufferMut Boxed st elem Source #
Instance details Defined in Numerical.Array.Storage data BufferMut Boxed st elem = BoxedBufferMut (MVector st elem)

class (Vector (BufferPure mode) a, MVector (BufferMut mode) a) => Buffer mode a Source #

The class instance Buffer mode a is a shorthand for saying that a given buffer representation mode has a Vector instance for both BufferPure and BufferMut.

Instances

(Vector (BufferPure mode) a, MVector (BufferMut mode) a) => Buffer mode a Source #
Instance details Defined in Numerical.Array.Storage

class MVector (BufferMut mode) a => MBuffer mode a Source #

Instances

MVector (BufferMut mode) a => MBuffer mode a Source #
Instance details Defined in Numerical.Array.Storage

unsafeBufferThaw :: (Buffer rep a, PrimMonad m) => BufferPure rep a -> m (BufferMut rep (PrimState m) a) Source #

unsafeBufferFreeze :: (Buffer rep a, PrimMonad m) => BufferMut rep (PrimState m) a -> m (BufferPure rep a) Source #

unsafeBufferFreeze