Documentation

tcHsSigType :: UserTypeCtxt -> LHsType Name -> TcM TypeSource

tcHsSigTypeNC :: UserTypeCtxt -> LHsType Name -> TcM TypeSource

tcHsDeriv :: HsType Name -> TcM ([TyVar], Class, [Type])Source

tcHsVectInst :: LHsType Name -> TcM (Class, [Type])Source

tcHsInstHead :: UserTypeCtxt -> LHsType Name -> TcM ([TyVar], ThetaType, Class, [Type])Source

data UserTypeCtxtSource

kcLookupKind :: Name -> TcM KindSource

kcTyClTyVars :: Name -> LHsTyVarBndrs Name -> TcM a -> TcM aSource

tcTyClTyVars :: Name -> LHsTyVarBndrs Name -> ([TyVar] -> Kind -> TcM a) -> TcM aSource

tcHsConArgType :: NewOrData -> LHsType Name -> TcM TypeSource

tcDataKindSig :: Kind -> TcM [TyVar]Source

tcClassSigType :: LHsType Name -> TcM TypeSource

data KindCheckingStrategySource

kcStrategy :: TyClDecl Name -> KindCheckingStrategySource

kcStrategyFamDecl :: FamilyDecl Name -> KindCheckingStrategySource

kcHsTyVarBndrs :: KindCheckingStrategy -> LHsTyVarBndrs Name -> TcM (Kind, r) -> TcM (Kind, r)Source

tcHsTyVarBndrs :: LHsTyVarBndrs Name -> ([TcTyVar] -> TcM r) -> TcM rSource

tcHsLiftedType :: LHsType Name -> TcM TcTypeSource

tcHsOpenType :: LHsType Name -> TcM TcTypeSource

tcLHsType :: LHsType Name -> TcM (TcType, TcKind)Source

tcCheckLHsType :: LHsType Name -> Kind -> TcM TypeSource

tcHsContext :: LHsContext Name -> TcM [PredType]Source

tcInferApps :: Outputable a => a -> TcKind -> [LHsType Name] -> TcM ([TcType], TcKind)Source

tcHsArgTys :: SDoc -> [LHsType Name] -> [Kind] -> TcM [TcType]Source

kindGeneralize :: TyVarSet -> TcM [KindVar]Source

checkKind :: TcKind -> TcKind -> TcM ()Source

tcLHsKind :: LHsKind Name -> TcM KindSource

tcHsPatSigType :: UserTypeCtxt -> HsWithBndrs (LHsType Name) -> TcM (Type, [(Name, TcTyVar)])Source

tcPatSig :: UserTypeCtxt -> HsWithBndrs (LHsType Name) -> TcSigmaType -> TcM (TcType, [(Name, TcTyVar)], HsWrapper)Source