Language.Egison.Tensor

This module contains functions for tensors.

Documentation

class TensorComponent a b | a -> b where

Methods

fromTensor :: Tensor b -> EvalM a

toTensor :: a -> EvalM (Tensor b)

Instances

TensorComponent WHNFData ObjectRef

Defined in Language.Egison.Tensor

Methods

fromTensor :: Tensor ObjectRef -> EvalM WHNFData

toTensor :: WHNFData -> EvalM (Tensor ObjectRef)

TensorComponent EgisonValue EgisonValue

Defined in Language.Egison.Tensor

Methods

fromTensor :: Tensor EgisonValue -> EvalM EgisonValue

toTensor :: EgisonValue -> EvalM (Tensor EgisonValue)

Tensor

tref :: [Index EgisonValue] -> Tensor a -> EvalM (Tensor a)

enumTensorIndices :: Shape -> [[Integer]]

tTranspose :: [Index EgisonValue] -> Tensor a -> EvalM (Tensor a)

tTranspose' :: [EgisonValue] -> Tensor a -> EvalM (Tensor a)

tFlipIndices :: Tensor a -> EvalM (Tensor a)

appendDF :: Integer -> WHNFData -> WHNFData

removeDF :: WHNFData -> EvalM WHNFData

tMap :: (a -> EvalM b) -> Tensor a -> EvalM (Tensor b)

tMap2 :: (a -> b -> EvalM c) -> Tensor a -> Tensor b -> EvalM (Tensor c)

tProduct :: (a -> b -> EvalM c) -> Tensor a -> Tensor b -> EvalM (Tensor c)

tContract :: Tensor a -> EvalM [Tensor a]

tContract' :: Tensor a -> EvalM (Tensor a)

tConcat' :: [Tensor a] -> EvalM (Tensor a)