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

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.


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

{-# LANGUAGE KindSignatures #-}

module Main where

import Control.Natural (nat, (#))
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 = run $ runMonad $ nat runWP

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


Versions0.1.0.0,, 0.2, 0.2
Change logNone available
Dependenciesbase (>=4.7 && <5), natural-transformation (>=0.3.1 && <0.4), transformers (>=0.4 && <0.6) [details]
Copyright(c) 2016 The University of Kansas
AuthorAndy Gill, Justin Dawson
Source repositoryhead: git clone git://
UploadedMon Feb 8 22:08:29 UTC 2016 by AndyGill




Maintainers' corner

For package maintainers and hackage trustees