Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data structures for the type checker.
Part of Agda.TypeChecking.Monad.Base, extracted to avoid import cycles.
Synopsis
- type Context = [ContextEntry]
- type ContextEntry = Dom (Name, Type)
Context
type Context = [ContextEntry] Source #
The Context
is a stack of ContextEntry
s.