Safe Haskell | None |
---|
Documentation
tcTyAndClassDecls :: ModDetails -> [TyClGroup Name] -> TcM TcGblEnvSource
tcAddImplicits :: [TyThing] -> TcM TcGblEnvSource
tcConDecls :: NewOrData -> Bool -> TyCon -> ([TyVar], Type) -> [LConDecl Name] -> TcM [DataCon]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
wrongATArgErr :: Type -> Type -> SDocSource