invisibleTyBndrCount (reference) in projects: dports

Searched refs:invisibleTyBndrCount (Results 1 – 6 of 6) sorted by relevance

/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/
H A D	TcHsType.hs	`1491 n_exp_invis_bndrs = invisibleTyBndrCount exp_kind 1492 n_act_invis_bndrs = invisibleTyBndrCount act_kind 2256 let n_res_invis_bndrs = invisibleTyBndrCount res_ki 2257 n_sig_invis_bndrs = invisibleTyBndrCount sig_ki`
H A D	TcInstDcls.hs	`489 … ; traceTc "tcLocalInstDecl 1" (ppr dfun_ty $$ ppr (invisibleTyBndrCount dfun_ty) $$ ppr skol_tvs)`
/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	`80 invisibleTyBndrCount, 1679 invisibleTyBndrCount :: Type -> Int 1684 invisibleTyBndrCount ty = length (fst (splitPiTysInvisible ty)) 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	Type.hs	`74 invisibleTyBndrCount, 1677 invisibleTyBndrCount :: Type -> Int 1682 invisibleTyBndrCount ty = length (fst (splitPiTysInvisible ty)) function`
/dports/lang/ghc/ghc-8.10.7/compiler/types/
H A D	Type.hs	`74 invisibleTyBndrCount, 1677 invisibleTyBndrCount :: Type -> Int 1682 invisibleTyBndrCount ty = length (fst (splitPiTysInvisible ty)) function`
/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	`81 invisibleTyBndrCount, 1939 invisibleTyBndrCount :: Type -> Int 1944 invisibleTyBndrCount ty = length (fst (splitInvisPiTys ty)) function`