Data.Array.Internal

Documentation

data BoxMode

Constructors

BoxMode

Fields

• _bmBars, _bmUnicode, _bmHeader :: Bool

type ShapeL = [Int]

The shape of an array is a list of its dimensions.

data T v a

The type T is the internal type of arrays. In general, operations on T do no sanity checking as that should be done at the point of call.

To avoid manipulating the data the indexing into the vector containing the data is somewhat complex. To find where item i of the outermost dimension starts you calculate vector index offset + i*strides[0]. To find where item i,j of the two outermost dimensions is you calculate vector index offset + i*strides[0] + j*strides[1], etc.

Constructors

T

Fields

• strides :: [N]
• offset :: !N
• values :: !(v a)

Instances

(Typeable v, Typeable a, Data (v a)) => Data (T v a)

Defined in Data.Array.Internal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> T v a -> c (T v a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (T v a)

toConstr :: T v a -> Constr

dataTypeOf :: T v a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (T v a))

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

gmapT :: (forall b. Data b => b -> b) -> T v a -> T v a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> T v a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> T v a -> r

gmapQ :: (forall d. Data d => d -> u) -> T v a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> T v a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> T v a -> m (T v a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> T v a -> m (T v a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> T v a -> m (T v a)

Show (v a) => Show (T v a)

Defined in Data.Array.Internal

Methods

showsPrec :: Int -> T v a -> ShowS

show :: T v a -> String

showList :: [T v a] -> ShowS

Generic (T v a)

Defined in Data.Array.Internal

Associated Types

type Rep (T v a) :: Type -> Type

Methods

from :: T v a -> Rep (T v a) x

to :: Rep (T v a) x -> T v a

NFData (v a) => NFData (T v a)

Defined in Data.Array.Internal

Methods

rnf :: T v a -> ()

type Rep (T v a)

Defined in Data.Array.Internal

type Rep (T v a) = D1 ('MetaData "T" "Data.Array.Internal" "orthotope-0.1.1.0-8N9XOymS4o4K1BvtpFJxFr" 'False) (C1 ('MetaCons "T" 'PrefixI 'True) (S1 ('MetaSel ('Just "strides") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [N]) :*: (S1 ('MetaSel ('Just "offset") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 N) :*: S1 ('MetaSel ('Just "values") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (v a)))))

type N = Int

class None a

Instances

None a

Defined in Data.Array.Internal

class Vector v where

The Vector class is the interface to the underlying storage for the arrays. The operations map straight to operations for Vector.

Associated Types

type VecElem v :: Type -> Constraint

Methods

vIndex :: VecElem v a => v a -> Int -> a

vLength :: VecElem v a => v a -> Int

vToList :: VecElem v a => v a -> [a]

vFromList :: VecElem v a => [a] -> v a

vSingleton :: VecElem v a => a -> v a

vReplicate :: VecElem v a => Int -> a -> v a

vMap :: (VecElem v a, VecElem v b) => (a -> b) -> v a -> v b

vZipWith :: (VecElem v a, VecElem v b, VecElem v c) => (a -> b -> c) -> v a -> v b -> v c

vZipWith3 :: (VecElem v a, VecElem v b, VecElem v c, VecElem v d) => (a -> b -> c -> d) -> v a -> v b -> v c -> v d

vZipWith4 :: (VecElem v a, VecElem v b, VecElem v c, VecElem v d, VecElem v e) => (a -> b -> c -> d -> e) -> v a -> v b -> v c -> v d -> v e

vZipWith5 :: (VecElem v a, VecElem v b, VecElem v c, VecElem v d, VecElem v e, VecElem v f) => (a -> b -> c -> d -> e -> f) -> v a -> v b -> v c -> v d -> v e -> v f

vAppend :: VecElem v a => v a -> v a -> v a

vConcat :: VecElem v a => [v a] -> v a

vFold :: VecElem v a => (a -> a -> a) -> a -> v a -> a

vSlice :: VecElem v a => Int -> Int -> v a -> v a

vSum :: (VecElem v a, Num a) => v a -> a

vProduct :: (VecElem v a, Num a) => v a -> a

vMaximum :: (VecElem v a, Ord a) => v a -> a

vMinimum :: (VecElem v a, Ord a) => v a -> a

vUpdate :: VecElem v a => v a -> [(Int, a)] -> v a

vGenerate :: VecElem v a => Int -> (Int -> a) -> v a

vAll :: VecElem v a => (a -> Bool) -> v a -> Bool

vAny :: VecElem v a => (a -> Bool) -> v a -> Bool

Instances

Vector []

Defined in Data.Array.Internal

Associated Types

type VecElem [] :: Type -> Constraint

Methods

vIndex :: VecElem [] a => [a] -> Int -> a

vLength :: VecElem [] a => [a] -> Int

vToList :: VecElem [] a => [a] -> [a]

vFromList :: VecElem [] a => [a] -> [a]

vSingleton :: VecElem [] a => a -> [a]

vReplicate :: VecElem [] a => Int -> a -> [a]

vMap :: (VecElem [] a, VecElem [] b) => (a -> b) -> [a] -> [b]

vZipWith :: (VecElem [] a, VecElem [] b, VecElem [] c) => (a -> b -> c) -> [a] -> [b] -> [c]

vZipWith3 :: (VecElem [] a, VecElem [] b, VecElem [] c, VecElem [] d) => (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]

vZipWith4 :: (VecElem [] a, VecElem [] b, VecElem [] c, VecElem [] d, VecElem [] e) => (a -> b -> c -> d -> e) -> [a] -> [b] -> [c] -> [d] -> [e]

vZipWith5 :: (VecElem [] a, VecElem [] b, VecElem [] c, VecElem [] d, VecElem [] e, VecElem [] f) => (a -> b -> c -> d -> e -> f) -> [a] -> [b] -> [c] -> [d] -> [e] -> [f]

vAppend :: VecElem [] a => [a] -> [a] -> [a]

vConcat :: VecElem [] a => [[a]] -> [a]

vFold :: VecElem [] a => (a -> a -> a) -> a -> [a] -> a

vSlice :: VecElem [] a => Int -> Int -> [a] -> [a]

vSum :: (VecElem [] a, Num a) => [a] -> a

vProduct :: (VecElem [] a, Num a) => [a] -> a

vMaximum :: (VecElem [] a, Ord a) => [a] -> a

vMinimum :: (VecElem [] a, Ord a) => [a] -> a

vUpdate :: VecElem [] a => [a] -> [(Int, a)] -> [a]

vGenerate :: VecElem [] a => Int -> (Int -> a) -> [a]

vAll :: VecElem [] a => (a -> Bool) -> [a] -> Bool

vAny :: VecElem [] a => (a -> Bool) -> [a] -> Bool

Vector Vector

Defined in Data.Array.Internal.DynamicU

Associated Types

type VecElem Vector :: Type -> Constraint

Methods

vIndex :: VecElem Vector a => Vector a -> Int -> a

vLength :: VecElem Vector a => Vector a -> Int

vToList :: VecElem Vector a => Vector a -> [a]

vFromList :: VecElem Vector a => [a] -> Vector a

vSingleton :: VecElem Vector a => a -> Vector a

vReplicate :: VecElem Vector a => Int -> a -> Vector a

vMap :: (VecElem Vector a, VecElem Vector b) => (a -> b) -> Vector a -> Vector b

vZipWith :: (VecElem Vector a, VecElem Vector b, VecElem Vector c) => (a -> b -> c) -> Vector a -> Vector b -> Vector c

vZipWith3 :: (VecElem Vector a, VecElem Vector b, VecElem Vector c, VecElem Vector d) => (a -> b -> c -> d) -> Vector a -> Vector b -> Vector c -> Vector d

vZipWith4 :: (VecElem Vector a, VecElem Vector b, VecElem Vector c, VecElem Vector d, VecElem Vector e) => (a -> b -> c -> d -> e) -> Vector a -> Vector b -> Vector c -> Vector d -> Vector e

vZipWith5 :: (VecElem Vector a, VecElem Vector b, VecElem Vector c, VecElem Vector d, VecElem Vector e, VecElem Vector f) => (a -> b -> c -> d -> e -> f) -> Vector a -> Vector b -> Vector c -> Vector d -> Vector e -> Vector f

vAppend :: VecElem Vector a => Vector a -> Vector a -> Vector a

vConcat :: VecElem Vector a => [Vector a] -> Vector a

vFold :: VecElem Vector a => (a -> a -> a) -> a -> Vector a -> a

vSlice :: VecElem Vector a => Int -> Int -> Vector a -> Vector a

vSum :: (VecElem Vector a, Num a) => Vector a -> a

vProduct :: (VecElem Vector a, Num a) => Vector a -> a

vMaximum :: (VecElem Vector a, Ord a) => Vector a -> a

vMinimum :: (VecElem Vector a, Ord a) => Vector a -> a

vUpdate :: VecElem Vector a => Vector a -> [(Int, a)] -> Vector a

vGenerate :: VecElem Vector a => Int -> (Int -> a) -> Vector a

vAll :: VecElem Vector a => (a -> Bool) -> Vector a -> Bool

vAny :: VecElem Vector a => (a -> Bool) -> Vector a -> Bool

Vector Vector

Defined in Data.Array.Internal.DynamicS

Associated Types

type VecElem Vector :: Type -> Constraint

Methods

vIndex :: VecElem Vector a => Vector a -> Int -> a

vLength :: VecElem Vector a => Vector a -> Int

vToList :: VecElem Vector a => Vector a -> [a]

vFromList :: VecElem Vector a => [a] -> Vector a

vSingleton :: VecElem Vector a => a -> Vector a

vReplicate :: VecElem Vector a => Int -> a -> Vector a

vMap :: (VecElem Vector a, VecElem Vector b) => (a -> b) -> Vector a -> Vector b

vZipWith :: (VecElem Vector a, VecElem Vector b, VecElem Vector c) => (a -> b -> c) -> Vector a -> Vector b -> Vector c

vZipWith3 :: (VecElem Vector a, VecElem Vector b, VecElem Vector c, VecElem Vector d) => (a -> b -> c -> d) -> Vector a -> Vector b -> Vector c -> Vector d

vZipWith4 :: (VecElem Vector a, VecElem Vector b, VecElem Vector c, VecElem Vector d, VecElem Vector e) => (a -> b -> c -> d -> e) -> Vector a -> Vector b -> Vector c -> Vector d -> Vector e

vZipWith5 :: (VecElem Vector a, VecElem Vector b, VecElem Vector c, VecElem Vector d, VecElem Vector e, VecElem Vector f) => (a -> b -> c -> d -> e -> f) -> Vector a -> Vector b -> Vector c -> Vector d -> Vector e -> Vector f

vAppend :: VecElem Vector a => Vector a -> Vector a -> Vector a

vConcat :: VecElem Vector a => [Vector a] -> Vector a

vFold :: VecElem Vector a => (a -> a -> a) -> a -> Vector a -> a

vSlice :: VecElem Vector a => Int -> Int -> Vector a -> Vector a

vSum :: (VecElem Vector a, Num a) => Vector a -> a

vProduct :: (VecElem Vector a, Num a) => Vector a -> a

vMaximum :: (VecElem Vector a, Ord a) => Vector a -> a

vMinimum :: (VecElem Vector a, Ord a) => Vector a -> a

vUpdate :: VecElem Vector a => Vector a -> [(Int, a)] -> Vector a

vGenerate :: VecElem Vector a => Int -> (Int -> a) -> Vector a

vAll :: VecElem Vector a => (a -> Bool) -> Vector a -> Bool

vAny :: VecElem Vector a => (a -> Bool) -> Vector a -> Bool

Vector Vector

Defined in Data.Array.Internal.Dynamic

Associated Types

type VecElem Vector :: Type -> Constraint

Methods

vIndex :: VecElem Vector a => Vector a -> Int -> a

vLength :: VecElem Vector a => Vector a -> Int

vToList :: VecElem Vector a => Vector a -> [a]

vFromList :: VecElem Vector a => [a] -> Vector a

vSingleton :: VecElem Vector a => a -> Vector a

vReplicate :: VecElem Vector a => Int -> a -> Vector a

vMap :: (VecElem Vector a, VecElem Vector b) => (a -> b) -> Vector a -> Vector b

vZipWith :: (VecElem Vector a, VecElem Vector b, VecElem Vector c) => (a -> b -> c) -> Vector a -> Vector b -> Vector c

vZipWith3 :: (VecElem Vector a, VecElem Vector b, VecElem Vector c, VecElem Vector d) => (a -> b -> c -> d) -> Vector a -> Vector b -> Vector c -> Vector d

vZipWith4 :: (VecElem Vector a, VecElem Vector b, VecElem Vector c, VecElem Vector d, VecElem Vector e) => (a -> b -> c -> d -> e) -> Vector a -> Vector b -> Vector c -> Vector d -> Vector e

vZipWith5 :: (VecElem Vector a, VecElem Vector b, VecElem Vector c, VecElem Vector d, VecElem Vector e, VecElem Vector f) => (a -> b -> c -> d -> e -> f) -> Vector a -> Vector b -> Vector c -> Vector d -> Vector e -> Vector f

vAppend :: VecElem Vector a => Vector a -> Vector a -> Vector a

vConcat :: VecElem Vector a => [Vector a] -> Vector a

vFold :: VecElem Vector a => (a -> a -> a) -> a -> Vector a -> a

vSlice :: VecElem Vector a => Int -> Int -> Vector a -> Vector a

vSum :: (VecElem Vector a, Num a) => Vector a -> a

vProduct :: (VecElem Vector a, Num a) => Vector a -> a

vMaximum :: (VecElem Vector a, Ord a) => Vector a -> a

vMinimum :: (VecElem Vector a, Ord a) => Vector a -> a

vUpdate :: VecElem Vector a => Vector a -> [(Int, a)] -> Vector a

vGenerate :: VecElem Vector a => Int -> (Int -> a) -> Vector a

vAll :: VecElem Vector a => (a -> Bool) -> Vector a -> Bool

vAny :: VecElem Vector a => (a -> Bool) -> Vector a -> Bool

prettyShowL :: Pretty a => PrettyLevel -> a -> String

badShape :: ShapeL -> Bool

equalT :: (Vector v, VecElem v a, Eq a, Eq (v a)) => ShapeL -> T v a -> T v a -> Bool

compareT :: (Vector v, VecElem v a, Ord a, Ord (v a)) => ShapeL -> T v a -> T v a -> Ordering

getStridesT :: ShapeL -> [N]

toListT :: (Vector v, VecElem v a) => ShapeL -> T v a -> [a]

isCanonicalT :: (Vector v, VecElem v a) => [N] -> T v a -> Bool

Check if the strides are canonical, i.e., if the vector have the natural layout. XXX Copy special cases from Tensor.

scalarT :: (Vector v, VecElem v a) => a -> T v a

unScalarT :: (Vector v, VecElem v a) => T v a -> a

constantT :: (Vector v, VecElem v a) => ShapeL -> a -> T v a

toVectorT :: (Vector v, VecElem v a) => ShapeL -> T v a -> v a

toUnorderedVectorT :: (Vector v, VecElem v a) => ShapeL -> T v a -> v a

fromVectorT :: ShapeL -> v a -> T v a

fromListT :: (Vector v, VecElem v a) => [N] -> [a] -> T v a

indexT :: T v a -> N -> T v a

stretchT :: [Bool] -> T v a -> T v a

mapT :: (Vector v, VecElem v a, VecElem v b) => ShapeL -> (a -> b) -> T v a -> T v b

zipWithT :: (Vector v, VecElem v a, VecElem v b, VecElem v c) => ShapeL -> (a -> b -> c) -> T v a -> T v b -> T v c

zipWith3T :: (Vector v, VecElem v a, VecElem v b, VecElem v c, VecElem v d) => ShapeL -> (a -> b -> c -> d) -> T v a -> T v b -> T v c -> T v d

zipWith4T :: (Vector v, VecElem v a, VecElem v b, VecElem v c, VecElem v d, VecElem v e) => ShapeL -> (a -> b -> c -> d -> e) -> T v a -> T v b -> T v c -> T v d -> T v e

zipWith5T :: (Vector v, VecElem v a, VecElem v b, VecElem v c, VecElem v d, VecElem v e, VecElem v f) => ShapeL -> (a -> b -> c -> d -> e -> f) -> T v a -> T v b -> T v c -> T v d -> T v e -> T v f

transposeT :: [Int] -> T v a -> T v a

subArraysT :: ShapeL -> T v a -> [T v a]

reverseT :: [N] -> ShapeL -> T v a -> T v a

reduceT :: (Vector v, VecElem v a) => ShapeL -> (a -> a -> a) -> a -> T v a -> T v a

foldrT :: (Vector v, VecElem v a) => ShapeL -> (a -> b -> b) -> b -> T v a -> b

traverseT :: (Vector v, VecElem v a, VecElem v b, Applicative f) => ShapeL -> (a -> f b) -> T v a -> f (T v b)

allSameT :: (Vector v, VecElem v a, Eq a) => ShapeL -> T v a -> Bool

ppT :: (Vector v, VecElem v a, Pretty a) => PrettyLevel -> Rational -> ShapeL -> T v a -> Doc

ppT_ :: (Vector v, VecElem v a) => (a -> String) -> ShapeL -> T v a -> String

showsT :: [N] -> T [] String -> ShowS

prettyBoxMode :: BoxMode

box :: BoxMode -> String -> [String]

zipWithLong2 :: (a -> b -> b) -> [a] -> [b] -> [b]

padT :: forall v a. (Vector v, VecElem v a) => a -> [(Int, Int)] -> ShapeL -> T v a -> ([Int], T v a)

simpleReshape :: [N] -> ShapeL -> ShapeL -> Maybe [N]

sumT :: (Vector v, VecElem v a, Num a) => ShapeL -> T v a -> a

productT :: (Vector v, VecElem v a, Num a) => ShapeL -> T v a -> a

maximumT :: (Vector v, VecElem v a, Ord a) => ShapeL -> T v a -> a

minimumT :: (Vector v, VecElem v a, Ord a) => ShapeL -> T v a -> a

anyT :: (Vector v, VecElem v a) => ShapeL -> (a -> Bool) -> T v a -> Bool

allT :: (Vector v, VecElem v a) => ShapeL -> (a -> Bool) -> T v a -> Bool

updateT :: (Vector v, VecElem v a) => ShapeL -> T v a -> [([Int], a)] -> T v a

generateT :: (Vector v, VecElem v a) => ShapeL -> ([Int] -> a) -> T v a

iterateNT :: (Vector v, VecElem v a) => Int -> (a -> a) -> a -> T v a

iotaT :: (Vector v, VecElem v a, Enum a, Num a) => Int -> T v a

permute :: [Int] -> [a] -> [a]

Permute the elements of a list, the first argument is indices into the original list.

revDropWhile :: (a -> Bool) -> [a] -> [a]

Like dropWhile but at the end of the list.

allSame :: Eq a => [a] -> Bool

valueOf :: forall n i. (KnownNat n, Num i) => i

Get the value of a type level Nat. Use with explicit type application, i.e., valueOf @42