|
Agda.TypeChecking.Monad.State |
|
|
|
Synopsis |
|
|
|
Documentation |
|
|
Resets the type checking state. The persistent command line
options are preserved.
|
|
|
Set the current scope.
|
|
|
Get the current scope.
|
|
|
Modify the current scope.
|
|
|
Run a computation in a local scope.
|
|
|
Same as withScope, but discard the scope from the computation.
|
|
|
Discard any changes to the scope by a computation.
|
|
|
Set the top-level module. This affects the global module id of freshly
generated names.
|
|
|
Use a different top-level module for a computation. Used when generating
names for imported modules.
|
|
|
Tell the compiler to import the given Haskell module.
|
|
|
Get the Haskell imports.
|
|
Produced by Haddock version 2.6.1 |