module Agda.Unused.Monad.Reader
(
Environment(..)
, askSkip
, askLocal
, askRoot
, localSkip
) where
import Control.Monad.Reader
(MonadReader, ask, local)
data Environment
= Environment
{ Environment -> Bool
environmentSkip
:: !Bool
, Environment -> Bool
environmentLocal
:: !Bool
, Environment -> FilePath
environmentRoot
:: !FilePath
} deriving Int -> Environment -> ShowS
[Environment] -> ShowS
Environment -> FilePath
(Int -> Environment -> ShowS)
-> (Environment -> FilePath)
-> ([Environment] -> ShowS)
-> Show Environment
forall a.
(Int -> a -> ShowS) -> (a -> FilePath) -> ([a] -> ShowS) -> Show a
showList :: [Environment] -> ShowS
$cshowList :: [Environment] -> ShowS
show :: Environment -> FilePath
$cshow :: Environment -> FilePath
showsPrec :: Int -> Environment -> ShowS
$cshowsPrec :: Int -> Environment -> ShowS
Show
askSkip
:: MonadReader Environment m
=> m Bool
askSkip :: m Bool
askSkip
= Environment -> Bool
environmentSkip (Environment -> Bool) -> m Environment -> m Bool
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> m Environment
forall r (m :: * -> *). MonadReader r m => m r
ask
askLocal
:: MonadReader Environment m
=> m Bool
askLocal :: m Bool
askLocal
= Environment -> Bool
environmentLocal (Environment -> Bool) -> m Environment -> m Bool
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> m Environment
forall r (m :: * -> *). MonadReader r m => m r
ask
askRoot
:: MonadReader Environment m
=> m FilePath
askRoot :: m FilePath
askRoot
= Environment -> FilePath
environmentRoot (Environment -> FilePath) -> m Environment -> m FilePath
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> m Environment
forall r (m :: * -> *). MonadReader r m => m r
ask
localSkip
:: MonadReader Environment m
=> m a
-> m a
localSkip :: m a -> m a
localSkip
= (Environment -> Environment) -> m a -> m a
forall r (m :: * -> *) a. MonadReader r m => (r -> r) -> m a -> m a
local (\e :: Environment
e -> Environment
e {environmentSkip :: Bool
environmentSkip = Bool
True})