n2o-0.11.1: Abstract Protocol Loop

Copyright	(c) Marat Khafizov 2018
License	BSD 3-Clause
Maintainer	xafizoff@gmail.com
Stability	experimental
Portability	not portable
Safe Haskell	Safe
Language	Haskell2010

Network.N2O.Core

Description

Core functions

Synopsis

lift :: m a -> N2OT state m a
ask :: Monad m => N2OT state m state
put :: Binary bin => ByteString -> bin -> N2O f a ()
get :: Binary bin => ByteString -> N2O f a (Maybe bin)
mkCx :: Context f a
mkReq :: Req
protoRun :: f a -> [Proto f a] -> N2O f a (Result (f a))

Documentation

lift :: m a -> N2OT state m a #

Lift underlying monad to the N2O monad

ask :: Monad m => N2OT state m state #

Get current state (env)

put :: Binary bin => ByteString -> bin -> N2O f a () #

Put data to the local state

get :: Binary bin => ByteString -> N2O f a (Maybe bin) #

Get data from the local state

mkCx :: Context f a #

Context constructor

Req constructor

protoRun :: f a -> [Proto f a] -> N2O f a (Result (f a)) #

N2O protocol loop