Functions for abstracting terms over other terms.
Documentation
class AbstractTerm a whereSource
abstractTerm :: Term -> a -> aSource
subst u . abstractTerm u == id
AbstractTerm Sort | |
AbstractTerm Type | |
AbstractTerm Term | |
AbstractTerm a => AbstractTerm [a] | |
AbstractTerm a => AbstractTerm (Arg a) | |
(Subst a, AbstractTerm a) => AbstractTerm (Abs a) | |
(AbstractTerm a, AbstractTerm b) => AbstractTerm (a, b) |