Searched refs:split_rho (Results 1 – 6 of 6) sorted by relevance
| /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 | IfaceType.hs | 410 (theta, tau) = split_rho rho
416 split_rho (IfaceFunTy InvisArg ty1 ty2)
417 = case split_rho ty2 of { (ps, tau) -> (ty1:ps, tau) }
418 split_rho tau = ([], tau) function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/iface/ |
| H A D | IfaceType.hs | 410 (theta, tau) = split_rho rho
416 split_rho (IfaceFunTy InvisArg ty1 ty2)
417 = case split_rho ty2 of { (ps, tau) -> (ty1:ps, tau) }
418 split_rho tau = ([], tau) function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Iface/ |
| H A D | Type.hs | 441 (theta, tau) = split_rho rho
447 split_rho (IfaceFunTy InvisArg _ ty1 ty2)
448 = case split_rho ty2 of { (ps, tau) -> (ty1:ps, tau) }
449 split_rho tau = ([], tau) function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Iface/ |
| H A D | Type.hs | 473 (theta, tau) = split_rho rho
480 split_rho (IfaceFunTy InvisArg _ ty1 ty2)
481 = case split_rho ty2 of { (ps, tau) -> (ty1:ps, tau) }
482 split_rho tau = ([], tau) function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/parser/ |
| H A D | RdrHsSyn.hs | 688 (mcxt, tau, anns2) = split_rho rho []
690 split_rho (dL->L _ (HsQualTy { hst_ctxt = cxt, hst_body = tau })) ann function
692 split_rho (dL->L l (HsParTy _ ty)) ann
693 = split_rho ty (ann++mkParensApiAnn l)
694 split_rho tau ann
|
| /dports/lang/ghc/ghc-8.10.7/compiler/parser/ |
| H A D | RdrHsSyn.hs | 688 (mcxt, tau, anns2) = split_rho rho []
690 split_rho (dL->L _ (HsQualTy { hst_ctxt = cxt, hst_body = tau })) ann function
692 split_rho (dL->L l (HsParTy _ ty)) ann
693 = split_rho ty (ann++mkParensApiAnn l)
694 split_rho tau ann
|