Home
last modified time | relevance | path

Searched refs:UserTypeCtxt (Results 1 – 15 of 15) sorted by relevance

/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/
H A DTcValidity.hs9 Rank, UserTypeCtxt(..), checkValidType, checkValidMonoType,
206 checkAmbiguity :: UserTypeCtxt -> Type -> TcM ()
231 wantAmbiguityCheck :: UserTypeCtxt -> Bool
325 checkValidType :: UserTypeCtxt -> Type -> TcM ()
410 checkTySynRhs :: UserTypeCtxt -> TcType -> TcM ()
470 allConstraintsAllowed :: UserTypeCtxt -> Bool
493 vdqAllowed :: UserTypeCtxt -> Bool
639 , ve_ctxt :: UserTypeCtxt
857 ctxt' :: UserTypeCtxt
1105 -> DynFlags -> UserTypeCtxt
[all …]
H A DTcOrigin.hs12 UserTypeCtxt(..), pprUserTypeCtxt, isSigMaybe,
59 data UserTypeCtxt type
128 pprUserTypeCtxt :: UserTypeCtxt -> SDoc
158 isSigMaybe :: UserTypeCtxt -> Maybe Name
181 UserTypeCtxt -- What sort of signature
186 | SigTypeSkol UserTypeCtxt
273 pprSigSkolInfo :: UserTypeCtxt -> TcType -> SDoc
348 | SpecPragOrigin UserTypeCtxt -- Specialisation pragma for
H A DTcUnify.hs551 tcSubTypeET :: CtOrigin -> UserTypeCtxt
576 -> UserTypeCtxt -- ^ of the expected type
616 tcSubType_NC :: UserTypeCtxt -> TcSigmaType -> TcSigmaType -> TcM HsWrapper
628 tcSubTypeDS :: CtOrigin -> UserTypeCtxt -> TcSigmaType -> ExpRhoType -> TcM HsWrapper
637 -> UserTypeCtxt
654 -> UserTypeCtxt -> TcSigmaType -> TcSigmaType -> TcM HsWrapper
732 -> UserTypeCtxt -> TcSigmaType -> TcRhoType -> TcM HsWrapper
1119 tcSkolemise :: UserTypeCtxt -> TcSigmaType
1164 tcSkolemiseET :: UserTypeCtxt -> ExpSigmaType
H A DTcHsType.hs25 UserTypeCtxt(..),
164 funsSigCtxt :: [Located Name] -> UserTypeCtxt
170 addSigCtxt :: UserTypeCtxt -> LHsType GhcRn -> TcM a -> TcM a
176 pprSigCtxt :: UserTypeCtxt -> LHsType GhcRn -> SDoc
190 tcHsSigWcType :: UserTypeCtxt -> LHsSigWcType GhcRn -> TcM Type
231 tcHsSigType :: UserTypeCtxt -> LHsSigType GhcRn -> TcM Type
373 tcHsClsInstType :: UserTypeCtxt -- InstDeclCtxt or SpecInstCtxt
2574 expectedKindInCtxt :: UserTypeCtxt -> ContextKind
3199 :: UserTypeCtxt
3387 tcHsPatSigType :: UserTypeCtxt
[all …]
H A DTcSigs.hs249 completeSigFromId :: UserTypeCtxt -> Id -> TcIdSigInfo
776 tcSpecWrapper :: UserTypeCtxt -> TcType -> TcType -> TcM HsWrapper
H A DTcRnTypes.hs1470 , sig_ctxt :: UserTypeCtxt -- In the case of type-class default methods,
1485 , sig_ctxt :: UserTypeCtxt
H A DTcDeriv.hs714 :: UserTypeCtxt -> LHsSigWcType GhcRn
H A DTcMType.hs2281 tidySigSkol :: TidyEnv -> UserTypeCtxt
H A DTcTyClsDecls.hs4034 check_dm :: UserTypeCtxt -> Id -> PredType -> Type -> DefMethInfo -> TcM ()
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/Types/
H A DOrigin.hs11 UserTypeCtxt(..), pprUserTypeCtxt, isSigMaybe,
57 data UserTypeCtxt type
126 pprUserTypeCtxt :: UserTypeCtxt -> SDoc
156 isSigMaybe :: UserTypeCtxt -> Maybe Name
179 UserTypeCtxt -- What sort of signature
184 | SigTypeSkol UserTypeCtxt
277 pprSigSkolInfo :: UserTypeCtxt -> TcType -> SDoc
353 | SpecPragOrigin UserTypeCtxt -- Specialisation pragma for
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/typecheck/
H A DTcOrigin.hs12 UserTypeCtxt(..), pprUserTypeCtxt, isSigMaybe,
59 data UserTypeCtxt type
128 pprUserTypeCtxt :: UserTypeCtxt -> SDoc
158 isSigMaybe :: UserTypeCtxt -> Maybe Name
181 UserTypeCtxt -- What sort of signature
186 | SigTypeSkol UserTypeCtxt
273 pprSigSkolInfo :: UserTypeCtxt -> TcType -> SDoc
348 | SpecPragOrigin UserTypeCtxt -- Specialisation pragma for
H A DTcRnTypes.hs1470 , sig_ctxt :: UserTypeCtxt -- In the case of type-class default methods,
1485 , sig_ctxt :: UserTypeCtxt
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/Types/
H A DOrigin.hs11 UserTypeCtxt(..), pprUserTypeCtxt, isSigMaybe,
60 data UserTypeCtxt type
126 pprUserTypeCtxt :: UserTypeCtxt -> SDoc
154 isSigMaybe :: UserTypeCtxt -> Maybe Name
177 UserTypeCtxt -- What sort of signature
182 | SigTypeSkol UserTypeCtxt
274 pprSigSkolInfo :: UserTypeCtxt -> TcType -> SDoc
350 | SpecPragOrigin UserTypeCtxt -- Specialisation pragma for
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/
H A DTypes.hs1490 , sig_ctxt :: UserTypeCtxt -- In the case of type-class default methods,
1505 , sig_ctxt :: UserTypeCtxt
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/
H A DTypes.hs1475 , sig_ctxt :: UserTypeCtxt -- In the case of type-class default methods,
1490 , sig_ctxt :: UserTypeCtxt