| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.TypeChecking.Monad.Base.Types
Contents
Description
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 ContextEntrys.