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

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 IO

Defined in Language.Embedded.Concurrent.CMD

Associated Types

type FreePred IO :: Type -> Constraint

Methods

constExp :: FreePred IO a => a -> IO a

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

FreeExp CExp

Defined in Language.Embedded.CExp

Associated Types

type FreePred CExp :: Type -> 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)

Defined in Language.Embedded.Expression

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

Methods

evalExp :: exp a -> a

Evaluation of a closed expression

Instances

EvalExp CExp

Defined in Language.Embedded.CExp

Methods

evalExp :: CExp a -> a