Control.Monad.Trans.Crtn.Object

coroutine that can be interpreted as an object

Documentation

data Arg s

input of method of an object with signature s

Constructors

forall i o . Arg (s i o) i

data Res s

output of methdo of an object with signature s

Constructors

forall i o . Res (s i o) o

Ign

type SObjT s m = SrvT (Arg s) (Res s) m

Server object

type CObjT s = CliT (Arg s) (Res s)

Client object

type SObjBT s m = CrtnT (Res s) (Arg s) m

Server object base coroutine

type EStT s m = EitherT CrtnErr (StateT s m)

convenient error state monad for object

query :: forall m s r. Monad m => CObjT s m r -> EStT (SObjT s m ()) m r