| Safe Haskell | Safe-Infered |
|---|
Agda.TypeChecking.Abstract
Description
Functions for abstracting terms over other terms.
Documentation
class AbstractTerm a whereSource
Instances
| AbstractTerm LevelAtom | |
| AbstractTerm PlusLevel | |
| AbstractTerm Level | |
| AbstractTerm Sort | |
| AbstractTerm Type | |
| AbstractTerm Term | |
| AbstractTerm a => AbstractTerm [a] | |
| AbstractTerm a => AbstractTerm (Maybe a) | |
| AbstractTerm a => AbstractTerm (Arg a) | |
| (Raise a, AbstractTerm a) => AbstractTerm (Abs a) | |
| (AbstractTerm a, AbstractTerm b) => AbstractTerm (a, b) |