Language.Syntactic.Constructs.Binding

General binding constructs

Variables

newtype VarId

Variable identifier

Constructors

VarId

Fields

• varInteger :: Integer

Instances

Enum VarId

Defined in Language.Syntactic.Constructs.Binding

Methods

succ :: VarId -> VarId

pred :: VarId -> VarId

toEnum :: Int -> VarId

fromEnum :: VarId -> Int

enumFrom :: VarId -> [VarId]

enumFromThen :: VarId -> VarId -> [VarId]

enumFromTo :: VarId -> VarId -> [VarId]

enumFromThenTo :: VarId -> VarId -> VarId -> [VarId]

Eq VarId

Defined in Language.Syntactic.Constructs.Binding

Methods

(==) :: VarId -> VarId -> Bool

(/=) :: VarId -> VarId -> Bool

Integral VarId

Defined in Language.Syntactic.Constructs.Binding

Methods

quot :: VarId -> VarId -> VarId

rem :: VarId -> VarId -> VarId

div :: VarId -> VarId -> VarId

mod :: VarId -> VarId -> VarId

quotRem :: VarId -> VarId -> (VarId, VarId)

divMod :: VarId -> VarId -> (VarId, VarId)

toInteger :: VarId -> Integer

Num VarId

Defined in Language.Syntactic.Constructs.Binding

Methods

(+) :: VarId -> VarId -> VarId

(-) :: VarId -> VarId -> VarId

(*) :: VarId -> VarId -> VarId

negate :: VarId -> VarId

abs :: VarId -> VarId

signum :: VarId -> VarId

fromInteger :: Integer -> VarId

Ord VarId

Defined in Language.Syntactic.Constructs.Binding

Methods

compare :: VarId -> VarId -> Ordering

(<) :: VarId -> VarId -> Bool

(<=) :: VarId -> VarId -> Bool

(>) :: VarId -> VarId -> Bool

(>=) :: VarId -> VarId -> Bool

max :: VarId -> VarId -> VarId

min :: VarId -> VarId -> VarId

Real VarId

Defined in Language.Syntactic.Constructs.Binding

Methods

toRational :: VarId -> Rational

Show VarId

Defined in Language.Syntactic.Constructs.Binding

Methods

showsPrec :: Int -> VarId -> ShowS

show :: VarId -> String

showList :: [VarId] -> ShowS

Ix VarId

Defined in Language.Syntactic.Constructs.Binding

Methods

range :: (VarId, VarId) -> [VarId]

index :: (VarId, VarId) -> VarId -> Int

unsafeIndex :: (VarId, VarId) -> VarId -> Int

inRange :: (VarId, VarId) -> VarId -> Bool

rangeSize :: (VarId, VarId) -> Int

unsafeRangeSize :: (VarId, VarId) -> Int

p ~ Sat dom => NodeEqEnv dom (EqEnv dom p)

Defined in Language.Syntactic.Sharing.Graph

Methods

prjNodeEqEnv :: EqEnv dom p -> NodeEnv dom (Sat dom)

modNodeEqEnv :: (NodeEnv dom (Sat dom) -> NodeEnv dom (Sat dom)) -> EqEnv dom p -> EqEnv dom p

VarEqEnv [(VarId, VarId)]

Defined in Language.Syntactic.Constructs.Binding

Methods

prjVarEqEnv :: [(VarId, VarId)] -> [(VarId, VarId)]

modVarEqEnv :: ([(VarId, VarId)] -> [(VarId, VarId)]) -> [(VarId, VarId)] -> [(VarId, VarId)]

VarEqEnv (EqEnv dom p)

Defined in Language.Syntactic.Sharing.Graph

Methods

prjVarEqEnv :: EqEnv dom p -> [(VarId, VarId)]

modVarEqEnv :: ([(VarId, VarId)] -> [(VarId, VarId)]) -> EqEnv dom p -> EqEnv dom p

showVar :: VarId -> String

data Variable a where

Variables

Constructors

Variable :: VarId -> Variable (Full a)

Instances

StringTree Variable

Defined in Language.Syntactic.Constructs.Binding

Methods

stringTreeSym :: [Tree String] -> Variable a -> Tree String

Render Variable

Defined in Language.Syntactic.Constructs.Binding

Methods

renderSym :: Variable sig -> String

renderArgs :: [String] -> Variable sig -> String

Equality Variable

equal does strict identifier comparison; i.e. no alpha equivalence.

exprHash assigns the same hash to all variables. This is a valid over-approximation that enables the following property:

alphaEq a b  ==>  exprHash a == exprHash b

Defined in Language.Syntactic.Constructs.Binding

Methods

equal :: Variable a -> Variable b -> Bool

exprHash :: Variable a -> Hash

Constrained Variable

Defined in Language.Syntactic.Constructs.Binding

Associated Types

type Sat Variable :: * -> Constraint

Methods

exprDict :: Variable a -> Dict (Sat Variable (DenResult a))

EvalBind Variable

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Variable sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

Optimize Variable

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Variable sig -> AST dom sig) -> Variable sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

(AlphaEq dom dom dom env, VarEqEnv env) => AlphaEq Variable Variable dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Variable a -> Args (AST dom) a -> Variable b -> Args (AST dom) b -> Reader env Bool

IsHODomain (HODomain dom p pVar) p pVar

Defined in Language.Syntactic.Constructs.Binding.HigherOrder

Methods

lambda :: (p (a -> b), p a, pVar a) => (ASTF (HODomain dom p pVar) a -> ASTF (HODomain dom p pVar) b) -> ASTF (HODomain dom p pVar) (a -> b)

type Sat Variable

Defined in Language.Syntactic.Constructs.Binding

type Sat Variable = Top

Lambda binding

data Lambda a where

Lambda binding

Constructors

Lambda :: VarId -> Lambda (b :-> Full (a -> b))

Instances

StringTree Lambda

Defined in Language.Syntactic.Constructs.Binding

Methods

stringTreeSym :: [Tree String] -> Lambda a -> Tree String

Render Lambda

Defined in Language.Syntactic.Constructs.Binding

Methods

renderSym :: Lambda sig -> String

renderArgs :: [String] -> Lambda sig -> String

Equality Lambda

equal does strict identifier comparison; i.e. no alpha equivalence.

exprHash assigns the same hash to all Lambda bindings. This is a valid over-approximation that enables the following property:

alphaEq a b  ==>  exprHash a == exprHash b

Defined in Language.Syntactic.Constructs.Binding

Methods

equal :: Lambda a -> Lambda b -> Bool

exprHash :: Lambda a -> Hash

Constrained Lambda

Defined in Language.Syntactic.Constructs.Binding

Associated Types

type Sat Lambda :: * -> Constraint

Methods

exprDict :: Lambda a -> Dict (Sat Lambda (DenResult a))

EvalBind Lambda

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Lambda sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

Optimize Lambda

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Lambda sig -> AST dom sig) -> Lambda sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

(AlphaEq dom dom dom env, VarEqEnv env) => AlphaEq Lambda Lambda dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Lambda a -> Args (AST dom) a -> Lambda b -> Args (AST dom) b -> Reader env Bool

type Sat Lambda

Defined in Language.Syntactic.Constructs.Binding

type Sat Lambda = Top

reuseLambda :: Lambda (b :-> Full (a -> b)) -> Lambda (c :-> Full (a -> c))

Allow an existing binding to be used with a body of a different type

Let binding

data Let a where

Let binding

Let is just an application operator with flipped argument order. The argument (a -> b) is preferably constructed by Lambda.

Constructors

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

Instances

StringTree Let

Defined in Language.Syntactic.Constructs.Binding

Methods

stringTreeSym :: [Tree String] -> Let a -> Tree String

Render Let

Defined in Language.Syntactic.Constructs.Binding

Methods

renderSym :: Let sig -> String

renderArgs :: [String] -> Let sig -> String

Eval Let

Defined in Language.Syntactic.Constructs.Binding

Methods

evaluate :: Let a -> Denotation a

Equality Let

Defined in Language.Syntactic.Constructs.Binding

Methods

equal :: Let a -> Let b -> Bool

exprHash :: Let a -> Hash

Constrained Let

Defined in Language.Syntactic.Constructs.Binding

Associated Types

type Sat Let :: * -> Constraint

Methods

exprDict :: Let a -> Dict (Sat Let (DenResult a))

EvalBind Let

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Let sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

Optimize Let

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Let sig -> AST dom sig) -> Let sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

AlphaEq dom dom dom env => AlphaEq Let Let dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Let a -> Args (AST dom) a -> Let b -> Args (AST dom) b -> Reader env Bool

type Sat Let

Defined in Language.Syntactic.Constructs.Binding

type Sat Let = Top

Interpretation

subst

Arguments

:: (ConstrainedBy dom Typeable, Project Lambda dom, Project Variable dom)

=> VarId

Variable to be substituted

-> ASTF dom a

Expression to substitute for

-> ASTF dom b

Expression to substitute in

-> ASTF dom b

Should be a capture-avoiding substitution, but it is currently not correct.

Note: Variables with a different type than the new expression will be silently ignored.

betaReduce

Arguments

:: (ConstrainedBy dom Typeable, Project Lambda dom, Project Variable dom)

=> ASTF dom a

Argument

-> ASTF dom (a -> b)

Function to be reduced

-> ASTF dom b

Beta-reduction of an expression. The expression to be reduced is assumed to be a Lambda.

class EvalBind sub where

Evaluation of expressions with variables

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => sub sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

evalBindSym :: (Eval sub, EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => sub sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

Instances

EvalBind Empty

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Empty sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

EvalBind Tuple

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Tuple sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

EvalBind Select

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Select sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

EvalBind Literal

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Literal sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

EvalBind Identity

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Identity sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

EvalBind Construct

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Construct sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

EvalBind Condition

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Condition sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

EvalBind Let

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Let sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

EvalBind Lambda

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Lambda sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

EvalBind Variable

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => Variable sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

Monad m => EvalBind (MONAD m)

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => MONAD m sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

(EvalBind sub1, EvalBind sub2) => EvalBind (sub1 :+: sub2)

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => (sub1 :+: sub2) sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

EvalBind dom => EvalBind (dom :|| pred)

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom0, ConstrainedBy dom0 Typeable, Typeable (DenResult sig)) => (dom :|| pred) sig -> Args (AST dom0) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

EvalBind dom => EvalBind (dom :| pred)

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom0, ConstrainedBy dom0 Typeable, Typeable (DenResult sig)) => (dom :| pred) sig -> Args (AST dom0) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

EvalBind dom => EvalBind (Decor info dom)

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom0, ConstrainedBy dom0 Typeable, Typeable (DenResult sig)) => Decor info dom sig -> Args (AST dom0) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

EvalBind dom => EvalBind (SubConstr1 c dom p)

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom0, ConstrainedBy dom0 Typeable, Typeable (DenResult sig)) => SubConstr1 c dom p sig -> Args (AST dom0) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

EvalBind dom => EvalBind (SubConstr2 c dom pa pb)

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom0, ConstrainedBy dom0 Typeable, Typeable (DenResult sig)) => SubConstr2 c dom pa pb sig -> Args (AST dom0) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

evalBindM :: (EvalBind dom, ConstrainedBy dom Typeable) => ASTF dom a -> Reader [(VarId, Dynamic)] a

Evaluation of possibly open expressions

evalBind :: (EvalBind dom, ConstrainedBy dom Typeable) => ASTF dom a -> a

Evaluation of closed expressions

appDen :: Denotation sig -> Args Identity sig -> DenResult sig

Apply a symbol denotation to a list of arguments

evalBindSymDefault :: (Eval sub, EvalBind dom, ConstrainedBy dom Typeable) => sub sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

Convenient default implementation of evalBindSym

Alpha equivalence

class VarEqEnv a where

Environments containing a list of variable equivalences

Minimal complete definition

prjVarEqEnv, modVarEqEnv

Methods

prjVarEqEnv :: a -> [(VarId, VarId)]

modVarEqEnv :: ([(VarId, VarId)] -> [(VarId, VarId)]) -> a -> a

Instances

VarEqEnv [(VarId, VarId)]

Defined in Language.Syntactic.Constructs.Binding

Methods

prjVarEqEnv :: [(VarId, VarId)] -> [(VarId, VarId)]

modVarEqEnv :: ([(VarId, VarId)] -> [(VarId, VarId)]) -> [(VarId, VarId)] -> [(VarId, VarId)]

VarEqEnv (EqEnv dom p)

Defined in Language.Syntactic.Sharing.Graph

Methods

prjVarEqEnv :: EqEnv dom p -> [(VarId, VarId)]

modVarEqEnv :: ([(VarId, VarId)] -> [(VarId, VarId)]) -> EqEnv dom p -> EqEnv dom p

class AlphaEq sub1 sub2 dom env where

Alpha-equivalence

Methods

alphaEqSym :: sub1 a -> Args (AST dom) a -> sub2 b -> Args (AST dom) b -> Reader env Bool

alphaEqSym :: (AlphaEq dom dom dom env, Equality sub2, sub1 ~ sub2) => sub1 a -> Args (AST dom) a -> sub2 b -> Args (AST dom) b -> Reader env Bool

Instances

AlphaEq Empty Empty dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Empty a -> Args (AST dom) a -> Empty b -> Args (AST dom) b -> Reader env Bool

AlphaEq dom dom dom env => AlphaEq Tuple Tuple dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Tuple a -> Args (AST dom) a -> Tuple b -> Args (AST dom) b -> Reader env Bool

AlphaEq dom dom dom env => AlphaEq Select Select dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Select a -> Args (AST dom) a -> Select b -> Args (AST dom) b -> Reader env Bool

AlphaEq dom dom dom env => AlphaEq Literal Literal dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Literal a -> Args (AST dom) a -> Literal b -> Args (AST dom) b -> Reader env Bool

AlphaEq dom dom dom env => AlphaEq Identity Identity dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Identity a -> Args (AST dom) a -> Identity b -> Args (AST dom) b -> Reader env Bool

AlphaEq dom dom dom env => AlphaEq Construct Construct dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Construct a -> Args (AST dom) a -> Construct b -> Args (AST dom) b -> Reader env Bool

AlphaEq dom dom dom env => AlphaEq Condition Condition dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Condition a -> Args (AST dom) a -> Condition b -> Args (AST dom) b -> Reader env Bool

AlphaEq dom dom dom env => AlphaEq Let Let dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Let a -> Args (AST dom) a -> Let b -> Args (AST dom) b -> Reader env Bool

(AlphaEq dom dom dom env, VarEqEnv env) => AlphaEq Lambda Lambda dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Lambda a -> Args (AST dom) a -> Lambda b -> Args (AST dom) b -> Reader env Bool

(AlphaEq dom dom dom env, VarEqEnv env) => AlphaEq Variable Variable dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Variable a -> Args (AST dom) a -> Variable b -> Args (AST dom) b -> Reader env Bool

(AlphaEq dom dom dom env, NodeEqEnv dom env) => AlphaEq Node Node dom env

Defined in Language.Syntactic.Sharing.Graph

Methods

alphaEqSym :: Node a -> Args (AST dom) a -> Node b -> Args (AST dom) b -> Reader env Bool

(AlphaEq dom dom dom env, Monad m) => AlphaEq (MONAD m) (MONAD m) dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: MONAD m a -> Args (AST dom) a -> MONAD m b -> Args (AST dom) b -> Reader env Bool

(AlphaEq subA1 subB1 dom env, AlphaEq subA2 subB2 dom env) => AlphaEq (subA1 :+: subA2) (subB1 :+: subB2) dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: (subA1 :+: subA2) a -> Args (AST dom) a -> (subB1 :+: subB2) b -> Args (AST dom) b -> Reader env Bool

AlphaEq sub sub dom env => AlphaEq (sub :|| pred) (sub :|| pred) dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: (sub :|| pred) a -> Args (AST dom) a -> (sub :|| pred) b -> Args (AST dom) b -> Reader env Bool

AlphaEq sub sub dom env => AlphaEq (sub :| pred) (sub :| pred) dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: (sub :| pred) a -> Args (AST dom) a -> (sub :| pred) b -> Args (AST dom) b -> Reader env Bool

AlphaEq sub sub dom env => AlphaEq (Decor info sub) (Decor info sub) dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: Decor info sub a -> Args (AST dom) a -> Decor info sub b -> Args (AST dom) b -> Reader env Bool

AlphaEq sub sub dom env => AlphaEq (SubConstr1 c sub p) (SubConstr1 c sub p) dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: SubConstr1 c sub p a -> Args (AST dom) a -> SubConstr1 c sub p b -> Args (AST dom) b -> Reader env Bool

AlphaEq sub sub dom env => AlphaEq (SubConstr2 c sub pa pb) (SubConstr2 c sub pa pb) dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: SubConstr2 c sub pa pb a -> Args (AST dom) a -> SubConstr2 c sub pa pb b -> Args (AST dom) b -> Reader env Bool

alphaEqM :: AlphaEq dom dom dom env => ASTF dom a -> ASTF dom b -> Reader env Bool

alphaEqM2 :: AlphaEq dom dom dom env => ASTF dom b -> dom a -> Args (AST dom) a -> Reader env Bool

alphaEq :: AlphaEq dom dom dom [(VarId, VarId)] => ASTF dom a -> ASTF dom b -> Bool

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

alphaEqSymDefault :: (Equality sub, AlphaEq dom dom dom env) => sub a -> Args (AST dom) a -> sub b -> Args (AST dom) b -> Reader env Bool

alphaEqChildren :: AlphaEq dom dom dom env => AST dom a -> AST dom b -> Reader env Bool