Control.Monad.Views

Documentation

class MonadMorphism g where

Methods

idv :: Monad m => m `g` m

hcomp :: (Monad l, Monad m, Monad n) => (m `g` n) -> (l `g` m) -> l `g` n

hmap :: (Monad m, Monad n, MonadTrans t) => (m `g` n) -> t m `g` t n

from :: (Monad m, Monad n) => (n `g` m) -> n a -> m a

Instances

MonadMorphism :><:

MonadMorphism :->

htmap :: (Monad (t1 n), Monad (t2 n), Monad m, Monad n, Monad (t1 m), MonadTrans t1, MonadMorphism g) => (forall m. Monad m => t1 m `g` t2 m) -> (m `g` n) -> t1 m `g` t2 n

newtype n :-> m

Constructors

Uni (forall a. n a -> m a)

Instances

View :->

MonadMorphism :->

liftv :: (MonadTrans t, Monad m) => m :-> t m

r1 :: (MonadTrans t, Monad m, MonadState s (t m)) => ReaderT s m :-> t m

ra :: (Monad m, MonadState r (t m), MonadTrans t) => :-> (ReaderT r m) (t m)

data n :><: m

Constructors

Bi

Fields

bifrom :: forall a. n a -> m a

bito :: forall a. m a -> n a

Instances

View :><:

MonadMorphism :><:

to :: (Monad n, Monad m) => (n :><: m) -> m a -> n a

inverse :: (Monad n, Monad m) => (n :><: m) -> m :><: n

class MonadMorphism g => View g where

Methods

view :: (forall a. n a -> m a) -> (forall a. m a -> n a) -> n `g` m

Instances

View :><:

View :->

stateIso :: (Monad m, View g) => (s2 -> s1) -> (s1 -> s2) -> StateT s2 m `g` StateT s1 m

newtype MonadStateReaderT s m a

Constructors

MonadStateReaderT

Fields

runMonadStateReaderT :: m a

Instances

MonadWriter w m => MonadWriter w (MonadStateReaderT s m)

MonadState s m => MonadReader s (MonadStateReaderT s m)

MonadTrans (MonadStateReaderT s)

Monad m => Monad (MonadStateReaderT s m)

r2 :: (MonadState s m, View g) => MonadStateReaderT s m `g` m

i :: (Monad m, View g) => m `g` m

o :: (MonadTrans t1, MonadTrans t2, Monad m, View g) => (t1 :> t2) m `g` t1 (t2 m)

vcomp :: (Monad (t m), Monad (t n1), Monad n, Monad m, Monad n1, MonadTrans t, MonadMorphism g) => g (t n1) n -> g m n1 -> g (t m) n