Safe Haskell | None |
---|
Documentation
data Environment Source
Environment | |
|
data CheckState Source
Show CheckState | |
MonadState CheckState Check |
Check | |
|
putEnv :: Environment -> Check ()Source
withModule :: ProperName -> Check a -> Check aSource
Safe Haskell | None |
---|
data Environment Source
Environment | |
|
data CheckState Source
Show CheckState | |
MonadState CheckState Check |
Check | |
|
putEnv :: Environment -> Check ()Source
withModule :: ProperName -> Check a -> Check aSource