Language.Embedded.Expression

Interface for evaluation and compilation of pure expressions

Documentation

type VarId = Integer

Variable identifier

type family VarPred exp :: * -> Constraint

Constraint on the types of variables in a given expression language

Instances

type VarPred CExp = CType

class EvalExp exp where

General interface for evaluating expressions

Methods

litExp :: VarPred exp a => a -> exp a

Literal expressions

evalExp :: exp a -> a

Evaluation of (closed) expressions

Instances

EvalExp CExp

class CompExp exp where

General interface for compiling expressions

Minimal complete definition

varExp, compExp, (compType | compTypeP | compTypePP | compTypePP2)

Methods

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

Variable expressions

compExp :: MonadC m => exp a -> m Exp

Compilation of expressions

NOTE: It is assumed that free variables in the expression are rendered as vIII, where III is the variable identifier.

compType :: forall m a. (MonadC m, VarPred exp a) => exp a -> m Type

Extract expression type

compTypeP :: forall proxy m a. (MonadC m, VarPred exp a) => proxy (exp a) -> m Type

Extract expression type

compTypePP :: forall proxy1 proxy2 m a. (MonadC m, VarPred exp a) => proxy1 exp -> proxy2 a -> m Type

Extract expression type

compTypePP2 :: forall proxy proxy1 proxy2 m a. (MonadC m, VarPred exp a) => proxy exp -> proxy1 (proxy2 a) -> m Type

Extract expression type

Instances

CompExp CExp

freshVar :: forall exp m a. (CompExp exp, VarPred exp a, MonadC m) => m (exp a, Id)

Create and declare a fresh variable and return its name

freshVar_ :: forall exp m a. (CompExp exp, VarPred exp a, MonadC m) => m (exp a)

Create and declare a fresh variable