| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.TypeChecking.Monad.Pure
Description
A typeclass collecting all pure typechecking operations
| (i.e. ones that do not modify the typechecking state, throw or
| catch errors, or do IO other than debug printing).
Documentation
class (HasBuiltins m, HasConstInfo m, MonadAddContext m, MonadDebug m, MonadReduce m, MonadTCEnv m, ReadTCState m) => PureTCM (m :: Type -> Type) Source #