Copyright	(c) Michal Konecny
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Utils.TH.DeclForTypes

Description

Template Haskell utilities

Synopsis

declForTypes :: [Q Type] -> (Q Type -> Q [Dec]) -> Q [Dec]

Documentation

declForTypes :: [Q Type] -> (Q Type -> Q [Dec]) -> Q [Dec] Source #

A toy example of use:

class HasTT t where
  type TT t
  getTT :: t -> TT t

$(declForTypes
  [[t| Integer |], [t| Int |], [t| Rational |]]
  ( t -> [d|
    instance HasTT $t where
      type TT $t = ()
      getTT _ = ()
  |]))