remote-monad: An parametrizable Remote Monad, and parametrizable Applicative Functor

An implementation of the concepts behind Remote Monads. There is support for various bundling strategies.

{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}

module Main where

import Control.Remote.Monad
import Control.Remote.Monad.Packet.Weak

data Command :: * where
  Say :: String -> Command

data Procedure :: * -> * where
  Temperature :: Procedure Int

say :: String -> RemoteMonad Command Procedure ()
say s = command (Say s)

temperature :: RemoteMonad Command Procedure Int
temperature = procedure Temperature

runWP :: WeakPacket Command Procedure a -> IO a
runWP (Command (Say s))  = print s
runWP (Procedure Temperature) = return 42

send :: RemoteMonad Command Procedure a -> IO a
send m = runMonad runWP m

main = send $ do
  say "Howdy doodly do"
  say "How about a muffin?"
  t <- temperature
  say (show t ++ "F")

• Control
  • Remote
    • Control.Remote.Applicative
    • Control.Remote.Monad
      • Packet
        • Control.Remote.Monad.Packet.Applicative
        • Control.Remote.Monad.Packet.Strong
        • Control.Remote.Monad.Packet.Transport
        • Control.Remote.Monad.Packet.Weak