TcGenGenerics

ghc-7.10.3: The GHC API

Safe Haskell | None
Language | Haskell2010

TcGenGenerics

# Documentation

canDoGenerics :: TyCon -> [Type] -> Validity

canDoGenerics1 :: TyCon -> [Type] -> Validity

data GenericKind

Constructors

Gen0 |
Gen1 |

data MetaTyCons

Instances

Outputable MetaTyCons |

genGenericMetaTyCons :: TyCon -> Module -> TcM (MetaTyCons, BagDerivStuff)

gen_Generic_binds :: GenericKind -> TyCon -> MetaTyCons -> Module -> TcM (LHsBinds RdrName, FamInst)

get_gen1_constrained_tys :: TyVar -> Type -> [Type]