Searched refs:mkWpTyApps (Results 1 – 16 of 16) sorted by relevance
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcTypeable.hs | 21 import TcEvidence ( mkWpTyApps )
755 nilExpr ty = mkLHsWrap (mkWpTyApps [ty]) (nlHsDataCon nilDataCon)
758 consExpr ty = mkLHsWrap (mkWpTyApps [ty]) (nlHsDataCon consDataCon)
|
| H A D | TcEvidence.hs | 9 (<.>), mkWpTyApps, mkWpEvApps, mkWpEvVarApps, mkWpTyLams,
321 mkWpTyApps :: [Type] -> HsWrapper
322 mkWpTyApps tys = mk_co_app_fn WpTyApp tys function
|
| H A D | TcInstDcls.hs | 1151 con_app_tys = mkHsWrap (mkWpTyApps inst_tys)
1163 arg_wrapper = mkWpEvVarApps dfun_ev_vars <.> mkWpTyApps inst_tv_tys
1626 wrapId (mkWpTyApps
|
| H A D | Inst.hs | 350 ; return (dict_app <.> mkWpTyApps tys) }
|
| H A D | TcExpr.hs | 371 ; let op' = L loc (mkHsWrap (mkWpTyApps [ getRuntimeRep op_res_ty
614 ; let wrap = mkWpTyApps [expr_ty]
1270 ; let inst_wrap = mkWpTyApps [ty_arg]
|
| H A D | TcPatSyn.hs | 717 inst_wrap = mkWpEvApps prov_dicts <.> mkWpTyApps ex_tys
|
| H A D | TcRnDriver.hs | 1762 ; co = mkWpTyApps [res_ty]
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/Types/ |
| H A D | Evidence.hs | 10 (<.>), mkWpTyApps, mkWpEvApps, mkWpEvVarApps, mkWpTyLams,
336 mkWpTyApps :: [Type] -> HsWrapper
337 mkWpTyApps tys = mk_co_app_fn WpTyApp tys function
1060 = mkWpEvVarApps [ev_var] <.> mkWpTyApps [m_var]
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/Types/ |
| H A D | Evidence.hs | 10 (<.>), mkWpTyApps, mkWpEvApps, mkWpEvVarApps, mkWpTyLams,
354 mkWpTyApps :: [Type] -> HsWrapper
355 mkWpTyApps tys = mk_co_app_fn WpTyApp tys function
1101 = mkWpEvVarApps [ev_var] <.> mkWpTyApps [m_var]
|
| /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 | TcEvidence.hs | 9 (<.>), mkWpTyApps, mkWpEvApps, mkWpEvVarApps, mkWpTyLams,
321 mkWpTyApps :: [Type] -> HsWrapper
322 mkWpTyApps tys = mk_co_app_fn WpTyApp tys function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/deSugar/ |
| H A D | DsExpr.hs | 710 mkWpTyApps [ lookupTyVar out_subst tv
746 req_wrap = dict_req_wrap <.> mkWpTyApps in_inst_tys
|
| H A D | DsArrows.hs | 597 (noLoc $ mkHsWrap (mkWpTyApps [ty1, ty2]) left_id ) e
599 (noLoc $ mkHsWrap (mkWpTyApps [ty1, ty2]) right_id) e
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Hs/ |
| H A D | Utils.hs | 247 = noLoc (mkHsWrap (mkWpTyApps tys) (HsVar noExtField (noLoc fun_id)))
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/GHC/Hs/ |
| H A D | Utils.hs | 218 = noLoc (mkHsWrap (mkWpTyApps tys) (HsVar noExtField (noLoc fun_id)))
|
| /dports/lang/ghc/ghc-8.10.7/compiler/GHC/Hs/ |
| H A D | Utils.hs | 218 = noLoc (mkHsWrap (mkWpTyApps tys) (HsVar noExtField (noLoc fun_id)))
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Hs/ |
| H A D | Utils.hs | 280 = noLocA (mkHsWrap (mkWpTyApps tys) (HsVar noExtField (noLocA fun_id)))
|