Multilinear.Generic

• This module contains generic implementation of tensor defined as nested arrays

Documentation

data Tensor a

Tensor defined recursively as scalar or list of other tensors

c is type of a container, i is type of index size and a is type of tensor elements

Constructors

Scalar

Scalar

Fields

• scalarVal :: a

  value of scalar

SimpleFinite

Simple, one-dimensional finite tensor

Fields

• tensorFiniteIndex :: Index

  Finite index Mutltilinear.Index.Finite of tensor

• tensorScalars :: Vector a

FiniteTensor

Finite array of other tensors

Fields

• tensorFiniteIndex :: Index

  Finite index Mutltilinear.Index.Finite of tensor

• tensorsFinite :: Vector (Tensor a)

  Array of tensors on deeper recursion level

InfiniteTensor

Infinite list of other tensors

Fields

• tensorInfiniteIndex :: Index

  Infinite index Mutltilinear.Index.Infinite of tensor

• tensorsInfinite :: [Tensor a]

  Infinite list of tensors on deeper recursion level

Err

Operations on tensors may throw an error

Fields

• errMessage :: String

  Error message

Instances

Functor Tensor

Defined in Multilinear.Generic

Methods

fmap :: (a -> b) -> Tensor a -> Tensor b

(<$) :: a -> Tensor b -> Tensor a

Num a => Accessible Tensor a

List allows for random access to tensor elements

Defined in Multilinear.Generic

Methods

el :: Tensor a -> (String, [Int]) -> Tensor a

($$|) :: Tensor a -> (String, [Int]) -> Tensor a

iMap :: ([Int] -> a -> b) -> Tensor a -> Tensor b

Num a => Multilinear Tensor a

Defined in Multilinear.Generic

Methods

(+.) :: a -> Tensor a -> Tensor a

(-.) :: a -> Tensor a -> Tensor a

(*.) :: a -> Tensor a -> Tensor a

(.+) :: Tensor a -> a -> Tensor a

(.-) :: Tensor a -> a -> Tensor a

(.*) :: Tensor a -> a -> Tensor a

(.+.) :: Tensor a -> Tensor a -> Tensor a

(.-.) :: Tensor a -> Tensor a -> Tensor a

(.*.) :: Tensor a -> Tensor a -> Tensor a

indices :: Tensor a -> [TIndex]

indicesNames :: Tensor a -> [String]

order :: Tensor a -> (Int, Int)

size :: Tensor a -> String -> Int

equiv :: Tensor a -> Tensor a -> Bool

(|==|) :: Tensor a -> Tensor a -> Bool

($|) :: Tensor a -> (String, String) -> Tensor a

raise :: Tensor a -> String -> Tensor a

(/\) :: Tensor a -> String -> Tensor a

lower :: Tensor a -> String -> Tensor a

(\/) :: Tensor a -> String -> Tensor a

transpose :: Tensor a -> Tensor a

shiftRight :: Tensor a -> String -> Tensor a

(|>>) :: Tensor a -> String -> Tensor a

shiftRightmost :: Tensor a -> String -> Tensor a

(|>>>) :: Tensor a -> String -> Tensor a

shiftLeft :: Tensor a -> String -> Tensor a

(<<|) :: Tensor a -> String -> Tensor a

shiftLeftmost :: Tensor a -> String -> Tensor a

(<<<|) :: Tensor a -> String -> Tensor a

map :: (a -> b) -> Tensor a -> Tensor b

Eq a => Eq (Tensor a)

Defined in Multilinear.Generic

Methods

(==) :: Tensor a -> Tensor a -> Bool

(/=) :: Tensor a -> Tensor a -> Bool

Floating a => Floating (Tensor a)

Defined in Multilinear.Generic

Methods

pi :: Tensor a

exp :: Tensor a -> Tensor a

log :: Tensor a -> Tensor a

sqrt :: Tensor a -> Tensor a

(**) :: Tensor a -> Tensor a -> Tensor a

logBase :: Tensor a -> Tensor a -> Tensor a

sin :: Tensor a -> Tensor a

cos :: Tensor a -> Tensor a

tan :: Tensor a -> Tensor a

asin :: Tensor a -> Tensor a

acos :: Tensor a -> Tensor a

atan :: Tensor a -> Tensor a

sinh :: Tensor a -> Tensor a

cosh :: Tensor a -> Tensor a

tanh :: Tensor a -> Tensor a

asinh :: Tensor a -> Tensor a

acosh :: Tensor a -> Tensor a

atanh :: Tensor a -> Tensor a

log1p :: Tensor a -> Tensor a

expm1 :: Tensor a -> Tensor a

log1pexp :: Tensor a -> Tensor a

log1mexp :: Tensor a -> Tensor a

Fractional a => Fractional (Tensor a)

Defined in Multilinear.Generic

Methods

(/) :: Tensor a -> Tensor a -> Tensor a

recip :: Tensor a -> Tensor a

fromRational :: Rational -> Tensor a

Num a => Num (Tensor a)

Defined in Multilinear.Generic

Methods

(+) :: Tensor a -> Tensor a -> Tensor a

(-) :: Tensor a -> Tensor a -> Tensor a

(*) :: Tensor a -> Tensor a -> Tensor a

negate :: Tensor a -> Tensor a

abs :: Tensor a -> Tensor a

signum :: Tensor a -> Tensor a

fromInteger :: Integer -> Tensor a

Ord a => Ord (Tensor a)

Defined in Multilinear.Generic

Methods

compare :: Tensor a -> Tensor a -> Ordering

(<) :: Tensor a -> Tensor a -> Bool

(<=) :: Tensor a -> Tensor a -> Bool

(>) :: Tensor a -> Tensor a -> Bool

(>=) :: Tensor a -> Tensor a -> Bool

max :: Tensor a -> Tensor a -> Tensor a

min :: Tensor a -> Tensor a -> Tensor a

(Show a, Num a) => Show (Tensor a)

Defined in Multilinear.Generic

Methods

showsPrec :: Int -> Tensor a -> ShowS

show :: Tensor a -> String

showList :: [Tensor a] -> ShowS

Generic (Tensor a)

Defined in Multilinear.Generic

Associated Types

type Rep (Tensor a) :: Type -> Type

Methods

from :: Tensor a -> Rep (Tensor a) x

to :: Rep (Tensor a) x -> Tensor a

NFData a => NFData (Tensor a)

Defined in Multilinear.Generic

Methods

rnf :: Tensor a -> ()

(Num a, Bits a) => Bits (Tensor a)

Defined in Multilinear.Generic

Methods

(.&.) :: Tensor a -> Tensor a -> Tensor a

(.|.) :: Tensor a -> Tensor a -> Tensor a

xor :: Tensor a -> Tensor a -> Tensor a

complement :: Tensor a -> Tensor a

shift :: Tensor a -> Int -> Tensor a

rotate :: Tensor a -> Int -> Tensor a

zeroBits :: Tensor a

bit :: Int -> Tensor a

setBit :: Tensor a -> Int -> Tensor a

clearBit :: Tensor a -> Int -> Tensor a

complementBit :: Tensor a -> Int -> Tensor a

testBit :: Tensor a -> Int -> Bool

bitSizeMaybe :: Tensor a -> Maybe Int

bitSize :: Tensor a -> Int

isSigned :: Tensor a -> Bool

shiftL :: Tensor a -> Int -> Tensor a

unsafeShiftL :: Tensor a -> Int -> Tensor a

shiftR :: Tensor a -> Int -> Tensor a

unsafeShiftR :: Tensor a -> Int -> Tensor a

rotateL :: Tensor a -> Int -> Tensor a

rotateR :: Tensor a -> Int -> Tensor a

popCount :: Tensor a -> Int

type Rep (Tensor a)

Defined in Multilinear.Generic

type Rep (Tensor a) = D1 (MetaData "Tensor" "Multilinear.Generic" "multilinear-0.2.2.1-HcIjCCqprZ51H8U3LokIhe" False) ((C1 (MetaCons "Scalar" PrefixI True) (S1 (MetaSel (Just "scalarVal") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "SimpleFinite" PrefixI True) (S1 (MetaSel (Just "tensorFiniteIndex") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Index) :*: S1 (MetaSel (Just "tensorScalars") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector a)))) :+: (C1 (MetaCons "FiniteTensor" PrefixI True) (S1 (MetaSel (Just "tensorFiniteIndex") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Index) :*: S1 (MetaSel (Just "tensorsFinite") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector (Tensor a)))) :+: (C1 (MetaCons "InfiniteTensor" PrefixI True) (S1 (MetaSel (Just "tensorInfiniteIndex") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Index) :*: S1 (MetaSel (Just "tensorsInfinite") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Tensor a])) :+: C1 (MetaCons "Err" PrefixI True) (S1 (MetaSel (Just "errMessage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))

(!)

Arguments

:: Tensor a

tensor t

-> Int

index i

-> Tensor a

tensor t[i]

Recursive indexing on list tensor t ! i = t[i]

mergeScalars :: Tensor a -> Tensor a

Merge FiniteTensor of Scalars to SimpleFinite tensor for performance improvement

isScalar :: Tensor a -> Bool

Return true if tensor is a scalar

isSimple :: Tensor a -> Bool

Return true if tensor is a simple tensor

isFiniteTensor :: Tensor a -> Bool

Return True if tensor is a complex tensor

isInfiniteTensor :: Tensor a -> Bool

Return True if tensor is a infinite tensor

dot

Arguments

:: Num a

=> Tensor a

First dot product argument

-> Tensor a

Second dot product argument

-> Tensor a

Resulting dot product

_elemByElem

Arguments

:: Num a

=> Tensor a

First argument of operator

-> Tensor a

Second argument of operator

-> (a -> a -> a)

Operator on tensor elements if indices are different

-> (Tensor a -> Tensor a -> Tensor a)

Tensor operator called if indices are the same

-> Tensor a

Result tensor

Apply a tensor operator elem by elem and merge scalars to simple tensor at the and

contractionErr

Arguments

:: TIndex

Index of first dot product parameter

-> TIndex

Index of second dot product parameter

-> Tensor a

Erorr message

tensorIndex :: Tensor a -> TIndex

Return generic tensor index

_standardize :: Num a => Tensor a -> Tensor a