Documentation

tcTyAndClassDecls :: ModDetails -> [TyClGroup Name] -> TcM TcGblEnvSource

tcAddImplicits :: [TyThing] -> TcM TcGblEnvSource

kcDataDecl :: TyClDecl Name -> TcM ()Source

tcConDecls :: NewOrData -> Bool -> TyCon -> ([TyVar], Type) -> [LConDecl Name] -> TcM [DataCon]Source

dataDeclChecks :: Name -> NewOrData -> ThetaType -> [LConDecl Name] -> TcM ()Source

checkValidTyCon :: TyCon -> TcM ()Source

tcSynFamInstDecl :: TyCon -> TyClDecl Name -> TcM ([TyVar], [Type], Type)Source

tcFamTyPats :: TyCon -> [LHsTyVarBndr Name] -> [LHsType Name] -> (TcKind -> TcM any) -> ([KindVar] -> [TcKind] -> Kind -> TcM a) -> TcM aSource

wrongKindOfFamily :: TyCon -> SDocSource

badATErr :: Name -> Name -> SDocSource

wrongATArgErr :: Type -> Type -> SDocSource