Control.Remote.Applicative

The remote applicative

data RemoteApplicative c p a

RemoteApplicative is our applicative that can be executed in a remote location.

Instances

Functor (RemoteApplicative c p)

Applicative (RemoteApplicative c p)

The primitive lift functions

command :: c -> RemoteApplicative c p ()

promote a command into the applicative

procedure :: p a -> RemoteApplicative c p a

promote a command into the applicative

The run functions

class RunApplicative f where

RunApplicative is the overloading for choosing the appropriate bundling strategy for applicative.

Methods

runApplicative :: Monad m => (f c p ~> m) -> RemoteApplicative c p ~> m

This overloaded function chooses the appropriate bundling strategy based on the type of the handler your provide.

Instances

RunApplicative WeakPacket

RunApplicative StrongPacket

RunApplicative ApplicativePacket

runWeakApplicative :: forall m c p. Applicative m => (WeakPacket c p ~> m) -> RemoteApplicative c p ~> m

The weak remote applicative, that sends commands and procedures piecemeal.

runStrongApplicative :: forall m c p. Monad m => (StrongPacket c p ~> m) -> RemoteApplicative c p ~> m

The strong remote applicative, that bundles together commands.

runApplicativeApplicative :: (ApplicativePacket c p ~> m) -> RemoteApplicative c p ~> m

The applicative remote applicative, that is the identity function.