Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
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.
Environment | |
|
Instances
Show Environment Source # | |
Defined in Agda.Unused.Monad.Reader 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.