Control.Concurrent.Session.SMonad

Super magic Monads.

Documentation

newtype SChain m x y a

Constructors

SChain

Fields

runSChain :: x -> m (a, y)

Instances

MonadIO m => SMonadIO (SChain m)

Monad m => SMonad (SChain m)

Monad m => Monad (SChain m x x)

class SMonad m where

An extension of the typical Monad such that you track additional from and to parameters. Thus you can think of this like State where the type of the State varies.

Methods

(~>>) :: m x y a -> m y z b -> m x z b

(~>>=) :: m x y a -> (a -> m y z b) -> m x z b

sreturn :: a -> m x x a

Instances

Monad m => SMonad (SChain m)

SMonad m => SMonad (SStateT s m)

(Dual prog prog', ProgramToMVarsOutgoing prog progOut, ProgramToMVarsOutgoing prog' progIn) => SMonad (SessionChain prog progOut progIn)

newtype SStateT s m x y a

Constructors

SStateT

Fields

runSStateT :: s -> m x y (a, s)

Instances

SMonad m => SMonadState s (SStateT s m)

SMonadTrans (SStateT s)

SMonad m => SMonad (SStateT s m)

class SMonadTrans t where

Methods

slift :: SMonad m => m x y a -> t m x y a

Instances

SMonadTrans (SStateT s)

class SMonad m => SMonadIO m where

Methods

sliftIO :: IO a -> m x x a

Instances

MonadIO m => SMonadIO (SChain m)

(Dual prog prog', ProgramToMVarsOutgoing prog progOut, ProgramToMVarsOutgoing prog' progIn) => SMonadIO (SessionChain prog progOut progIn)

class SMonad m => SMonadState s m | m -> s where

Methods

sget :: m x x s

sput :: s -> m x x ()

Instances

SMonad m => SMonadState s (SStateT s m)