module Control.Comonad.Env.Class
( ComonadEnv(..)
, asks
) where
import Control.Comonad
import Control.Comonad.Trans.Class
import qualified Control.Comonad.Trans.Env.Lazy as Lazy
import qualified Control.Comonad.Trans.Store.Lazy as Lazy
import qualified Control.Comonad.Trans.Discont.Lazy as Lazy
import qualified Control.Comonad.Trans.Env.Strict as Strict
import qualified Control.Comonad.Trans.Store.Strict as Strict
import qualified Control.Comonad.Trans.Discont.Strict as Strict
import qualified Control.Comonad.Trans.Traced as Simple
import qualified Control.Comonad.Trans.Traced.Memo as Memo
import qualified Control.Comonad.Trans.Store.Memo as Memo
import qualified Control.Comonad.Trans.Discont.Memo as Memo
import Control.Comonad.Trans.Identity
import Data.Monoid
import Data.Semigroup
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 (Lazy.EnvT e w) where
ask = Lazy.ask
instance Comonad w => ComonadEnv e (Strict.EnvT e w) where
ask = Strict.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 (Strict.StoreT t w) where
ask = lowerAsk
instance ComonadEnv e w => ComonadEnv e (Strict.DiscontT t w) where
ask = lowerAsk
instance ComonadEnv e w => ComonadEnv e (Lazy.StoreT t w) where
ask = lowerAsk
instance ComonadEnv e w => ComonadEnv e (Lazy.DiscontT t w) where
ask = lowerAsk
instance ComonadEnv e w => ComonadEnv e (Memo.StoreT t w) where
ask = lowerAsk
instance ComonadEnv e w => ComonadEnv e (Memo.DiscontT t w) where
ask = lowerAsk
instance ComonadEnv e w => ComonadEnv e (IdentityT w) where
ask = lowerAsk
instance (ComonadEnv e w, Semigroup m, Monoid m) => ComonadEnv e (Simple.TracedT m w) where
ask = lowerAsk
instance (ComonadEnv e w, Monoid m) => ComonadEnv e (Memo.TracedT m w) where
ask = lowerAsk