Control.Remote.Monad.Packet.Applicative

The remote applicative

data ApplicativePacket c p a where

A Remote Applicative, that can encode both commands and procedures, bundled together.

Constructors

Command :: ApplicativePacket c p b -> c -> ApplicativePacket c p b

Procedure :: ApplicativePacket c p (a -> b) -> p a -> ApplicativePacket c p b

Pure :: a -> ApplicativePacket c p a

Instances

Functor (ApplicativePacket c p)

Methods

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

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

Applicative (ApplicativePacket c p)

Methods

pure :: a -> ApplicativePacket c p a

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

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

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

Utility

superCommand :: ApplicativePacket c p a -> Maybe a

This simulates a ApplicativePacket, to see if it only contains commands, and if so, returns the static result. The commands still need executed. The term super-command is a play on Hughes' super-combinator terminology.