Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
canDoGenerics :: TyCon -> Validity #
canDoGenerics1 :: TyCon -> Validity #
data GenericKind #
gen_Generic_binds :: GenericKind -> TyCon -> [Type] -> TcM (LHsBinds RdrName, FamInst) #
get_gen1_constrained_tys :: TyVar -> Type -> [Type] #