Data.Tensor.Compiler

Syntax

data Phoas a

Parametric higher-order abstract syntax (PHOAS), after B. Oliveira, A. Loeh, `Abstract Syntax Graphs for Domain Specific Languages`

eval :: Phoas a -> a

Semantic function for evaluation

var :: a -> Phoas a

Inject a constant into the abstract syntax

let_ :: Phoas a -> (a -> Phoas b) -> Phoas b

Bind a variable into a closure

let2_ :: Phoas a -> Phoas b -> (a -> b -> Phoas c) -> Phoas c

Bind two variables into a closure

Exceptions

data CException

Tensor contraction

Inject two Tensor constant into Vars, while ensuring that all the contraction indices are compatible with those of the tensors.

Throws a CException if any index is nonnegative or too large for the shape of the given tensor.

Exceptions

Constructors

IncompatShape String

IncompatIx String

Instances

Eq CException

Methods

(==) :: CException -> CException -> Bool

(/=) :: CException -> CException -> Bool

Show CException

Methods

showsPrec :: Int -> CException -> ShowS

show :: CException -> String

showList :: [CException] -> ShowS

Exception CException

Methods

toException :: CException -> SomeException

fromException :: SomeException -> Maybe CException

displayException :: CException -> String