Data.Tensor

Documentation

class Tensor t where

A Tensor is a map from an Index type (which should be a MultiIndex) to an Element type.

Associated Types

type Index t

type Elem t

Methods

dims :: t -> Index t

dims returns the dimensions of the Tensor. In any instance of Tensor dims should be independent of its argument and work on undefined.

(!) :: t -> Index t -> Elem t

Returns the Element of t corresponding to Index t.

generate :: (Index t -> Elem t) -> t

Generates a Tensor according to the given function.

replicate :: Elem t -> t

Generates a Tensor consisting of the same Element repeated.

Instances

(Bounded i, MultiIndex i) => Tensor (Tensor i e)

class FromList t where

Methods

fromList :: [e] -> t e

Instances

(Bounded i, Cardinality i, MultiIndex i) => FromList (Tensor i)

class DirectSum n t1 t2 where

Associated Types

type SumSpace n t1 t2

Methods

directSum :: n -> t1 -> t2 -> SumSpace n t1 t2

Instances

(Cardinal n, MultiIndex i, MultiIndex j, MultiIndexConcat n i j) => DirectSum n (Tensor i e) (Tensor j e)

class Transpose t where

Associated Types

type TransposeSpace t

Methods

transpose :: t -> TransposeSpace t

Instances

(Ordinal i, Ordinal j) => Transpose (Tensor (:|: i (:|: j Nil)) e)

class Zip t where

Methods

zipWith :: (a -> b -> c) -> t a -> t b -> t c

Instances

Zip (Tensor i)