Searched refs:substThetaUnchecked (Results 1 – 13 of 13) sorted by relevance
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/TyCo/ |
| H A D | Subst.hs | 37 substTyUnchecked, substTysUnchecked, substScaledTysUnchecked, substThetaUnchecked,
722 substThetaUnchecked :: TCvSubst -> ThetaType -> ThetaType
723 substThetaUnchecked = substTysUnchecked function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/types/ |
| H A D | TyCoSubst.hs | 36 substTyUnchecked, substTysUnchecked, substThetaUnchecked,
700 substThetaUnchecked :: TCvSubst -> ThetaType -> ThetaType
701 substThetaUnchecked = substTysUnchecked function
|
| H A D | Type.hs | 193 substTyUnchecked, substTysUnchecked, substThetaUnchecked,
|
| /dports/lang/ghc/ghc-8.10.7/compiler/types/ |
| H A D | TyCoSubst.hs | 36 substTyUnchecked, substTysUnchecked, substThetaUnchecked,
700 substThetaUnchecked :: TCvSubst -> ThetaType -> ThetaType
701 substThetaUnchecked = substTysUnchecked function
|
| H A D | Type.hs | 193 substTyUnchecked, substTysUnchecked, substThetaUnchecked,
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/TyCo/ |
| H A D | Subst.hs | 37 substTyUnchecked, substTysUnchecked, substScaledTysUnchecked, substThetaUnchecked,
728 substThetaUnchecked :: TCvSubst -> ThetaType -> ThetaType
729 substThetaUnchecked = substTysUnchecked function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcExpr.hs | 918 ; let theta' = substThetaUnchecked scrut_subst (conLikeStupidTheta con1)
933 ; let req_theta' = substThetaUnchecked scrut_subst req_theta
|
| H A D | TcType.hs | 159 substTyUnchecked, substTysUnchecked, substThetaUnchecked,
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/Utils/ |
| H A D | TcType.hs | 163 substThetaUnchecked,
|
| /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 D | TcType.hs | 159 substTyUnchecked, substTysUnchecked, substThetaUnchecked,
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/Utils/ |
| H A D | TcType.hs | 165 substThetaUnchecked,
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/ |
| H A D | Type.hs | 211 substThetaUnchecked, substTyWithUnchecked,
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/ |
| H A D | Type.hs | 214 substThetaUnchecked, substTyWithUnchecked,
|