Language.Embedded.Expression

Interface to pure expressions

Documentation

type VarId = String

Variable identifier

class FreeExp exp where

Expressions that support injection of constants and named variables

Minimal complete definition

constExp, varExp

Associated Types

type FreePred exp :: * -> Constraint

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

Methods

constExp :: FreePred exp a => a -> exp a

Inject a constant value

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

Inject a named variable

Instances

FreeExp CExp

Associated Types

type FreePred (CExp :: * -> *) :: * -> Constraint

Methods

constExp :: FreePred CExp a => a -> CExp a

varExp :: FreePred CExp a => VarId -> CExp a

data Val a

Value

Constructors

ValComp VarId

Symbolic value

ValRun a

Concrete value

Instances

ToIdent (Val a)

Methods

toIdent :: Val a -> SrcLoc -> Id

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

Convert a value to an expression

class FreeExp exp => EvalExp exp where

Expressions that support evaluation

Minimal complete definition

evalExp

Methods

evalExp :: exp a -> a

Evaluation of a closed expression

Instances

EvalExp CExp

Methods

evalExp :: CExp a -> a