module Control.Comonad.Env.Class
( ComonadEnv(..)
, asks
) where
import Control.Comonad
import Control.Comonad.Trans.Class
import qualified Control.Comonad.Trans.Env as T
import Control.Comonad.Trans.Store
import Control.Comonad.Trans.Discont
import Control.Comonad.Trans.Identity
class Comonad w => ComonadEnv e w | w -> e where
ask :: w a -> e
asks :: ComonadEnv e w => (e -> e') -> w a -> e'
asks f wa = f (ask wa)
instance Comonad w => ComonadEnv e (T.EnvT e w) where
ask = T.ask
instance ComonadEnv e ((,)e) where
ask = fst
lowerAsk :: (ComonadEnv e w, ComonadTrans t) => t w a -> e
lowerAsk = ask . lower
instance ComonadEnv e w => ComonadEnv e (StoreT t w) where
ask = lowerAsk
instance ComonadEnv e w => ComonadEnv e (DiscontT t w) where
ask = lowerAsk
instance ComonadEnv e w => ComonadEnv e (IdentityT w) where
ask = lowerAsk