th-cas-0.1.0: Compile-time CAS(Computer Algebra System)

Safe HaskellNone
LanguageHaskell2010

Algebra.CAS.Core

Documentation

exp2val :: Exp -> Value Source

val2exp :: Value -> Exp Source

lift :: Value -> Exp Source

lift1 :: (Value -> Value) -> Exp -> Exp Source

lift2 :: (Value -> Value -> Value) -> Exp -> Exp -> Exp Source

lift3 :: (Value -> Value -> Value -> Value) -> Exp -> Exp -> Exp -> Exp Source