Numerical.Array.Layout.Dense

Documentation

class Layout form rank => DenseLayout form (rank :: Nat) | form -> rank where

DenseLayout only has instances for Dense array formats. this class will need some sprucing up for the beta, but its ok for now. NB that DenseLayout is really strictly meant to be used for optimization purposes, and not meant as a default api

Minimal complete definition

basicToDenseIndex, basicToDenseAddress, (basicNextDenseIndex | basicNextDenseAddress)

Methods

basicToDenseAddress :: form -> Index rank -> Address

basicToDenseIndex :: form -> Address -> Index rank

basicNextDenseAddress :: form -> Address -> Address

basicNextDenseIndex :: form -> Index rank -> (Index rank, Address)

Instances

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Column Contiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Column Contiguous rank rep -> Index rank -> Address

basicToDenseIndex :: Format Column Contiguous rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Column Contiguous rank rep -> Address -> Address

basicNextDenseIndex :: Format Column Contiguous rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Column Strided rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Column Strided rank rep -> Index rank -> Address

basicToDenseIndex :: Format Column Strided rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Column Strided rank rep -> Address -> Address

basicNextDenseIndex :: Format Column Strided rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Column InnerContiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Column InnerContiguous rank rep -> Index rank -> Address

basicToDenseIndex :: Format Column InnerContiguous rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Column InnerContiguous rank rep -> Address -> Address

basicNextDenseIndex :: Format Column InnerContiguous rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Row Contiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Row Contiguous rank rep -> Index rank -> Address

basicToDenseIndex :: Format Row Contiguous rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Row Contiguous rank rep -> Address -> Address

basicNextDenseIndex :: Format Row Contiguous rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Row Strided rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Row Strided rank rep -> Index rank -> Address

basicToDenseIndex :: Format Row Strided rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Row Strided rank rep -> Address -> Address

basicNextDenseIndex :: Format Row Strided rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Row InnerContiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Row InnerContiguous rank rep -> Index rank -> Address

basicToDenseIndex :: Format Row InnerContiguous rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Row InnerContiguous rank rep -> Address -> Address

basicNextDenseIndex :: Format Row InnerContiguous rank rep -> Index rank -> (Index rank, Address)

DenseLayout (Format Direct Contiguous (S Z) rep) (S Z)

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Direct Contiguous (S Z) rep -> Index (S Z) -> Address

basicToDenseIndex :: Format Direct Contiguous (S Z) rep -> Address -> Index (S Z)

basicNextDenseAddress :: Format Direct Contiguous (S Z) rep -> Address -> Address

basicNextDenseIndex :: Format Direct Contiguous (S Z) rep -> Index (S Z) -> (Index (S Z), Address)

DenseLayout (Format Direct Strided (S Z) rep) (S Z)

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Direct Strided (S Z) rep -> Index (S Z) -> Address

basicToDenseIndex :: Format Direct Strided (S Z) rep -> Address -> Index (S Z)

basicNextDenseAddress :: Format Direct Strided (S Z) rep -> Address -> Address

basicNextDenseIndex :: Format Direct Strided (S Z) rep -> Index (S Z) -> (Index (S Z), Address)

data Locality

Constructors

Contiguous

Strided

InnerContiguous

Instances

Eq Locality

Defined in Numerical.Array.Locality

Methods

(==) :: Locality -> Locality -> Bool

(/=) :: Locality -> Locality -> Bool

Data Locality

Defined in Numerical.Array.Locality

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Locality -> c Locality

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Locality

toConstr :: Locality -> Constr

dataTypeOf :: Locality -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Locality)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Locality)

gmapT :: (forall b. Data b => b -> b) -> Locality -> Locality

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Locality -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Locality -> r

gmapQ :: (forall d. Data d => d -> u) -> Locality -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Locality -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Locality -> m Locality

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Locality -> m Locality

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Locality -> m Locality

Read Locality

Defined in Numerical.Array.Locality

Methods

readsPrec :: Int -> ReadS Locality

readList :: ReadS [Locality]

readPrec :: ReadPrec Locality

readListPrec :: ReadPrec [Locality]

Show Locality

Defined in Numerical.Array.Locality

Methods

showsPrec :: Int -> Locality -> ShowS

show :: Locality -> String

showList :: [Locality] -> ShowS

data family Format lay (contiguity :: Locality) (rank :: Nat) rep

Instances

Eq (Format Direct Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Dense

Methods

(==) :: Format Direct Contiguous (S Z) rep -> Format Direct Contiguous (S Z) rep -> Bool

(/=) :: Format Direct Contiguous (S Z) rep -> Format Direct Contiguous (S Z) rep -> Bool

(Data (Shape n Int), Typeable n, Typeable rep) => Data (Format Column Strided n rep)

Defined in Numerical.Array.Layout.Dense

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Format Column Strided n rep -> c (Format Column Strided n rep)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Format Column Strided n rep)

toConstr :: Format Column Strided n rep -> Constr

dataTypeOf :: Format Column Strided n rep -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Format Column Strided n rep))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Format Column Strided n rep))

gmapT :: (forall b. Data b => b -> b) -> Format Column Strided n rep -> Format Column Strided n rep

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Format Column Strided n rep -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Format Column Strided n rep -> r

gmapQ :: (forall d. Data d => d -> u) -> Format Column Strided n rep -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Format Column Strided n rep -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Format Column Strided n rep -> m (Format Column Strided n rep)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Format Column Strided n rep -> m (Format Column Strided n rep)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Format Column Strided n rep -> m (Format Column Strided n rep)

(Data (Shape n Int), Typeable n, Typeable rep) => Data (Format Column InnerContiguous n rep)

Defined in Numerical.Array.Layout.Dense

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Format Column InnerContiguous n rep -> c (Format Column InnerContiguous n rep)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Format Column InnerContiguous n rep)

toConstr :: Format Column InnerContiguous n rep -> Constr

dataTypeOf :: Format Column InnerContiguous n rep -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Format Column InnerContiguous n rep))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Format Column InnerContiguous n rep))

gmapT :: (forall b. Data b => b -> b) -> Format Column InnerContiguous n rep -> Format Column InnerContiguous n rep

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Format Column InnerContiguous n rep -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Format Column InnerContiguous n rep -> r

gmapQ :: (forall d. Data d => d -> u) -> Format Column InnerContiguous n rep -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Format Column InnerContiguous n rep -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Format Column InnerContiguous n rep -> m (Format Column InnerContiguous n rep)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Format Column InnerContiguous n rep -> m (Format Column InnerContiguous n rep)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Format Column InnerContiguous n rep -> m (Format Column InnerContiguous n rep)

Data rep => Data (Format Direct Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Dense

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Format Direct Contiguous (S Z) rep -> c (Format Direct Contiguous (S Z) rep)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Format Direct Contiguous (S Z) rep)

toConstr :: Format Direct Contiguous (S Z) rep -> Constr

dataTypeOf :: Format Direct Contiguous (S Z) rep -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Format Direct Contiguous (S Z) rep))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Format Direct Contiguous (S Z) rep))

gmapT :: (forall b. Data b => b -> b) -> Format Direct Contiguous (S Z) rep -> Format Direct Contiguous (S Z) rep

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Format Direct Contiguous (S Z) rep -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Format Direct Contiguous (S Z) rep -> r

gmapQ :: (forall d. Data d => d -> u) -> Format Direct Contiguous (S Z) rep -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Format Direct Contiguous (S Z) rep -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Format Direct Contiguous (S Z) rep -> m (Format Direct Contiguous (S Z) rep)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Format Direct Contiguous (S Z) rep -> m (Format Direct Contiguous (S Z) rep)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Format Direct Contiguous (S Z) rep -> m (Format Direct Contiguous (S Z) rep)

Show (BufferPure rep Int) => Show (Format DirectSparse Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Sparse

Methods

showsPrec :: Int -> Format DirectSparse Contiguous (S Z) rep -> ShowS

show :: Format DirectSparse Contiguous (S Z) rep -> String

showList :: [Format DirectSparse Contiguous (S Z) rep] -> ShowS

Show (ContiguousCompressedSparseMatrix rep) => Show (Format CompressedSparseColumn Contiguous (S (S Z)) rep)

Defined in Numerical.Array.Layout.Sparse

Methods

showsPrec :: Int -> Format CompressedSparseColumn Contiguous (S (S Z)) rep -> ShowS

show :: Format CompressedSparseColumn Contiguous (S (S Z)) rep -> String

showList :: [Format CompressedSparseColumn Contiguous (S (S Z)) rep] -> ShowS

Show (InnerContiguousCompressedSparseMatrix rep) => Show (Format CompressedSparseColumn InnerContiguous (S (S Z)) rep)

Defined in Numerical.Array.Layout.Sparse

Methods

showsPrec :: Int -> Format CompressedSparseColumn InnerContiguous (S (S Z)) rep -> ShowS

show :: Format CompressedSparseColumn InnerContiguous (S (S Z)) rep -> String

showList :: [Format CompressedSparseColumn InnerContiguous (S (S Z)) rep] -> ShowS

Show (ContiguousCompressedSparseMatrix rep) => Show (Format CompressedSparseRow Contiguous (S (S Z)) rep)

Defined in Numerical.Array.Layout.Sparse

Methods

showsPrec :: Int -> Format CompressedSparseRow Contiguous (S (S Z)) rep -> ShowS

show :: Format CompressedSparseRow Contiguous (S (S Z)) rep -> String

showList :: [Format CompressedSparseRow Contiguous (S (S Z)) rep] -> ShowS

Show (InnerContiguousCompressedSparseMatrix rep) => Show (Format CompressedSparseRow InnerContiguous (S (S Z)) rep)

Defined in Numerical.Array.Layout.Sparse

Methods

showsPrec :: Int -> Format CompressedSparseRow InnerContiguous (S (S Z)) rep -> ShowS

show :: Format CompressedSparseRow InnerContiguous (S (S Z)) rep -> String

showList :: [Format CompressedSparseRow InnerContiguous (S (S Z)) rep] -> ShowS

Show (Shape n Int) => Show (Format Column Strided n rep)

Defined in Numerical.Array.Layout.Dense

Methods

showsPrec :: Int -> Format Column Strided n rep -> ShowS

show :: Format Column Strided n rep -> String

showList :: [Format Column Strided n rep] -> ShowS

Show (Shape n Int) => Show (Format Column InnerContiguous n rep)

Defined in Numerical.Array.Layout.Dense

Methods

showsPrec :: Int -> Format Column InnerContiguous n rep -> ShowS

show :: Format Column InnerContiguous n rep -> String

showList :: [Format Column InnerContiguous n rep] -> ShowS

Show (Format Direct Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Dense

Methods

showsPrec :: Int -> Format Direct Contiguous (S Z) rep -> ShowS

show :: Format Direct Contiguous (S Z) rep -> String

showList :: [Format Direct Contiguous (S Z) rep] -> ShowS

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Column Contiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Column Contiguous rank rep -> Index rank -> Address

basicToDenseIndex :: Format Column Contiguous rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Column Contiguous rank rep -> Address -> Address

basicNextDenseIndex :: Format Column Contiguous rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Column Strided rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Column Strided rank rep -> Index rank -> Address

basicToDenseIndex :: Format Column Strided rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Column Strided rank rep -> Address -> Address

basicNextDenseIndex :: Format Column Strided rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Column InnerContiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Column InnerContiguous rank rep -> Index rank -> Address

basicToDenseIndex :: Format Column InnerContiguous rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Column InnerContiguous rank rep -> Address -> Address

basicNextDenseIndex :: Format Column InnerContiguous rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Row Contiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Row Contiguous rank rep -> Index rank -> Address

basicToDenseIndex :: Format Row Contiguous rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Row Contiguous rank rep -> Address -> Address

basicNextDenseIndex :: Format Row Contiguous rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Row Strided rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Row Strided rank rep -> Index rank -> Address

basicToDenseIndex :: Format Row Strided rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Row Strided rank rep -> Address -> Address

basicNextDenseIndex :: Format Row Strided rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Row InnerContiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Row InnerContiguous rank rep -> Index rank -> Address

basicToDenseIndex :: Format Row InnerContiguous rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Row InnerContiguous rank rep -> Address -> Address

basicNextDenseIndex :: Format Row InnerContiguous rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Traversable (Shape rank)) => Layout (Format Column Contiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Column Contiguous rank rep -> Shape rank Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> logicalForm

transposedLayout :: (Format Column Contiguous rank rep ~ Transposed transform, transform ~ Transposed (Format Column Contiguous rank rep)) => Format Column Contiguous rank rep -> transform

basicCompareIndex :: p (Format Column Contiguous rank rep) -> Shape rank Int -> Shape rank Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> Index rank -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> address -> Index rank

basicNextAddress :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> Index rank -> Maybe address -> Maybe (Index rank, address)

basicAddressPopCount :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> address -> Int -> Maybe address

(Applicative (Shape rank), Traversable (Shape rank)) => Layout (Format Column Strided rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Column Strided rank rep -> Shape rank Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Column Strided rank rep) => Format Column Strided rank rep -> logicalForm

transposedLayout :: (Format Column Strided rank rep ~ Transposed transform, transform ~ Transposed (Format Column Strided rank rep)) => Format Column Strided rank rep -> transform

basicCompareIndex :: p (Format Column Strided rank rep) -> Shape rank Int -> Shape rank Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> Index rank -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> address -> Index rank

basicNextAddress :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> Index rank -> Maybe address -> Maybe (Index rank, address)

basicAddressPopCount :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> address -> Int -> Maybe address

(Applicative (Shape rank), Traversable (Shape rank)) => Layout (Format Column InnerContiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Column InnerContiguous rank rep -> Shape rank Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> logicalForm

transposedLayout :: (Format Column InnerContiguous rank rep ~ Transposed transform, transform ~ Transposed (Format Column InnerContiguous rank rep)) => Format Column InnerContiguous rank rep -> transform

basicCompareIndex :: p (Format Column InnerContiguous rank rep) -> Shape rank Int -> Shape rank Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> Index rank -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> address -> Index rank

basicNextAddress :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> Index rank -> Maybe address -> Maybe (Index rank, address)

basicAddressPopCount :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> address -> Int -> Maybe address

(Applicative (Shape rank), Traversable (Shape rank)) => Layout (Format Row Contiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Row Contiguous rank rep -> Shape rank Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> logicalForm

transposedLayout :: (Format Row Contiguous rank rep ~ Transposed transform, transform ~ Transposed (Format Row Contiguous rank rep)) => Format Row Contiguous rank rep -> transform

basicCompareIndex :: p (Format Row Contiguous rank rep) -> Shape rank Int -> Shape rank Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> Index rank -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> address -> Index rank

basicNextAddress :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> Index rank -> Maybe address -> Maybe (Index rank, address)

basicAddressPopCount :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> address -> Int -> Maybe address

(Applicative (Shape rank), Traversable (Shape rank)) => Layout (Format Row Strided rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Row Strided rank rep -> Shape rank Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Row Strided rank rep) => Format Row Strided rank rep -> logicalForm

transposedLayout :: (Format Row Strided rank rep ~ Transposed transform, transform ~ Transposed (Format Row Strided rank rep)) => Format Row Strided rank rep -> transform

basicCompareIndex :: p (Format Row Strided rank rep) -> Shape rank Int -> Shape rank Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> Index rank -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> address -> Index rank

basicNextAddress :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> Index rank -> Maybe address -> Maybe (Index rank, address)

basicAddressPopCount :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> address -> Int -> Maybe address

(Applicative (Shape rank), Traversable (Shape rank)) => Layout (Format Row InnerContiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Row InnerContiguous rank rep -> Shape rank Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> logicalForm

transposedLayout :: (Format Row InnerContiguous rank rep ~ Transposed transform, transform ~ Transposed (Format Row InnerContiguous rank rep)) => Format Row InnerContiguous rank rep -> transform

basicCompareIndex :: p (Format Row InnerContiguous rank rep) -> Shape rank Int -> Shape rank Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> Index rank -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> address -> Index rank

basicNextAddress :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> Index rank -> Maybe address -> Maybe (Index rank, address)

basicAddressPopCount :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> address -> Int -> Maybe address

(Foldable (Shape r), Traversable (Shape r), Applicative (Shape r)) => LayoutBuilder (Format Column Contiguous r rep) r

Defined in Numerical.Array.Layout.Builder

Methods

buildFormatM :: (store ~ FormatStorageRep (Format Column Contiguous r rep), Buffer store Int, Buffer store a, PrimMonad m) => Index r -> proxy (Format Column Contiguous r rep) -> a -> Maybe (BatchInit (Index r, a)) -> m (Format Column Contiguous r rep, BufferMut store (PrimState m) a)

(Foldable (Shape r), Traversable (Shape r), Applicative (Shape r)) => LayoutBuilder (Format Row Contiguous r rep) r

Defined in Numerical.Array.Layout.Builder

Methods

buildFormatM :: (store ~ FormatStorageRep (Format Row Contiguous r rep), Buffer store Int, Buffer store a, PrimMonad m) => Index r -> proxy (Format Row Contiguous r rep) -> a -> Maybe (BatchInit (Index r, a)) -> m (Format Row Contiguous r rep, BufferMut store (PrimState m) a)

DenseLayout (Format Direct Contiguous (S Z) rep) (S Z)

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Direct Contiguous (S Z) rep -> Index (S Z) -> Address

basicToDenseIndex :: Format Direct Contiguous (S Z) rep -> Address -> Index (S Z)

basicNextDenseAddress :: Format Direct Contiguous (S Z) rep -> Address -> Address

basicNextDenseIndex :: Format Direct Contiguous (S Z) rep -> Index (S Z) -> (Index (S Z), Address)

DenseLayout (Format Direct Strided (S Z) rep) (S Z)

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Direct Strided (S Z) rep -> Index (S Z) -> Address

basicToDenseIndex :: Format Direct Strided (S Z) rep -> Address -> Index (S Z)

basicNextDenseAddress :: Format Direct Strided (S Z) rep -> Address -> Address

basicNextDenseIndex :: Format Direct Strided (S Z) rep -> Index (S Z) -> (Index (S Z), Address)

Vector (BufferPure rep) Int => Layout (Format DirectSparse Contiguous (S Z) rep) (S Z)

Defined in Numerical.Array.Layout.Sparse

Methods

basicLogicalShape :: Format DirectSparse Contiguous (S Z) rep -> Shape (S Z) Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format DirectSparse Contiguous (S Z) rep) => Format DirectSparse Contiguous (S Z) rep -> logicalForm

transposedLayout :: (Format DirectSparse Contiguous (S Z) rep ~ Transposed transform, transform ~ Transposed (Format DirectSparse Contiguous (S Z) rep)) => Format DirectSparse Contiguous (S Z) rep -> transform

basicCompareIndex :: p (Format DirectSparse Contiguous (S Z) rep) -> Shape (S Z) Int -> Shape (S Z) Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format DirectSparse Contiguous (S Z) rep) => Format DirectSparse Contiguous (S Z) rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format DirectSparse Contiguous (S Z) rep) => Format DirectSparse Contiguous (S Z) rep -> Index (S Z) -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format DirectSparse Contiguous (S Z) rep) => Format DirectSparse Contiguous (S Z) rep -> address -> Index (S Z)

basicNextAddress :: address ~ LayoutAddress (Format DirectSparse Contiguous (S Z) rep) => Format DirectSparse Contiguous (S Z) rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format DirectSparse Contiguous (S Z) rep) => Format DirectSparse Contiguous (S Z) rep -> Index (S Z) -> Maybe address -> Maybe (Index (S Z), address)

basicAddressPopCount :: address ~ LayoutAddress (Format DirectSparse Contiguous (S Z) rep) => Format DirectSparse Contiguous (S Z) rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format DirectSparse Contiguous (S Z) rep) => Format DirectSparse Contiguous (S Z) rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format DirectSparse Contiguous (S Z) rep) => Format DirectSparse Contiguous (S Z) rep -> address -> Int -> Maybe address

Vector (BufferPure rep) Int => Layout (Format CompressedSparseRow Contiguous (S (S Z)) rep) (S (S Z))

Defined in Numerical.Array.Layout.Sparse

Methods

basicLogicalShape :: Format CompressedSparseRow Contiguous (S (S Z)) rep -> Shape (S (S Z)) Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format CompressedSparseRow Contiguous (S (S Z)) rep) => Format CompressedSparseRow Contiguous (S (S Z)) rep -> logicalForm

transposedLayout :: (Format CompressedSparseRow Contiguous (S (S Z)) rep ~ Transposed transform, transform ~ Transposed (Format CompressedSparseRow Contiguous (S (S Z)) rep)) => Format CompressedSparseRow Contiguous (S (S Z)) rep -> transform

basicCompareIndex :: p (Format CompressedSparseRow Contiguous (S (S Z)) rep) -> Shape (S (S Z)) Int -> Shape (S (S Z)) Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format CompressedSparseRow Contiguous (S (S Z)) rep) => Format CompressedSparseRow Contiguous (S (S Z)) rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format CompressedSparseRow Contiguous (S (S Z)) rep) => Format CompressedSparseRow Contiguous (S (S Z)) rep -> Index (S (S Z)) -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format CompressedSparseRow Contiguous (S (S Z)) rep) => Format CompressedSparseRow Contiguous (S (S Z)) rep -> address -> Index (S (S Z))

basicNextAddress :: address ~ LayoutAddress (Format CompressedSparseRow Contiguous (S (S Z)) rep) => Format CompressedSparseRow Contiguous (S (S Z)) rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format CompressedSparseRow Contiguous (S (S Z)) rep) => Format CompressedSparseRow Contiguous (S (S Z)) rep -> Index (S (S Z)) -> Maybe address -> Maybe (Index (S (S Z)), address)

basicAddressPopCount :: address ~ LayoutAddress (Format CompressedSparseRow Contiguous (S (S Z)) rep) => Format CompressedSparseRow Contiguous (S (S Z)) rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format CompressedSparseRow Contiguous (S (S Z)) rep) => Format CompressedSparseRow Contiguous (S (S Z)) rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format CompressedSparseRow Contiguous (S (S Z)) rep) => Format CompressedSparseRow Contiguous (S (S Z)) rep -> address -> Int -> Maybe address

Layout (Format Direct Contiguous (S Z) rep) (S Z)

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Direct Contiguous (S Z) rep -> Shape (S Z) Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> logicalForm

transposedLayout :: (Format Direct Contiguous (S Z) rep ~ Transposed transform, transform ~ Transposed (Format Direct Contiguous (S Z) rep)) => Format Direct Contiguous (S Z) rep -> transform

basicCompareIndex :: p (Format Direct Contiguous (S Z) rep) -> Shape (S Z) Int -> Shape (S Z) Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> Index (S Z) -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> address -> Index (S Z)

basicNextAddress :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> Index (S Z) -> Maybe address -> Maybe (Index (S Z), address)

basicAddressPopCount :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> address -> Int -> Maybe address

Layout (Format Direct Strided (S Z) rep) (S Z)

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Direct Strided (S Z) rep -> Shape (S Z) Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> logicalForm

transposedLayout :: (Format Direct Strided (S Z) rep ~ Transposed transform, transform ~ Transposed (Format Direct Strided (S Z) rep)) => Format Direct Strided (S Z) rep -> transform

basicCompareIndex :: p (Format Direct Strided (S Z) rep) -> Shape (S Z) Int -> Shape (S Z) Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> Index (S Z) -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> address -> Index (S Z)

basicNextAddress :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> Index (S Z) -> Maybe address -> Maybe (Index (S Z), address)

basicAddressPopCount :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> address -> Int -> Maybe address

Buffer rep Int => LayoutBuilder (Format DirectSparse Contiguous (S Z) rep) (S Z)

Defined in Numerical.Array.Layout.Builder

Methods

buildFormatM :: (store ~ FormatStorageRep (Format DirectSparse Contiguous (S Z) rep), Buffer store Int, Buffer store a, PrimMonad m) => Index (S Z) -> proxy (Format DirectSparse Contiguous (S Z) rep) -> a -> Maybe (BatchInit (Index (S Z), a)) -> m (Format DirectSparse Contiguous (S Z) rep, BufferMut store (PrimState m) a)

Buffer rep Int => LayoutBuilder (Format CompressedSparseRow Contiguous (S (S Z)) rep) (S (S Z))

Defined in Numerical.Array.Layout.Builder

Methods

buildFormatM :: (store ~ FormatStorageRep (Format CompressedSparseRow Contiguous (S (S Z)) rep), Buffer store Int, Buffer store a, PrimMonad m) => Index (S (S Z)) -> proxy (Format CompressedSparseRow Contiguous (S (S Z)) rep) -> a -> Maybe (BatchInit (Index (S (S Z)), a)) -> m (Format CompressedSparseRow Contiguous (S (S Z)) rep, BufferMut store (PrimState m) a)

LayoutBuilder (Format Direct Contiguous (S Z) rep) (S Z)

Defined in Numerical.Array.Layout.Builder

Methods

buildFormatM :: (store ~ FormatStorageRep (Format Direct Contiguous (S Z) rep), Buffer store Int, Buffer store a, PrimMonad m) => Index (S Z) -> proxy (Format Direct Contiguous (S Z) rep) -> a -> Maybe (BatchInit (Index (S Z), a)) -> m (Format Direct Contiguous (S Z) rep, BufferMut store (PrimState m) a)

data Format Column Contiguous n rep

Defined in Numerical.Array.Layout.Dense

data Format Column Contiguous n rep = FormatColumnContiguous {

• boundsColumnContig :: !(Shape n Int)

}

data Format Column Strided n rep

Defined in Numerical.Array.Layout.Dense

data Format Column Strided n rep = FormatColumnStrided {

• boundsColumnStrided :: !(Shape n Int)
• strideFormColumnStrided :: !(Shape n Int)

}

data Format Column InnerContiguous n rep

Defined in Numerical.Array.Layout.Dense

data Format Column InnerContiguous n rep = FormatColumnInnerContiguous {

• boundsColumnInnerContig :: !(Shape n Int)
• strideFormColumnInnerContig :: !(Shape n Int)

}

data Format Row Contiguous n rep

Format Row Contiguous n is a rank n Array

Defined in Numerical.Array.Layout.Dense

data Format Row Contiguous n rep = FormatRowContiguous {

• boundsFormRow :: !(Shape n Int)

}

data Format Row Strided n rep

Defined in Numerical.Array.Layout.Dense

data Format Row Strided n rep = FormatRowStrided {

• boundsFormRowStrided :: !(Shape n Int)
• strideFormRowStrided :: !(Shape n Int)

}

data Format Row InnerContiguous n rep

Defined in Numerical.Array.Layout.Dense

data Format Row InnerContiguous n rep = FormatRowInnerContiguous {

• boundsFormRowInnerContig :: !(Shape n Int)
• strideFormRowInnerContig :: !(Shape n Int)

}

data Format DirectSparse Contiguous (S Z) rep

Defined in Numerical.Array.Layout.Sparse

data Format DirectSparse Contiguous (S Z) rep = FormatDirectSparseContiguous {

• _logicalShapeDirectSparse :: !Int
• _logicalBaseIndexShiftDirectSparse :: !Int
• _indexTableDirectSparse :: !(BufferPure rep Int)

}

data Format CompressedSparseColumn Contiguous (S (S Z)) rep

Defined in Numerical.Array.Layout.Sparse

data Format CompressedSparseColumn Contiguous (S (S Z)) rep = FormatContiguousCompressedSparseColumn {

• _getFormatContiguousCSC :: ContiguousCompressedSparseMatrix rep

}

data Format CompressedSparseColumn InnerContiguous (S (S Z)) rep

Defined in Numerical.Array.Layout.Sparse

data Format CompressedSparseColumn InnerContiguous (S (S Z)) rep = FormatInnerContiguousCompressedSparseColumn {

• _getFormatInnerContiguousCSC :: InnerContiguousCompressedSparseMatrix rep

}

data Format CompressedSparseRow Contiguous (S (S Z)) rep

Defined in Numerical.Array.Layout.Sparse

data Format CompressedSparseRow Contiguous (S (S Z)) rep = FormatContiguousCompressedSparseRow {

• _getFormatContiguousCSR :: ContiguousCompressedSparseMatrix rep

}

data Format CompressedSparseRow InnerContiguous (S (S Z)) rep

Defined in Numerical.Array.Layout.Sparse

data Format CompressedSparseRow InnerContiguous (S (S Z)) rep = FormatInnerContiguousCompressedSparseRow {

• _getFormatInnerContiguousCSR :: InnerContiguousCompressedSparseMatrix rep

}

data Format Direct Contiguous (S Z) rep

Format Direct Contiguous (S Z) is a 1dim array Layout with unit stride

Defined in Numerical.Array.Layout.Dense

data Format Direct Contiguous (S Z) rep = FormatDirectContiguous {

• logicalShapeDirectContiguous :: !Int

}

data Format Direct Strided (S Z) rep

Format Direct Strided (S Z) is a 1dim array Layout with a regular stride >= 1

Defined in Numerical.Array.Layout.Dense

data Format Direct Strided (S Z) rep = FormatDirectStrided {

• logicalShapeDirectStrided :: !Int
• logicalStrideDirectStrided :: !Int

}

type LayoutLogicalFormat (Format Column cont n rep)

Defined in Numerical.Array.Layout.Dense

type LayoutLogicalFormat (Format Column cont n rep) = Format Column Contiguous n rep

type LayoutLogicalFormat (Format Row cont n rep)

Defined in Numerical.Array.Layout.Dense

type LayoutLogicalFormat (Format Row cont n rep) = Format Row Contiguous n rep

type LayoutLogicalFormat (Format Direct cont (S Z) rep)

Defined in Numerical.Array.Layout.Dense

type LayoutLogicalFormat (Format Direct cont (S Z) rep) = Format Direct Contiguous (S Z) rep

type LayoutLogicalFormat (Format Direct Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Dense

type LayoutLogicalFormat (Format Direct Contiguous (S Z) rep) = Format Direct Contiguous (S Z) rep

type LayoutAddress (Format DirectSparse Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Sparse

type LayoutAddress (Format DirectSparse Contiguous (S Z) rep) = Address

type LayoutAddress (Format CompressedSparseRow Contiguous (S (S Z)) rep)

Defined in Numerical.Array.Layout.Sparse

type LayoutAddress (Format CompressedSparseRow Contiguous (S (S Z)) rep) = SparseAddress

type LayoutAddress (Format Column locality rank rep)

Defined in Numerical.Array.Layout.Dense

type LayoutAddress (Format Column locality rank rep) = Address

type LayoutAddress (Format Row locality rank rep)

Defined in Numerical.Array.Layout.Dense

type LayoutAddress (Format Row locality rank rep) = Address

type LayoutAddress (Format Direct Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Dense

type LayoutAddress (Format Direct Contiguous (S Z) rep) = Address

type LayoutAddress (Format Direct Strided (S Z) rep)

Defined in Numerical.Array.Layout.Dense

type LayoutAddress (Format Direct Strided (S Z) rep) = Address

type Transposed (Format DirectSparse Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Sparse

type Transposed (Format DirectSparse Contiguous (S Z) rep) = Format DirectSparse Contiguous (S Z) rep

type Transposed (Format CompressedSparseRow Contiguous (S (S Z)) rep)

Defined in Numerical.Array.Layout.Sparse

type Transposed (Format CompressedSparseRow Contiguous (S (S Z)) rep) = Format CompressedSparseColumn Contiguous (S (S Z)) rep

type Transposed (Format Column Contiguous rank rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Column Contiguous rank rep) = Format Row Contiguous rank rep

type Transposed (Format Column Strided rank rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Column Strided rank rep) = Format Row Strided rank rep

type Transposed (Format Column InnerContiguous rank rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Column InnerContiguous rank rep) = Format Row InnerContiguous rank rep

type Transposed (Format Row Contiguous rank rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Row Contiguous rank rep) = Format Column Contiguous rank rep

type Transposed (Format Row Strided rank rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Row Strided rank rep) = Format Column Strided rank rep

type Transposed (Format Row InnerContiguous rank rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Row InnerContiguous rank rep) = Format Column InnerContiguous rank rep

type Transposed (Format Direct Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Direct Contiguous (S Z) rep) = Format Direct Contiguous (S Z) rep

type Transposed (Format Direct Strided (S Z) rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Direct Strided (S Z) rep) = Format Direct Strided (S Z) rep

type FormatStorageRep (Format lay ctg rnk rep)

Defined in Numerical.Array.Layout.Base

type FormatStorageRep (Format lay ctg rnk rep) = rep

data Row

Instances

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Row Contiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Row Contiguous rank rep -> Index rank -> Address

basicToDenseIndex :: Format Row Contiguous rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Row Contiguous rank rep -> Address -> Address

basicNextDenseIndex :: Format Row Contiguous rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Row Strided rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Row Strided rank rep -> Index rank -> Address

basicToDenseIndex :: Format Row Strided rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Row Strided rank rep -> Address -> Address

basicNextDenseIndex :: Format Row Strided rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Row InnerContiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Row InnerContiguous rank rep -> Index rank -> Address

basicToDenseIndex :: Format Row InnerContiguous rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Row InnerContiguous rank rep -> Address -> Address

basicNextDenseIndex :: Format Row InnerContiguous rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Traversable (Shape rank)) => Layout (Format Row Contiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Row Contiguous rank rep -> Shape rank Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> logicalForm

transposedLayout :: (Format Row Contiguous rank rep ~ Transposed transform, transform ~ Transposed (Format Row Contiguous rank rep)) => Format Row Contiguous rank rep -> transform

basicCompareIndex :: p (Format Row Contiguous rank rep) -> Shape rank Int -> Shape rank Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> Index rank -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> address -> Index rank

basicNextAddress :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> Index rank -> Maybe address -> Maybe (Index rank, address)

basicAddressPopCount :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Row Contiguous rank rep) => Format Row Contiguous rank rep -> address -> Int -> Maybe address

(Applicative (Shape rank), Traversable (Shape rank)) => Layout (Format Row Strided rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Row Strided rank rep -> Shape rank Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Row Strided rank rep) => Format Row Strided rank rep -> logicalForm

transposedLayout :: (Format Row Strided rank rep ~ Transposed transform, transform ~ Transposed (Format Row Strided rank rep)) => Format Row Strided rank rep -> transform

basicCompareIndex :: p (Format Row Strided rank rep) -> Shape rank Int -> Shape rank Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> Index rank -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> address -> Index rank

basicNextAddress :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> Index rank -> Maybe address -> Maybe (Index rank, address)

basicAddressPopCount :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Row Strided rank rep) => Format Row Strided rank rep -> address -> Int -> Maybe address

(Applicative (Shape rank), Traversable (Shape rank)) => Layout (Format Row InnerContiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Row InnerContiguous rank rep -> Shape rank Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> logicalForm

transposedLayout :: (Format Row InnerContiguous rank rep ~ Transposed transform, transform ~ Transposed (Format Row InnerContiguous rank rep)) => Format Row InnerContiguous rank rep -> transform

basicCompareIndex :: p (Format Row InnerContiguous rank rep) -> Shape rank Int -> Shape rank Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> Index rank -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> address -> Index rank

basicNextAddress :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> Index rank -> Maybe address -> Maybe (Index rank, address)

basicAddressPopCount :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Row InnerContiguous rank rep) => Format Row InnerContiguous rank rep -> address -> Int -> Maybe address

(Foldable (Shape r), Traversable (Shape r), Applicative (Shape r)) => LayoutBuilder (Format Row Contiguous r rep) r

Defined in Numerical.Array.Layout.Builder

Methods

buildFormatM :: (store ~ FormatStorageRep (Format Row Contiguous r rep), Buffer store Int, Buffer store a, PrimMonad m) => Index r -> proxy (Format Row Contiguous r rep) -> a -> Maybe (BatchInit (Index r, a)) -> m (Format Row Contiguous r rep, BufferMut store (PrimState m) a)

data Format Row Contiguous n rep

Format Row Contiguous n is a rank n Array

Defined in Numerical.Array.Layout.Dense

data Format Row Contiguous n rep = FormatRowContiguous {

• boundsFormRow :: !(Shape n Int)

}

data Format Row Strided n rep

Defined in Numerical.Array.Layout.Dense

data Format Row Strided n rep = FormatRowStrided {

• boundsFormRowStrided :: !(Shape n Int)
• strideFormRowStrided :: !(Shape n Int)

}

data Format Row InnerContiguous n rep

Defined in Numerical.Array.Layout.Dense

data Format Row InnerContiguous n rep = FormatRowInnerContiguous {

• boundsFormRowInnerContig :: !(Shape n Int)
• strideFormRowInnerContig :: !(Shape n Int)

}

type LayoutLogicalFormat (Format Row cont n rep)

Defined in Numerical.Array.Layout.Dense

type LayoutLogicalFormat (Format Row cont n rep) = Format Row Contiguous n rep

type LayoutAddress (Format Row locality rank rep)

Defined in Numerical.Array.Layout.Dense

type LayoutAddress (Format Row locality rank rep) = Address

type Transposed (Format Row Contiguous rank rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Row Contiguous rank rep) = Format Column Contiguous rank rep

type Transposed (Format Row Strided rank rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Row Strided rank rep) = Format Column Strided rank rep

type Transposed (Format Row InnerContiguous rank rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Row InnerContiguous rank rep) = Format Column InnerContiguous rank rep

data Column

Instances

(Data (Shape n Int), Typeable n, Typeable rep) => Data (Format Column Strided n rep)

Defined in Numerical.Array.Layout.Dense

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Format Column Strided n rep -> c (Format Column Strided n rep)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Format Column Strided n rep)

toConstr :: Format Column Strided n rep -> Constr

dataTypeOf :: Format Column Strided n rep -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Format Column Strided n rep))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Format Column Strided n rep))

gmapT :: (forall b. Data b => b -> b) -> Format Column Strided n rep -> Format Column Strided n rep

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Format Column Strided n rep -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Format Column Strided n rep -> r

gmapQ :: (forall d. Data d => d -> u) -> Format Column Strided n rep -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Format Column Strided n rep -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Format Column Strided n rep -> m (Format Column Strided n rep)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Format Column Strided n rep -> m (Format Column Strided n rep)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Format Column Strided n rep -> m (Format Column Strided n rep)

(Data (Shape n Int), Typeable n, Typeable rep) => Data (Format Column InnerContiguous n rep)

Defined in Numerical.Array.Layout.Dense

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Format Column InnerContiguous n rep -> c (Format Column InnerContiguous n rep)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Format Column InnerContiguous n rep)

toConstr :: Format Column InnerContiguous n rep -> Constr

dataTypeOf :: Format Column InnerContiguous n rep -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Format Column InnerContiguous n rep))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Format Column InnerContiguous n rep))

gmapT :: (forall b. Data b => b -> b) -> Format Column InnerContiguous n rep -> Format Column InnerContiguous n rep

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Format Column InnerContiguous n rep -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Format Column InnerContiguous n rep -> r

gmapQ :: (forall d. Data d => d -> u) -> Format Column InnerContiguous n rep -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Format Column InnerContiguous n rep -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Format Column InnerContiguous n rep -> m (Format Column InnerContiguous n rep)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Format Column InnerContiguous n rep -> m (Format Column InnerContiguous n rep)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Format Column InnerContiguous n rep -> m (Format Column InnerContiguous n rep)

Show (Shape n Int) => Show (Format Column Strided n rep)

Defined in Numerical.Array.Layout.Dense

Methods

showsPrec :: Int -> Format Column Strided n rep -> ShowS

show :: Format Column Strided n rep -> String

showList :: [Format Column Strided n rep] -> ShowS

Show (Shape n Int) => Show (Format Column InnerContiguous n rep)

Defined in Numerical.Array.Layout.Dense

Methods

showsPrec :: Int -> Format Column InnerContiguous n rep -> ShowS

show :: Format Column InnerContiguous n rep -> String

showList :: [Format Column InnerContiguous n rep] -> ShowS

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Column Contiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Column Contiguous rank rep -> Index rank -> Address

basicToDenseIndex :: Format Column Contiguous rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Column Contiguous rank rep -> Address -> Address

basicNextDenseIndex :: Format Column Contiguous rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Column Strided rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Column Strided rank rep -> Index rank -> Address

basicToDenseIndex :: Format Column Strided rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Column Strided rank rep -> Address -> Address

basicNextDenseIndex :: Format Column Strided rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Foldable (Shape rank), Traversable (Shape rank)) => DenseLayout (Format Column InnerContiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Column InnerContiguous rank rep -> Index rank -> Address

basicToDenseIndex :: Format Column InnerContiguous rank rep -> Address -> Index rank

basicNextDenseAddress :: Format Column InnerContiguous rank rep -> Address -> Address

basicNextDenseIndex :: Format Column InnerContiguous rank rep -> Index rank -> (Index rank, Address)

(Applicative (Shape rank), Traversable (Shape rank)) => Layout (Format Column Contiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Column Contiguous rank rep -> Shape rank Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> logicalForm

transposedLayout :: (Format Column Contiguous rank rep ~ Transposed transform, transform ~ Transposed (Format Column Contiguous rank rep)) => Format Column Contiguous rank rep -> transform

basicCompareIndex :: p (Format Column Contiguous rank rep) -> Shape rank Int -> Shape rank Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> Index rank -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> address -> Index rank

basicNextAddress :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> Index rank -> Maybe address -> Maybe (Index rank, address)

basicAddressPopCount :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Column Contiguous rank rep) => Format Column Contiguous rank rep -> address -> Int -> Maybe address

(Applicative (Shape rank), Traversable (Shape rank)) => Layout (Format Column Strided rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Column Strided rank rep -> Shape rank Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Column Strided rank rep) => Format Column Strided rank rep -> logicalForm

transposedLayout :: (Format Column Strided rank rep ~ Transposed transform, transform ~ Transposed (Format Column Strided rank rep)) => Format Column Strided rank rep -> transform

basicCompareIndex :: p (Format Column Strided rank rep) -> Shape rank Int -> Shape rank Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> Index rank -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> address -> Index rank

basicNextAddress :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> Index rank -> Maybe address -> Maybe (Index rank, address)

basicAddressPopCount :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Column Strided rank rep) => Format Column Strided rank rep -> address -> Int -> Maybe address

(Applicative (Shape rank), Traversable (Shape rank)) => Layout (Format Column InnerContiguous rank rep) rank

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Column InnerContiguous rank rep -> Shape rank Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> logicalForm

transposedLayout :: (Format Column InnerContiguous rank rep ~ Transposed transform, transform ~ Transposed (Format Column InnerContiguous rank rep)) => Format Column InnerContiguous rank rep -> transform

basicCompareIndex :: p (Format Column InnerContiguous rank rep) -> Shape rank Int -> Shape rank Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> Index rank -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> address -> Index rank

basicNextAddress :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> Index rank -> Maybe address -> Maybe (Index rank, address)

basicAddressPopCount :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Column InnerContiguous rank rep) => Format Column InnerContiguous rank rep -> address -> Int -> Maybe address

(Foldable (Shape r), Traversable (Shape r), Applicative (Shape r)) => LayoutBuilder (Format Column Contiguous r rep) r

Defined in Numerical.Array.Layout.Builder

Methods

buildFormatM :: (store ~ FormatStorageRep (Format Column Contiguous r rep), Buffer store Int, Buffer store a, PrimMonad m) => Index r -> proxy (Format Column Contiguous r rep) -> a -> Maybe (BatchInit (Index r, a)) -> m (Format Column Contiguous r rep, BufferMut store (PrimState m) a)

data Format Column Contiguous n rep

Defined in Numerical.Array.Layout.Dense

data Format Column Contiguous n rep = FormatColumnContiguous {

• boundsColumnContig :: !(Shape n Int)

}

data Format Column Strided n rep

Defined in Numerical.Array.Layout.Dense

data Format Column Strided n rep = FormatColumnStrided {

• boundsColumnStrided :: !(Shape n Int)
• strideFormColumnStrided :: !(Shape n Int)

}

data Format Column InnerContiguous n rep

Defined in Numerical.Array.Layout.Dense

data Format Column InnerContiguous n rep = FormatColumnInnerContiguous {

• boundsColumnInnerContig :: !(Shape n Int)
• strideFormColumnInnerContig :: !(Shape n Int)

}

type LayoutLogicalFormat (Format Column cont n rep)

Defined in Numerical.Array.Layout.Dense

type LayoutLogicalFormat (Format Column cont n rep) = Format Column Contiguous n rep

type LayoutAddress (Format Column locality rank rep)

Defined in Numerical.Array.Layout.Dense

type LayoutAddress (Format Column locality rank rep) = Address

type Transposed (Format Column Contiguous rank rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Column Contiguous rank rep) = Format Row Contiguous rank rep

type Transposed (Format Column Strided rank rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Column Strided rank rep) = Format Row Strided rank rep

type Transposed (Format Column InnerContiguous rank rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Column InnerContiguous rank rep) = Format Row InnerContiguous rank rep

data Direct

Instances

Eq (Format Direct Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Dense

Methods

(==) :: Format Direct Contiguous (S Z) rep -> Format Direct Contiguous (S Z) rep -> Bool

(/=) :: Format Direct Contiguous (S Z) rep -> Format Direct Contiguous (S Z) rep -> Bool

Data rep => Data (Format Direct Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Dense

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Format Direct Contiguous (S Z) rep -> c (Format Direct Contiguous (S Z) rep)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Format Direct Contiguous (S Z) rep)

toConstr :: Format Direct Contiguous (S Z) rep -> Constr

dataTypeOf :: Format Direct Contiguous (S Z) rep -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Format Direct Contiguous (S Z) rep))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Format Direct Contiguous (S Z) rep))

gmapT :: (forall b. Data b => b -> b) -> Format Direct Contiguous (S Z) rep -> Format Direct Contiguous (S Z) rep

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Format Direct Contiguous (S Z) rep -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Format Direct Contiguous (S Z) rep -> r

gmapQ :: (forall d. Data d => d -> u) -> Format Direct Contiguous (S Z) rep -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Format Direct Contiguous (S Z) rep -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Format Direct Contiguous (S Z) rep -> m (Format Direct Contiguous (S Z) rep)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Format Direct Contiguous (S Z) rep -> m (Format Direct Contiguous (S Z) rep)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Format Direct Contiguous (S Z) rep -> m (Format Direct Contiguous (S Z) rep)

Show (Format Direct Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Dense

Methods

showsPrec :: Int -> Format Direct Contiguous (S Z) rep -> ShowS

show :: Format Direct Contiguous (S Z) rep -> String

showList :: [Format Direct Contiguous (S Z) rep] -> ShowS

DenseLayout (Format Direct Contiguous (S Z) rep) (S Z)

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Direct Contiguous (S Z) rep -> Index (S Z) -> Address

basicToDenseIndex :: Format Direct Contiguous (S Z) rep -> Address -> Index (S Z)

basicNextDenseAddress :: Format Direct Contiguous (S Z) rep -> Address -> Address

basicNextDenseIndex :: Format Direct Contiguous (S Z) rep -> Index (S Z) -> (Index (S Z), Address)

DenseLayout (Format Direct Strided (S Z) rep) (S Z)

Defined in Numerical.Array.Layout.Dense

Methods

basicToDenseAddress :: Format Direct Strided (S Z) rep -> Index (S Z) -> Address

basicToDenseIndex :: Format Direct Strided (S Z) rep -> Address -> Index (S Z)

basicNextDenseAddress :: Format Direct Strided (S Z) rep -> Address -> Address

basicNextDenseIndex :: Format Direct Strided (S Z) rep -> Index (S Z) -> (Index (S Z), Address)

Layout (Format Direct Contiguous (S Z) rep) (S Z)

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Direct Contiguous (S Z) rep -> Shape (S Z) Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> logicalForm

transposedLayout :: (Format Direct Contiguous (S Z) rep ~ Transposed transform, transform ~ Transposed (Format Direct Contiguous (S Z) rep)) => Format Direct Contiguous (S Z) rep -> transform

basicCompareIndex :: p (Format Direct Contiguous (S Z) rep) -> Shape (S Z) Int -> Shape (S Z) Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> Index (S Z) -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> address -> Index (S Z)

basicNextAddress :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> Index (S Z) -> Maybe address -> Maybe (Index (S Z), address)

basicAddressPopCount :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Direct Contiguous (S Z) rep) => Format Direct Contiguous (S Z) rep -> address -> Int -> Maybe address

Layout (Format Direct Strided (S Z) rep) (S Z)

Defined in Numerical.Array.Layout.Dense

Methods

basicLogicalShape :: Format Direct Strided (S Z) rep -> Shape (S Z) Int

basicLogicalForm :: logicalForm ~ LayoutLogicalFormat (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> logicalForm

transposedLayout :: (Format Direct Strided (S Z) rep ~ Transposed transform, transform ~ Transposed (Format Direct Strided (S Z) rep)) => Format Direct Strided (S Z) rep -> transform

basicCompareIndex :: p (Format Direct Strided (S Z) rep) -> Shape (S Z) Int -> Shape (S Z) Int -> Ordering

basicAddressRange :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> Maybe (Range address)

basicToAddress :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> Index (S Z) -> Maybe address

basicToIndex :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> address -> Index (S Z)

basicNextAddress :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> address -> Maybe address

basicNextIndex :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> Index (S Z) -> Maybe address -> Maybe (Index (S Z), address)

basicAddressPopCount :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> Range address -> Int

basicAddressAsInt :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> address -> Int

basicAffineAddressShift :: address ~ LayoutAddress (Format Direct Strided (S Z) rep) => Format Direct Strided (S Z) rep -> address -> Int -> Maybe address

LayoutBuilder (Format Direct Contiguous (S Z) rep) (S Z)

Defined in Numerical.Array.Layout.Builder

Methods

buildFormatM :: (store ~ FormatStorageRep (Format Direct Contiguous (S Z) rep), Buffer store Int, Buffer store a, PrimMonad m) => Index (S Z) -> proxy (Format Direct Contiguous (S Z) rep) -> a -> Maybe (BatchInit (Index (S Z), a)) -> m (Format Direct Contiguous (S Z) rep, BufferMut store (PrimState m) a)

data Format Direct Contiguous (S Z) rep

Format Direct Contiguous (S Z) is a 1dim array Layout with unit stride

Defined in Numerical.Array.Layout.Dense

data Format Direct Contiguous (S Z) rep = FormatDirectContiguous {

• logicalShapeDirectContiguous :: !Int

}

data Format Direct Strided (S Z) rep

Format Direct Strided (S Z) is a 1dim array Layout with a regular stride >= 1

Defined in Numerical.Array.Layout.Dense

data Format Direct Strided (S Z) rep = FormatDirectStrided {

• logicalShapeDirectStrided :: !Int
• logicalStrideDirectStrided :: !Int

}

type LayoutLogicalFormat (Format Direct cont (S Z) rep)

Defined in Numerical.Array.Layout.Dense

type LayoutLogicalFormat (Format Direct cont (S Z) rep) = Format Direct Contiguous (S Z) rep

type LayoutLogicalFormat (Format Direct Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Dense

type LayoutLogicalFormat (Format Direct Contiguous (S Z) rep) = Format Direct Contiguous (S Z) rep

type LayoutAddress (Format Direct Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Dense

type LayoutAddress (Format Direct Contiguous (S Z) rep) = Address

type LayoutAddress (Format Direct Strided (S Z) rep)

Defined in Numerical.Array.Layout.Dense

type LayoutAddress (Format Direct Strided (S Z) rep) = Address

type Transposed (Format Direct Contiguous (S Z) rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Direct Contiguous (S Z) rep) = Format Direct Contiguous (S Z) rep

type Transposed (Format Direct Strided (S Z) rep)

Defined in Numerical.Array.Layout.Dense

type Transposed (Format Direct Strided (S Z) rep) = Format Direct Strided (S Z) rep

module Numerical.Array.Layout.Base