Control.Monad.Ether

This module provides convenience exports of all tagged monad classes from Ether.

Documentation

module Control.Monad

module Control.Monad.Fix

module Control.Monad.Ether.Reader

module Control.Monad.Ether.Writer

module Control.Monad.Ether.State

module Control.Monad.Ether.Except

module Control.Ether.Wrapped

ethereal :: String -> String -> DecsQ

Creates a tag and a value-level proxy for it.

ethereal "Foo" "foo" generates the following code:

data Foo
foo :: Proxy Foo
foo = Proxy