Network.N2O.Core

Core functions

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 :: forall (f :: Type -> Type) a. Context f a

Context constructor

mkReq :: Req

Req constructor

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

N2O protocol loop