Control.Ether.TH

Template Haskell utilities.

Documentation

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