Documentation

canDoGenerics :: [DataCon] -> BoolSource

mkTyConGenericBinds :: TyCon -> LHsBinds RdrNameSource

mkGenericRhs :: Id -> TyVar -> TyCon -> LHsExpr RdrNameSource

validGenericInstanceType :: Type -> BoolSource

validGenericMethodType :: Type -> BoolSource