Control.Distributed.Closure.TH

Utility Template Haskell macros.

Documentation

cstatic :: Name -> ExpQ

$(cstatic 'foo) is an abbreviation for closure (static foo).

cstaticDict :: Name -> ExpQ

cdict :: ExpQ

Abbreviation for closure (static Dict). Example usage:

foo :: Closure (Dict (Num a)) -> ...

foo $cdict ...

cdictFrom :: Natural -> ExpQ

withStatic :: DecsQ -> DecsQ

Auto-generates the Static instances corresponding to the given class instances. Example:

data T a = T a

withStatic [d| instance Show a => Show (T a) where ... |]
======>
instance Show a => Show (T a) where ...
instance (Static (Show a), Typeable a) => Static (Show (T a)) where
  closureDict = closure (static (Dict -> Dict)) cap closureDict

You will probably want to enable FlexibleContexts and ScopedTypeVariables in modules that use withStatic. withStatic can also handle non-user generated instances like Typeable instances: just write instance Typeable T.