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

fmapN :: Int -> ExpQ

Compose fmap n times.

$(fmapN 5) = fmap.fmap.fmap.fmap.fmap

deepN :: Int -> ExpQ -> ExpQ

fmap a function n levels deep.

$(deepN 3 [| f |]) = $(fmapN 3) f ($(fmapN 2) f ($(fmapN 1) f id))