typed-protocols-examples

Safe Haskell	None
Language	Haskell2010

Network.TypedProtocol.Stateful.ReqResp.Examples

Synopsis

fileRPCServer :: Monad m => (forall resp. FileAPI resp -> m resp) -> ReqRespServer FileAPI m ()
simpleFileAPI :: Monad m => FileAPI resp -> m resp
simpleFileRPCServer :: forall (m :: Type -> Type). Monad m => ReqRespServer FileAPI m ()

Documentation

fileRPCServer Source #

Arguments

:: Monad m
=> (forall resp. FileAPI resp -> m resp)	execute `FileAPI` locally
-> ReqRespServer FileAPI m ()

simpleFileAPI :: Monad m => FileAPI resp -> m resp Source #

Example of a file API

simpleFileRPCServer :: forall (m :: Type -> Type). Monad m => ReqRespServer FileAPI m () Source #