binder

Not on Stackage, so not searched. Variable binding for abstract syntax tree
A Monad that manages binding variables and labels to values.
A monad to construct Binding'. i is the input symbol, and v is supposed to be the Action bound to i.
Extract every variable by this group
bindersOf applied to a list of binding groups
Gets the bound Id out a BinderInfo.
Returns Nothing for BoringBinders and Just the flag indicating occurrences as argument or in a nullary applications otherwise.
See bBinderSwaOk.