Searched defs:req_theta (Results 1 – 9 of 9) sorted by relevance
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/ghcide/src/Development/IDE/Plugin/ |
| H A D | TypeLenses.hs | 295 (_univ_tvs, req_theta, _ex_tvs, prov_theta, orig_args, orig_res_ty) = patSynSig p function
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/ghcide/src/Development/IDE/Plugin/ |
| H A D | TypeLenses.hs | 295 (_univ_tvs, req_theta, _ex_tvs, prov_theta, orig_args, orig_res_ty) = patSynSig p function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcPatSyn.hs | 172 req_theta = map evVarPred req_dicts function
621 req_theta = tidyTypes env2 req_theta' function
|
| H A D | TcPat.hs | 835 req_theta' = substTheta tenv req_theta function
|
| H A D | TcExpr.hs | 933 ; let req_theta' = substThetaUnchecked scrut_subst req_theta function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/ |
| H A D | CoreToIface.hs | 401 (_univ_tvs, req_theta, _ex_tvs, prov_theta, args, rhs_ty) = patSynSig ps function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/iface/ |
| H A D | ToIface.hs | 395 (_univ_tvs, req_theta, _ex_tvs, prov_theta, args, rhs_ty) = patSynSig ps function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/ |
| H A D | CoreToIface.hs | 407 (_univ_tvs, req_theta, _ex_tvs, prov_theta, args, rhs_ty) = patSynSig ps function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/iface/ |
| H A D | ToIface.hs | 395 (_univ_tvs, req_theta, _ex_tvs, prov_theta, args, rhs_ty) = patSynSig ps function
|