Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
class Binding l where Source #
Class of languages that include name binding.
boundOfBind :: l -> GTBindVar l -> GTBoundVar l Source #
Get the bound occurrence that matches the given binding occurrence.
boundMatchesBind :: l -> GTBindVar l -> GTBoundVar l -> Bool Source #
Check if the given bound occurence matches a binding occurrence.
Class of languages that support anonymous binding.
withBinding :: l -> (GTBindVar l -> GTBoundVar l -> a) -> a Source #
Evaluate a function given a new anonymous binding and matching bound occurrence.
withBindings :: l -> Int -> ([GTBindVar l] -> [GTBoundVar l] -> a) -> a Source #