sessions-2008.5.12: Session Types for Haskell Source code Contents Index

Control.Concurrent.Session.Base.SMonad

Description

Super magic Monads.

Synopsis

newtype SChain m x y a = SChain { runSChain :: x -> m (a, y) } class SMonad m where (~>>) :: 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 newtype SStateT s m x y a = SStateT { runSStateT :: s -> m x y (a, s) } class SMonadTrans t where slift :: SMonad m => m x y a -> t m x y a class SMonad m => SMonadIO m where sliftIO :: IO a -> m x x a class SMonad m => SMonadState s m | m -> s where sget :: m x x s sput :: s -> m x x () ssequence_ :: SMonad m => [m x x a] -> m x x () ssequence :: SMonad m => [m x x a] -> m x x [a] sjoin :: SMonad m => m x y (m y z b) -> m x z b smapM :: SMonad m => (a -> m x x b) -> [a] -> m x x [b] smapM_ :: SMonad m => (a -> m x x b) -> [a] -> m x x ()

Documentation

newtype SChain m x y a Source

Constructors SChain 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 Source

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 Source (~>>=) :: m x y a -> (a -> m y z b) -> m x z b Source sreturn :: a -> m x x a Source Instances SMonad SessionType Monad m => SMonad (SChain m) SMonad (InterleavedChain internalPid) SMonad m => SMonad (SStateT s m) SMonad (SessionChain prog prog')

newtype SStateT s m x y a Source

Constructors SStateT 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 Source

Methods slift :: SMonad m => m x y a -> t m x y a Source Instances SMonadTrans (SStateT s)

class SMonad m => SMonadIO m where Source

Methods sliftIO :: IO a -> m x x a Source Instances MonadIO m => SMonadIO (SChain m) SMonadIO (InterleavedChain internalPid) SMonadIO (SessionChain prog prog')

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

Methods sget :: m x x s Source sput :: s -> m x x () Source Instances SMonad m => SMonadState s (SStateT s m)

ssequence_ :: SMonad m => [m x x a] -> m x x () Source

ssequence :: SMonad m => [m x x a] -> m x x [a] Source

sjoin :: SMonad m => m x y (m y z b) -> m x z b Source

smapM :: SMonad m => (a -> m x x b) -> [a] -> m x x [b] Source

smapM_ :: SMonad m => (a -> m x x b) -> [a] -> m x x () Source

Produced by Haddock version 2.4.2