| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Rank2.TH
Description
This module exports the templates for automatic instance deriving of Rank2 type classes. The most common way to use it would be
import qualified Rank2.TH data MyDataType f = ... $(Rank2.TH.deriveAll ''MyDataType)
or, if you're picky, you can invoke only deriveFunctor and whichever other instances you need instead.
Synopsis
- deriveAll :: Name -> Q [Dec]
- deriveFunctor :: Name -> Q [Dec]
- deriveApply :: Name -> Q [Dec]
- unsafeDeriveApply :: Name -> Q [Dec]
- deriveApplicative :: Name -> Q [Dec]
- deriveFoldable :: Name -> Q [Dec]
- deriveTraversable :: Name -> Q [Dec]
- deriveDistributive :: Name -> Q [Dec]
- deriveDistributiveTraversable :: Name -> Q [Dec]
- deriveLogistic :: Name -> Q [Dec]