DDC.Type.Exp.Generic.Binding

Documentation

class Binding l where

Class of languages that include name binding.

Minimal complete definition

boundOfBind, boundMatchesBind

Methods

boundOfBind :: l -> GTBindVar l -> GTBoundVar l

Get the bound occurrence that matches the given binding occurrence.

boundMatchesBind :: l -> GTBindVar l -> GTBoundVar l -> Bool

Check if the given bound occurence matches a binding occurrence.

class Anon l where

Class of languages that support anonymous binding.

Minimal complete definition

withBindings

Methods

withBinding :: l -> (GTBindVar l -> GTBoundVar l -> a) -> a

Evaluate a function given a new anonymous binding and matching bound occurrence.

withBindings :: l -> Int -> ([GTBindVar l] -> [GTBoundVar l] -> a) -> a