n2o-0.11.1: Abstract Protocol Loop

Copyright(c) Marat Khafizov 2018
LicenseBSD 3-Clause
Maintainerxafizoff@gmail.com
Stabilityexperimental
Portabilitynot portable
Safe HaskellSafe
LanguageHaskell2010

Network.N2O.Core

Description

Core functions

Synopsis

Documentation

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

Lift underlying monad to the N2O monad

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

Get current state (env)

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

Put data to the local state

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

Get data from the local state

mkCx :: Context f a Source #

Context constructor

mkReq :: Req Source #

Req constructor

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

N2O protocol loop