Language.Embedded.Expression

Interface to pure expressions

Documentation

type VarId = String

Variable identifier

class FreeExp exp where

Expressions that support injection of values and named variables

Associated Types

type VarPred exp :: * -> Constraint

Constraint on the types of values and variables in an expression language

Methods

valExp :: VarPred exp a => a -> exp a

Construct a value expression

varExp :: VarPred exp a => VarId -> exp a

Construct a named variable expression

Instances

FreeExp CExp

data Val a

Value

Constructors

ValComp VarId

Symbolic value

ValEval a

Concrete value

Instances

ToIdent (Val a)

valToExp :: (VarPred exp a, FreeExp exp) => Val a -> exp a

Convert a value to an expression

class FreeExp exp => EvalExp exp where

Expressions that support evaluation

Methods

evalExp :: exp a -> a

Evaluation of a closed expression

Instances

EvalExp CExp