Unbound.Generics.LocallyNameless.Bind

The fundamental binding form. The type Bind p t allows you to place a pattern p in a term t such that the names in the pattern scope over the term. Use bind and unbind and lunbind to work with Bind p t

Name binding

data Bind p t

A term of type Bind p t is a term that binds the free variable occurrences of the variables in pattern p in the term t. In the overall term, those variables are now bound. See also bind and unbind and lunbind

Constructors

B p t

Instances

(Subst c b, Subst c a, Alpha a, Alpha b) => Subst c (Bind a b)

(Show p, Show t) => Show (Bind p t)

Generic (Bind p t)

(Alpha p, Alpha t) => Alpha (Bind p t)