Searched refs:tyConAppArgs (Results 1 – 12 of 12) sorted by relevance
/dports/lang/ghc/ghc-8.10.7/compiler/simplCore/ |
H A D | CSE.hs | 26 import Type ( tyConAppArgs ) 616 arg_tys = tyConAppArgs (idType bndr3)
|
H A D | SimplUtils.hs | 2236 arg_tys = tyConAppArgs (idType case_bndr) 2310 DataAlt dc -> mkConApp2 dc (tyConAppArgs (idType bndr)) bs 2318 (tyConAppArgs (idType new_bndr))
|
H A D | Simplify.hs | 2712 ; let inst_tys' = tyConAppArgs (idType case_bndr') 3229 rhs = mkConApp2 dc (tyConAppArgs scrut_ty) bndrs'
|
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
H A D | TcDerivUtils.hs | 958 | Just tv <- getTyVar_maybe (last (tyConAppArgs (dataConOrigResTy con)))
|
H A D | TcGenFunctor.hs | 424 = case getTyVar_maybe (last (tyConAppArgs (dataConOrigResTy con))) of
|
/dports/lang/ghc/ghc-8.10.7/compiler/deSugar/ |
H A D | DsBinds.hs | 1236 ; let ks = tyConAppArgs ty
|
/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 | 41 tyConAppArgs_maybe, tyConAppTyCon, tyConAppArgs, 1282 tyConAppArgs :: Type -> [Type] 1283 tyConAppArgs ty = tyConAppArgs_maybe ty `orElse` pprPanic "tyConAppArgs" (ppr 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 | 35 tyConAppArgs_maybe, tyConAppTyCon, tyConAppArgs, 1224 tyConAppArgs :: Type -> [Type] 1225 tyConAppArgs ty = tyConAppArgs_maybe ty `orElse` pprPanic "tyConAppArgs" (ppr ty) function
|
/dports/lang/ghc/ghc-8.10.7/compiler/types/ |
H A D | Type.hs | 35 tyConAppArgs_maybe, tyConAppTyCon, tyConAppArgs, 1224 tyConAppArgs :: Type -> [Type] 1225 tyConAppArgs ty = tyConAppArgs_maybe ty `orElse` pprPanic "tyConAppArgs" (ppr 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 | 41 tyConAppArgs_maybe, tyConAppTyCon, tyConAppArgs, 1440 tyConAppArgs :: Type -> [Type] 1441 tyConAppArgs ty = tyConAppArgs_maybe ty `orElse` pprPanic "tyConAppArgs" (ppr ty) function
|
/dports/lang/ghc/ghc-8.10.7/compiler/GHC/HsToCore/PmCheck/ |
H A D | Oracle.hs | 1114 let tc_args = tyConAppArgs (idType x)
|
/dports/lang/ghc/ghc-8.10.7/compiler/specialise/ |
H A D | SpecConstr.hs | 981 vanilla_args = map Type (tyConAppArgs (idType case_bndr)) ++
|