Language.Syntactic.Features.Binding

General binding constructs

Documentation

newtype VarId

Variable identifier

Constructors

VarId

Fields

varInteger :: Integer

Instances

Enum VarId

Eq VarId

Num VarId

Ord VarId

Show VarId

Ix VarId

showVar :: VarId -> String

data Variable a where

Variables

Constructors

Variable :: Typeable a => VarId -> Variable (Full a)

Instances

ToTree Variable

Render Variable

data Lambda a where

Lambda binding

Constructors

Lambda :: (Typeable a, Typeable b) => VarId -> Lambda (b :-> Full (a -> b))

Instances

ToTree Lambda

Render Lambda

eqLambda :: ExprEq dom => AST (Lambda :+: (Variable :+: dom)) a -> AST (Lambda :+: (Variable :+: dom)) b -> Reader [(VarId, VarId)] Bool

Alpha-equivalence on Lambda expressions. Free variables are taken to be equvalent if they have the same identifier.

evalLambdaM :: (Eval dom, MonadReader [(VarId, Dynamic)] m) => AST (Lambda :+: (Variable :+: dom)) (Full a) -> m a

Evaluation of possibly open LambdaAST expressions

evalLambda :: Eval dom => AST (Lambda :+: (Variable :+: dom)) (Full a) -> a

Evaluation of closed Lambda expressions

class NAry a where

The class of n-ary binding functions

Associated Types

type NAryEval a

type NAryDom a :: * -> *

Methods

bindN :: (forall b c. (Typeable b, Typeable c) => (AST (NAryDom a) (Full b) -> AST (NAryDom a) (Full c)) -> AST (NAryDom a) (Full (b -> c))) -> a -> AST (NAryDom a) (Full (NAryEval a))

N-ary binding by nested use of the supplied binder

Instances

(NAryDom b ~ dom, Typeable a, NAry b, Typeable (NAryEval b)) => NAry (AST dom (Full a) -> b)

NAry (AST dom (Full a))

data Let a where

Let binding

Constructors

Let :: Let (a :-> ((a -> b) :-> Full b))

Instances

ExprEq Let

ToTree Let

Render Let

Eval Let

ExprHash Let