| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Agda.Unused.Monad.Reader
Contents
Description
A reader monad for determining unused code.
Synopsis
- data Environment = Environment {}
- askSkip :: MonadReader Environment m => m Bool
- askLocal :: MonadReader Environment m => m Bool
- askRoot :: MonadReader Environment m => m FilePath
- localSkip :: MonadReader Environment m => m a -> m a
Definition
data Environment Source #
An environment type for use in a reader monad.
Constructors
| Environment | |
Fields
| |
Instances
| Show Environment Source # | |
Defined in Agda.Unused.Monad.Reader Methods showsPrec :: Int -> Environment -> ShowS # show :: Environment -> String # showList :: [Environment] -> ShowS # | |
Ask
askSkip :: MonadReader Environment m => m Bool Source #
Ask whether to skip checking names.
askLocal :: MonadReader Environment m => m Bool Source #
Ask whether to skip checking public names.
askRoot :: MonadReader Environment m => m FilePath Source #
Ask for the project root path.
Local
localSkip :: MonadReader Environment m => m a -> m a Source #
Skip checking names in a local computation.