Distrib.Butter.Lib.Protocol

Documentation

data Result p

Constructors

Reply p (State p)

NoReply (State p)

Terminate

Restart

class (ToJSON p, FromJSON p) => Protocol p where

Minimal complete definition

setup, handle

Associated Types

data State p

type Context p :: * -> *

Methods

setup :: (MonadIO (Context p), ForkableMonad (Context p)) => p -> Butter (Context p) (State p)

handle :: (MonadIO (Context p), ForkableMonad (Context p)) => p -> State p -> Butter (Context p) (Result p)

start :: (MonadIO (Context p), ForkableMonad (Context p), Protocol p) => p -> Butter (Context p) ProcessID

call :: (MonadIO (Context p), ForkableMonad (Context p), Protocol p) => ProcessID -> p -> Butter (Context p) p

cast :: (MonadIO (Context p), ForkableMonad (Context p), Protocol p) => ProcessID -> p -> Butter (Context p) ()