egison-4.2.1: Programming language with non-linear pattern-matching against non-free data
LicenseMIT
Safe HaskellNone
LanguageGHC2021

Language.Egison.Tensor

Contents

Description

This module contains functions for tensors.

Synopsis

Documentation

class TensorComponent a b | a -> b where Source #

Methods

fromTensor :: Tensor b -> EvalM a Source #

toTensor :: a -> EvalM (Tensor b) Source #

Instances

Instances details
TensorComponent EgisonValue EgisonValue Source # 
Instance details

Defined in Language.Egison.Tensor

Methods

fromTensor :: Tensor EgisonValue -> EvalM EgisonValue Source #

toTensor :: EgisonValue -> EvalM (Tensor EgisonValue) Source #

TensorComponent WHNFData ObjectRef Source # 
Instance details

Defined in Language.Egison.Tensor

Methods

fromTensor :: Tensor ObjectRef -> EvalM WHNFData Source #

toTensor :: WHNFData -> EvalM (Tensor ObjectRef) Source #

Tensor

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

enumTensorIndices :: Shape -> [[Integer]] Source #

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

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

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

appendDF :: Integer -> WHNFData -> WHNFData Source #

removeDF :: WHNFData -> EvalM WHNFData Source #

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

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

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

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

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

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