{-# LANGUAGE CPP #-}
{-# LANGUAGE Rank2Types #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
#if __GLASGOW_HASKELL__ >= 706
{-# LANGUAGE PolyKinds #-}
#endif
#if __GLASGOW_HASKELL__ >= 702 && __GLASGOW_HASKELL__ < 710
{-# LANGUAGE Trustworthy #-}
#endif
module Control.Monad.Co
(
Co, co, runCo
, CoT(..)
, liftCoT0, liftCoT0M, lowerCoT0, lowerCo0
, liftCoT1, liftCoT1M, lowerCoT1, lowerCo1
, diter, dctrlM
, posW, peekW, peeksW
, askW, asksW, traceW
)where
#if __GLASGOW_HASKELL__ < 710
import Control.Applicative
#endif
import Control.Comonad
import Control.Comonad.Cofree
import Control.Comonad.Density
import Control.Comonad.Env.Class as Env
import Control.Comonad.Store.Class
import Control.Comonad.Traced.Class as Traced
import Control.Monad ((<=<), liftM)
import Control.Monad.Error.Class
import qualified Control.Monad.Fail as Fail
import Control.Monad.IO.Class
import Control.Monad.Identity (Identity(..))
import Control.Monad.Reader.Class as Reader
import Control.Monad.State.Class
import Control.Monad.Trans.Class
import Control.Monad.Writer.Class as Writer
import Data.Functor.Bind
import Data.Functor.Extend
type Co w = CoT w Identity
co :: Functor w => (forall r. w (a -> r) -> r) -> Co w a
co :: (forall r. w (a -> r) -> r) -> Co w a
co forall r. w (a -> r) -> r
f = (forall r. w (a -> Identity r) -> Identity r) -> Co w a
forall k (w :: * -> *) (m :: k -> *) a.
(forall (r :: k). w (a -> m r) -> m r) -> CoT w m a
CoT (r -> Identity r
forall a. a -> Identity a
Identity (r -> Identity r)
-> (w (a -> Identity r) -> r) -> w (a -> Identity r) -> Identity r
forall b c a. (b -> c) -> (a -> b) -> a -> c
. w (a -> r) -> r
forall r. w (a -> r) -> r
f (w (a -> r) -> r)
-> (w (a -> Identity r) -> w (a -> r)) -> w (a -> Identity r) -> r
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((a -> Identity r) -> a -> r) -> w (a -> Identity r) -> w (a -> r)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((Identity r -> r) -> (a -> Identity r) -> a -> r
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Identity r -> r
forall a. Identity a -> a
runIdentity))
runCo :: Functor w => Co w a -> w (a -> r) -> r
runCo :: Co w a -> w (a -> r) -> r
runCo Co w a
m = Identity r -> r
forall a. Identity a -> a
runIdentity (Identity r -> r) -> (w (a -> r) -> Identity r) -> w (a -> r) -> r
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Co w a -> forall r. w (a -> Identity r) -> Identity r
forall (w :: * -> *) k (m :: k -> *) a.
CoT w m a -> forall (r :: k). w (a -> m r) -> m r
runCoT Co w a
m (w (a -> Identity r) -> Identity r)
-> (w (a -> r) -> w (a -> Identity r)) -> w (a -> r) -> Identity r
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((a -> r) -> a -> Identity r) -> w (a -> r) -> w (a -> Identity r)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((r -> Identity r) -> (a -> r) -> a -> Identity r
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap r -> Identity r
forall a. a -> Identity a
Identity)
newtype CoT w m a = CoT { CoT w m a -> forall (r :: k). w (a -> m r) -> m r
runCoT :: forall r. w (a -> m r) -> m r }
instance Functor w => Functor (CoT w m) where
fmap :: (a -> b) -> CoT w m a -> CoT w m b
fmap a -> b
f (CoT forall (r :: k). w (a -> m r) -> m r
w) = (forall (r :: k). w (b -> m r) -> m r) -> CoT w m b
forall k (w :: * -> *) (m :: k -> *) a.
(forall (r :: k). w (a -> m r) -> m r) -> CoT w m a
CoT (w (a -> m r) -> m r
forall (r :: k). w (a -> m r) -> m r
w (w (a -> m r) -> m r)
-> (w (b -> m r) -> w (a -> m r)) -> w (b -> m r) -> m r
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((b -> m r) -> a -> m r) -> w (b -> m r) -> w (a -> m r)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap ((b -> m r) -> (a -> b) -> a -> m r
forall b c a. (b -> c) -> (a -> b) -> a -> c
. a -> b
f))
instance Extend w => Apply (CoT w m) where
CoT w m (a -> b)
mf <.> :: CoT w m (a -> b) -> CoT w m a -> CoT w m b
<.> CoT w m a
ma = CoT w m (a -> b)
mf CoT w m (a -> b) -> ((a -> b) -> CoT w m b) -> CoT w m b
forall (m :: * -> *) a b. Bind m => m a -> (a -> m b) -> m b
>>- \a -> b
f -> (a -> b) -> CoT w m a -> CoT w m b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap a -> b
f CoT w m a
ma
instance Extend w => Bind (CoT w m) where
CoT forall (r :: k). w (a -> m r) -> m r
k >>- :: CoT w m a -> (a -> CoT w m b) -> CoT w m b
>>- a -> CoT w m b
f = (forall (r :: k). w (b -> m r) -> m r) -> CoT w m b
forall k (w :: * -> *) (m :: k -> *) a.
(forall (r :: k). w (a -> m r) -> m r) -> CoT w m a
CoT (w (a -> m r) -> m r
forall (r :: k). w (a -> m r) -> m r
k (w (a -> m r) -> m r)
-> (w (b -> m r) -> w (a -> m r)) -> w (b -> m r) -> m r
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (w (b -> m r) -> a -> m r) -> w (b -> m r) -> w (a -> m r)
forall (w :: * -> *) a b. Extend w => (w a -> b) -> w a -> w b
extended (\w (b -> m r)
wa a
a -> CoT w m b -> w (b -> m r) -> m r
forall (w :: * -> *) k (m :: k -> *) a.
CoT w m a -> forall (r :: k). w (a -> m r) -> m r
runCoT (a -> CoT w m b
f a
a) w (b -> m r)
wa))
instance Comonad w => Applicative (CoT w m) where
pure :: a -> CoT w m a
pure a
a = (forall (r :: k). w (a -> m r) -> m r) -> CoT w m a
forall k (w :: * -> *) (m :: k -> *) a.
(forall (r :: k). w (a -> m r) -> m r) -> CoT w m a
CoT (w (a -> m r) -> a -> m r
forall (w :: * -> *) a. Comonad w => w a -> a
`extract` a
a)
CoT w m (a -> b)
mf <*> :: CoT w m (a -> b) -> CoT w m a -> CoT w m b
<*> CoT w m a
ma = CoT w m (a -> b)
mf CoT w m (a -> b) -> ((a -> b) -> CoT w m b) -> CoT w m b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= \a -> b
f -> (a -> b) -> CoT w m a -> CoT w m b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap a -> b
f CoT w m a
ma
instance Comonad w => Monad (CoT w m) where
return :: a -> CoT w m a
return = a -> CoT w m a
forall (f :: * -> *) a. Applicative f => a -> f a
pure
CoT forall (r :: k). w (a -> m r) -> m r
k >>= :: CoT w m a -> (a -> CoT w m b) -> CoT w m b
>>= a -> CoT w m b
f = (forall (r :: k). w (b -> m r) -> m r) -> CoT w m b
forall k (w :: * -> *) (m :: k -> *) a.
(forall (r :: k). w (a -> m r) -> m r) -> CoT w m a
CoT (w (a -> m r) -> m r
forall (r :: k). w (a -> m r) -> m r
k (w (a -> m r) -> m r)
-> (w (b -> m r) -> w (a -> m r)) -> w (b -> m r) -> m r
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (w (b -> m r) -> a -> m r) -> w (b -> m r) -> w (a -> m r)
forall (w :: * -> *) a b. Comonad w => (w a -> b) -> w a -> w b
extend (\w (b -> m r)
wa a
a -> CoT w m b -> w (b -> m r) -> m r
forall (w :: * -> *) k (m :: k -> *) a.
CoT w m a -> forall (r :: k). w (a -> m r) -> m r
runCoT (a -> CoT w m b
f a
a) w (b -> m r)
wa))
instance (Comonad w, Fail.MonadFail m) => Fail.MonadFail (CoT w m) where
fail :: String -> CoT w m a
fail String
msg = (forall r. w (a -> m r) -> m r) -> CoT w m a
forall k (w :: * -> *) (m :: k -> *) a.
(forall (r :: k). w (a -> m r) -> m r) -> CoT w m a
CoT ((forall r. w (a -> m r) -> m r) -> CoT w m a)
-> (forall r. w (a -> m r) -> m r) -> CoT w m a
forall a b. (a -> b) -> a -> b
$ \ w (a -> m r)
_ -> String -> m r
forall (m :: * -> *) a. MonadFail m => String -> m a
Fail.fail String
msg
instance Comonad w => MonadTrans (CoT w) where
lift :: m a -> CoT w m a
lift m a
m = (forall r. w (a -> m r) -> m r) -> CoT w m a
forall k (w :: * -> *) (m :: k -> *) a.
(forall (r :: k). w (a -> m r) -> m r) -> CoT w m a
CoT (w (m r) -> m r
forall (w :: * -> *) a. Comonad w => w a -> a
extract (w (m r) -> m r)
-> (w (a -> m r) -> w (m r)) -> w (a -> m r) -> m r
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((a -> m r) -> m r) -> w (a -> m r) -> w (m r)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (m a
m m a -> (a -> m r) -> m r
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>=))
instance (Comonad w, MonadIO m) => MonadIO (CoT w m) where
liftIO :: IO a -> CoT w m a
liftIO = m a -> CoT w m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (m a -> CoT w m a) -> (IO a -> m a) -> IO a -> CoT w m a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO
liftCoT0 :: Comonad w => (forall a. w a -> s) -> CoT w m s
liftCoT0 :: (forall a. w a -> s) -> CoT w m s
liftCoT0 forall a. w a -> s
f = (forall (r :: k). w (s -> m r) -> m r) -> CoT w m s
forall k (w :: * -> *) (m :: k -> *) a.
(forall (r :: k). w (a -> m r) -> m r) -> CoT w m a
CoT (w (s -> m r) -> s -> m r
forall (w :: * -> *) a. Comonad w => w a -> a
extract (w (s -> m r) -> s -> m r)
-> (w (s -> m r) -> s) -> w (s -> m r) -> m r
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> w (s -> m r) -> s
forall a. w a -> s
f)
lowerCoT0 :: (Functor w, Monad m) => CoT w m s -> w a -> m s
lowerCoT0 :: CoT w m s -> w a -> m s
lowerCoT0 CoT w m s
m = CoT w m s -> forall r. w (s -> m r) -> m r
forall (w :: * -> *) k (m :: k -> *) a.
CoT w m a -> forall (r :: k). w (a -> m r) -> m r
runCoT CoT w m s
m (w (s -> m s) -> m s) -> (w a -> w (s -> m s)) -> w a -> m s
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (s -> m s
forall (m :: * -> *) a. Monad m => a -> m a
return (s -> m s) -> w a -> w (s -> m s)
forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$)
lowerCo0 :: Functor w => Co w s -> w a -> s
lowerCo0 :: Co w s -> w a -> s
lowerCo0 Co w s
m = Identity s -> s
forall a. Identity a -> a
runIdentity (Identity s -> s) -> (w a -> Identity s) -> w a -> s
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Co w s -> forall r. w (s -> Identity r) -> Identity r
forall (w :: * -> *) k (m :: k -> *) a.
CoT w m a -> forall (r :: k). w (a -> m r) -> m r
runCoT Co w s
m (w (s -> Identity s) -> Identity s)
-> (w a -> w (s -> Identity s)) -> w a -> Identity s
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (s -> Identity s
forall (m :: * -> *) a. Monad m => a -> m a
return (s -> Identity s) -> w a -> w (s -> Identity s)
forall (f :: * -> *) a b. Functor f => a -> f b -> f a
<$)
liftCoT1 :: (forall a. w a -> a) -> CoT w m ()
liftCoT1 :: (forall a. w a -> a) -> CoT w m ()
liftCoT1 forall a. w a -> a
f = (forall (r :: k). w (() -> m r) -> m r) -> CoT w m ()
forall k (w :: * -> *) (m :: k -> *) a.
(forall (r :: k). w (a -> m r) -> m r) -> CoT w m a
CoT (w (() -> m r) -> () -> m r
forall a. w a -> a
`f` ())
lowerCoT1 :: (Functor w, Monad m) => CoT w m () -> w a -> m a
lowerCoT1 :: CoT w m () -> w a -> m a
lowerCoT1 CoT w m ()
m = CoT w m () -> forall r. w (() -> m r) -> m r
forall (w :: * -> *) k (m :: k -> *) a.
CoT w m a -> forall (r :: k). w (a -> m r) -> m r
runCoT CoT w m ()
m (w (() -> m a) -> m a) -> (w a -> w (() -> m a)) -> w a -> m a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> () -> m a) -> w a -> w (() -> m a)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (m a -> () -> m a
forall a b. a -> b -> a
const (m a -> () -> m a) -> (a -> m a) -> a -> () -> m a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. a -> m a
forall (m :: * -> *) a. Monad m => a -> m a
return)
lowerCo1 :: Functor w => Co w () -> w a -> a
lowerCo1 :: Co w () -> w a -> a
lowerCo1 Co w ()
m = Identity a -> a
forall a. Identity a -> a
runIdentity (Identity a -> a) -> (w a -> Identity a) -> w a -> a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Co w () -> forall r. w (() -> Identity r) -> Identity r
forall (w :: * -> *) k (m :: k -> *) a.
CoT w m a -> forall (r :: k). w (a -> m r) -> m r
runCoT Co w ()
m (w (() -> Identity a) -> Identity a)
-> (w a -> w (() -> Identity a)) -> w a -> Identity a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> () -> Identity a) -> w a -> w (() -> Identity a)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (Identity a -> () -> Identity a
forall a b. a -> b -> a
const (Identity a -> () -> Identity a)
-> (a -> Identity a) -> a -> () -> Identity a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. a -> Identity a
forall (m :: * -> *) a. Monad m => a -> m a
return)
posW :: ComonadStore s w => CoT w m s
posW :: CoT w m s
posW = (forall a. w a -> s) -> CoT w m s
forall k (w :: * -> *) s (m :: k -> *).
Comonad w =>
(forall a. w a -> s) -> CoT w m s
liftCoT0 forall a. w a -> s
forall s (w :: * -> *) a. ComonadStore s w => w a -> s
pos
peekW :: ComonadStore s w => s -> CoT w m ()
peekW :: s -> CoT w m ()
peekW s
s = (forall a. w a -> a) -> CoT w m ()
forall k (w :: * -> *) (m :: k -> *).
(forall a. w a -> a) -> CoT w m ()
liftCoT1 (s -> w a -> a
forall s (w :: * -> *) a. ComonadStore s w => s -> w a -> a
peek s
s)
peeksW :: ComonadStore s w => (s -> s) -> CoT w m ()
peeksW :: (s -> s) -> CoT w m ()
peeksW s -> s
f = (forall a. w a -> a) -> CoT w m ()
forall k (w :: * -> *) (m :: k -> *).
(forall a. w a -> a) -> CoT w m ()
liftCoT1 ((s -> s) -> w a -> a
forall s (w :: * -> *) a. ComonadStore s w => (s -> s) -> w a -> a
peeks s -> s
f)
askW :: ComonadEnv e w => CoT w m e
askW :: CoT w m e
askW = (forall a. w a -> e) -> CoT w m e
forall k (w :: * -> *) s (m :: k -> *).
Comonad w =>
(forall a. w a -> s) -> CoT w m s
liftCoT0 (w a -> e
forall e (w :: * -> *) a. ComonadEnv e w => w a -> e
Env.ask)
asksW :: ComonadEnv e w => (e -> a) -> CoT w m a
asksW :: (e -> a) -> CoT w m a
asksW e -> a
f = (forall a. w a -> a) -> CoT w m a
forall k (w :: * -> *) s (m :: k -> *).
Comonad w =>
(forall a. w a -> s) -> CoT w m s
liftCoT0 ((e -> a) -> w a -> a
forall e (w :: * -> *) e' a.
ComonadEnv e w =>
(e -> e') -> w a -> e'
Env.asks e -> a
f)
traceW :: ComonadTraced e w => e -> CoT w m ()
traceW :: e -> CoT w m ()
traceW e
e = (forall a. w a -> a) -> CoT w m ()
forall k (w :: * -> *) (m :: k -> *).
(forall a. w a -> a) -> CoT w m ()
liftCoT1 (e -> w a -> a
forall m (w :: * -> *) a. ComonadTraced m w => m -> w a -> a
Traced.trace e
e)
liftCoT0M :: (Comonad w, Monad m) => (forall a. w a -> m s) -> CoT w m s
liftCoT0M :: (forall a. w a -> m s) -> CoT w m s
liftCoT0M forall a. w a -> m s
f = (forall r. w (s -> m r) -> m r) -> CoT w m s
forall k (w :: * -> *) (m :: k -> *) a.
(forall (r :: k). w (a -> m r) -> m r) -> CoT w m a
CoT (\w (s -> m r)
wa -> w (s -> m r) -> s -> m r
forall (w :: * -> *) a. Comonad w => w a -> a
extract w (s -> m r)
wa (s -> m r) -> m s -> m r
forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< w (s -> m r) -> m s
forall a. w a -> m s
f w (s -> m r)
wa)
liftCoT1M :: Monad m => (forall a. w a -> m a) -> CoT w m ()
liftCoT1M :: (forall a. w a -> m a) -> CoT w m ()
liftCoT1M forall a. w a -> m a
f = (forall r. w (() -> m r) -> m r) -> CoT w m ()
forall k (w :: * -> *) (m :: k -> *) a.
(forall (r :: k). w (a -> m r) -> m r) -> CoT w m a
CoT (((() -> m r) -> () -> m r
forall a b. (a -> b) -> a -> b
$ ()) ((() -> m r) -> m r)
-> (w (() -> m r) -> m (() -> m r)) -> w (() -> m r) -> m r
forall (m :: * -> *) b c a.
Monad m =>
(b -> m c) -> (a -> m b) -> a -> m c
<=< w (() -> m r) -> m (() -> m r)
forall a. w a -> m a
f)
diter :: Functor f => a -> (a -> f a) -> Density (Cofree f) a
diter :: a -> (a -> f a) -> Density (Cofree f) a
diter a
x a -> f a
y = Cofree f a -> Density (Cofree f) a
forall (w :: * -> *) a. Comonad w => w a -> Density w a
liftDensity (Cofree f a -> Density (Cofree f) a)
-> (a -> Cofree f a) -> a -> Density (Cofree f) a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> f a) -> a -> Cofree f a
forall (f :: * -> *) a. Functor f => (a -> f a) -> a -> Cofree f a
coiter a -> f a
y (a -> Density (Cofree f) a) -> a -> Density (Cofree f) a
forall a b. (a -> b) -> a -> b
$ a
x
dctrlM :: Monad m => (forall a. w a -> m (w a)) -> CoT (Density w) m ()
dctrlM :: (forall (a :: k). w a -> m (w a)) -> CoT (Density w) m ()
dctrlM forall (a :: k). w a -> m (w a)
k = (forall a. Density w a -> m a) -> CoT (Density w) m ()
forall (m :: * -> *) (w :: * -> *).
Monad m =>
(forall a. w a -> m a) -> CoT w m ()
liftCoT1M (\(Density w a) -> (w b -> a) -> m (w b) -> m a
forall (m :: * -> *) a1 r. Monad m => (a1 -> r) -> m a1 -> m r
liftM w b -> a
w (w b -> m (w b)
forall (a :: k). w a -> m (w a)
k w b
a))
instance (Comonad w, MonadReader e m) => MonadReader e (CoT w m) where
ask :: CoT w m e
ask = m e -> CoT w m e
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift m e
forall r (m :: * -> *). MonadReader r m => m r
Reader.ask
local :: (e -> e) -> CoT w m a -> CoT w m a
local e -> e
f CoT w m a
m = (forall r. w (a -> m r) -> m r) -> CoT w m a
forall k (w :: * -> *) (m :: k -> *) a.
(forall (r :: k). w (a -> m r) -> m r) -> CoT w m a
CoT ((e -> e) -> m r -> m r
forall r (m :: * -> *) a. MonadReader r m => (r -> r) -> m a -> m a
local e -> e
f (m r -> m r) -> (w (a -> m r) -> m r) -> w (a -> m r) -> m r
forall b c a. (b -> c) -> (a -> b) -> a -> c
. CoT w m a -> forall r. w (a -> m r) -> m r
forall (w :: * -> *) k (m :: k -> *) a.
CoT w m a -> forall (r :: k). w (a -> m r) -> m r
runCoT CoT w m a
m)
instance (Comonad w, MonadState s m) => MonadState s (CoT w m) where
get :: CoT w m s
get = m s -> CoT w m s
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift m s
forall s (m :: * -> *). MonadState s m => m s
get
put :: s -> CoT w m ()
put = m () -> CoT w m ()
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (m () -> CoT w m ()) -> (s -> m ()) -> s -> CoT w m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. s -> m ()
forall s (m :: * -> *). MonadState s m => s -> m ()
put
instance (Comonad w, MonadWriter e m) => MonadWriter e (CoT w m) where
tell :: e -> CoT w m ()
tell = m () -> CoT w m ()
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (m () -> CoT w m ()) -> (e -> m ()) -> e -> CoT w m ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. e -> m ()
forall w (m :: * -> *). MonadWriter w m => w -> m ()
tell
pass :: CoT w m (a, e -> e) -> CoT w m a
pass CoT w m (a, e -> e)
m = (forall r. w (a -> m r) -> m r) -> CoT w m a
forall k (w :: * -> *) (m :: k -> *) a.
(forall (r :: k). w (a -> m r) -> m r) -> CoT w m a
CoT (m (r, e -> e) -> m r
forall w (m :: * -> *) a. MonadWriter w m => m (a, w -> w) -> m a
pass (m (r, e -> e) -> m r)
-> (w (a -> m r) -> m (r, e -> e)) -> w (a -> m r) -> m r
forall b c a. (b -> c) -> (a -> b) -> a -> c
. CoT w m (a, e -> e) -> forall r. w ((a, e -> e) -> m r) -> m r
forall (w :: * -> *) k (m :: k -> *) a.
CoT w m a -> forall (r :: k). w (a -> m r) -> m r
runCoT CoT w m (a, e -> e)
m (w ((a, e -> e) -> m (r, e -> e)) -> m (r, e -> e))
-> (w (a -> m r) -> w ((a, e -> e) -> m (r, e -> e)))
-> w (a -> m r)
-> m (r, e -> e)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((a -> m r) -> (a, e -> e) -> m (r, e -> e))
-> w (a -> m r) -> w ((a, e -> e) -> m (r, e -> e))
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (a -> m r) -> (a, e -> e) -> m (r, e -> e)
forall (m :: * -> *) t a b.
Monad m =>
(t -> m a) -> (t, b) -> m (a, b)
aug) where
aug :: (t -> m a) -> (t, b) -> m (a, b)
aug t -> m a
f (t
a,b
e) = (a -> (a, b)) -> m a -> m (a, b)
forall (m :: * -> *) a1 r. Monad m => (a1 -> r) -> m a1 -> m r
liftM (\a
r -> (a
r,b
e)) (t -> m a
f t
a)
listen :: CoT w m a -> CoT w m (a, e)
listen = String -> CoT w m a -> CoT w m (a, e)
forall a. HasCallStack => String -> a
error String
"Control.Monad.Co.listen: TODO"
instance (Comonad w, MonadError e m) => MonadError e (CoT w m) where
throwError :: e -> CoT w m a
throwError = m a -> CoT w m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (m a -> CoT w m a) -> (e -> m a) -> e -> CoT w m a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. e -> m a
forall e (m :: * -> *) a. MonadError e m => e -> m a
throwError
catchError :: CoT w m a -> (e -> CoT w m a) -> CoT w m a
catchError = String -> CoT w m a -> (e -> CoT w m a) -> CoT w m a
forall a. HasCallStack => String -> a
error String
"Control.Monad.Co.catchError: TODO"