module Control.Comonad.Traced.Class
( ComonadTraced(..)
, traces
) where
import Control.Comonad
import Control.Comonad.Trans.Class
import Control.Comonad.Trans.Traced (TracedT)
import qualified Control.Comonad.Trans.Traced as TracedT
import Control.Comonad.Trans.Env.Strict as Strict
import Control.Comonad.Trans.Store.Strict as Strict
import Control.Comonad.Trans.Discont.Strict as Strict
import Control.Comonad.Trans.Env.Lazy as Lazy
import Control.Comonad.Trans.Store.Lazy as Lazy
import Control.Comonad.Trans.Discont.Lazy as Lazy
import Control.Comonad.Trans.Identity
import Data.Monoid
import Data.Semigroup
class Comonad w => ComonadTraced m w | w -> m where
trace :: m -> w a -> a
traces :: ComonadTraced m w => (a -> m) -> w a -> a
traces f wa = trace (f (extract wa)) wa
instance (Comonad w, Semigroup m, Monoid m) => ComonadTraced m (TracedT m w) where
trace = TracedT.trace
lowerTrace :: (ComonadTrans t, ComonadTraced m w) => m -> t w a -> a
lowerTrace m = trace m . lower
instance ComonadTraced m w => ComonadTraced m (IdentityT w) where
trace = lowerTrace
instance ComonadTraced m w => ComonadTraced m (Strict.EnvT e w) where
trace = lowerTrace
instance ComonadTraced m w => ComonadTraced m (Strict.DiscontT k w) where
trace = lowerTrace
instance ComonadTraced m w => ComonadTraced m (Strict.StoreT s w) where
trace = lowerTrace
instance ComonadTraced m w => ComonadTraced m (Lazy.EnvT e w) where
trace = lowerTrace
instance ComonadTraced m w => ComonadTraced m (Lazy.DiscontT k w) where
trace = lowerTrace
instance ComonadTraced m w => ComonadTraced m (Lazy.StoreT s w) where
trace = lowerTrace