Documentation

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

tcAddImplicits :: [TyThing] -> TcM TcGblEnvSource

kcTyDefn :: HsTyDefn Name -> TcKind -> 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 -> FamInstDecl Name -> TcM ([TyVar], [Type], Type)Source

tcFamTyPats :: TyCon -> HsWithBndrs [LHsType Name] -> (TcKind -> TcM ()) -> ([TKVar] -> [TcType] -> Kind -> TcM a) -> TcM aSource

tcAddFamInstCtxt :: FamInstDecl Name -> TcM a -> TcM aSource

wrongKindOfFamily :: TyCon -> SDocSource

badATErr :: Name -> Name -> SDocSource

wrongATArgErr :: Type -> Type -> SDocSource