Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Embedded.Expression
Description
Interface to pure expressions
Documentation
class FreeExp exp where Source #
Expressions that support injection of constants and named variables
Associated Types
type FreePred exp :: * -> Constraint Source #
Constraint on the types of constants and variables in an expression language
Methods
constExp :: FreePred exp a => a -> exp a Source #
Inject a constant value
varExp :: FreePred exp a => VarId -> exp a Source #
Inject a named variable
Value