Multilinear.Generic

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

Documentation

data Tensor a where

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
•    } -> Tensor a

SimpleFinite

Simple, one-dimensional finite tensor

Fields

• :: { tensorFiniteIndex :: Index

  Finite index Mutltilinear.Index.Finite of tensor

•    , tensorScalars :: Vector a
•    } -> Tensor 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

•    } -> Tensor a

Instances

(Unbox a, Num a, NFData 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

(Unbox a, Num a, NFData 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 :: Unbox b => (a -> b) -> Tensor a -> Tensor b

(Eq a, Unbox a) => Eq (Tensor a)

Defined in Multilinear.Generic

Methods

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

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

(Unbox a, Floating a, NFData 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

(Unbox a, Fractional a, NFData a) => Fractional (Tensor a)

Defined in Multilinear.Generic

Methods

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

recip :: Tensor a -> Tensor a

fromRational :: Rational -> Tensor a

(Unbox a, Num a, NFData 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, Unbox 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

(Unbox a, Show a, Num a, NFData 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 -> ()

type Rep (Tensor a)

Defined in Multilinear.Generic

type Rep (Tensor a) = D1 (MetaData "Tensor" "Multilinear.Generic" "multilinear-0.3.0.0-CxKRGIgPe0wJsGTBUK17Mk" 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))))))

(!)

Arguments

:: Unbox a

=> Tensor a

tensor t

-> Int

index i

-> Tensor a

tensor t[i]

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

isScalar :: Unbox a => Tensor a -> Bool

Return true if tensor is a scalar

isSimple :: Unbox a => Tensor a -> Bool

Return true if tensor is a simple tensor

isFiniteTensor :: Unbox a => Tensor a -> Bool

Return True if tensor is a complex tensor

dot

Arguments

:: (Num a, Unbox a, NFData a)

=> Tensor a

First dot product argument

-> Tensor a

Second dot product argument

-> Tensor a

Resulting dot product

_elemByElem

Arguments

:: (Num a, Unbox a, NFData 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

contractionErr

Arguments

:: TIndex

Index of first dot product parameter

-> TIndex

Index of second dot product parameter

-> Tensor a

Erorr message

tensorIndex :: Unbox a => Tensor a -> TIndex

Return generic tensor index

_standardize :: (Num a, Unbox a, NFData a) => Tensor a -> Tensor a