Control.Remote.Applicative

The remote applicative

data RemoteApplicative c p a

Instances

Functor (RemoteApplicative c p)

Methods

fmap :: (a -> b) -> RemoteApplicative c p a -> RemoteApplicative c p b

(<$) :: a -> RemoteApplicative c p b -> RemoteApplicative c p a

Applicative (RemoteApplicative c p)

Methods

pure :: a -> RemoteApplicative c p a

(<*>) :: RemoteApplicative c p (a -> b) -> RemoteApplicative c p a -> RemoteApplicative c p b

(*>) :: RemoteApplicative c p a -> RemoteApplicative c p b -> RemoteApplicative c p b

(<*) :: RemoteApplicative c p a -> RemoteApplicative c p b -> RemoteApplicative c p a

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

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

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

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.