| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | FamInst.hs | 797 bareTvInRHSViolated pats rhs | isTyVarTy rhs
798 = filter (not . isTyVarTy) pats
|
| H A D | TcErrors.hs | 609 non_tv_eq _ (EqPred NomEq ty1 _) = not (isTyVarTy ty1)
1125 boring_type = isTyVarTy hole_ty
1568 | isTyVarTy ty
1637 || isTyVarTyVar tv1 && not (isTyVarTy ty2)
|
| H A D | TcType.hs | 41 isImmutableTyVar, isSkolemTyVar, isMetaTyVar, isMetaTyVarTy, isTyVarTy,
1587 Just (_, tys) -> all isTyVarTy tys
|
| H A D | TcEnv.hs | 316 uniqueTyVars tys = all isTyVarTy tys
|
| H A D | TcSimplify.hs | 2447 && (not (isTyVarTyVar tv1) || isTyVarTy ty2)
|
| /dports/lang/ghc/ghc-8.10.7/compiler/main/ |
| H A D | InteractiveEval.hs | 1127 Just (_, tys@(_:_)) -> all isTyVarTy tys
1128 _ -> isTyVarTy ty
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/ |
| H A D | DataCon.hs | 1502 | all isTyVarTy tys = False -- Also common
|
| H A D | Type.hs | 112 isTyVarTy, isFunTy, isCoercionTy,
793 isTyVarTy :: Type -> Bool
794 isTyVarTy ty = isJust (getTyVar_maybe ty) function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/basicTypes/ |
| H A D | DataCon.hs | 1400 | all isTyVarTy tys = False -- Also common
|
| /dports/lang/ghc/ghc-8.10.7/compiler/basicTypes/ |
| H A D | DataCon.hs | 1400 | all isTyVarTy tys = False -- Also common
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/ |
| H A D | DataCon.hs | 1512 | all isTyVarTy tys = False -- Also common
|
| H A D | Type.hs | 112 isTyVarTy, isFunTy, isCoercionTy,
941 isTyVarTy :: Type -> Bool
942 isTyVarTy ty = isJust (getTyVar_maybe ty) function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/Utils/ |
| H A D | TcType.hs | 40 isImmutableTyVar, isSkolemTyVar, isMetaTyVar, isMetaTyVarTy, isTyVarTy,
1623 Just (_, tys) -> all isTyVarTy tys
|
| /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 | TcType.hs | 41 isImmutableTyVar, isSkolemTyVar, isMetaTyVar, isMetaTyVarTy, isTyVarTy,
1587 Just (_, tys) -> all isTyVarTy tys
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/Utils/ |
| H A D | TcType.hs | 43 isImmutableTyVar, isSkolemTyVar, isMetaTyVar, isMetaTyVarTy, isTyVarTy,
1726 Just (_, tys) -> all isTyVarTy tys
|
| /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 | 106 isTyVarTy, isFunTy, isCoercionTy,
715 isTyVarTy :: Type -> Bool
716 isTyVarTy ty = isJust (getTyVar_maybe ty) function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/types/ |
| H A D | Type.hs | 106 isTyVarTy, isFunTy, isCoercionTy,
715 isTyVarTy :: Type -> Bool
716 isTyVarTy ty = isJust (getTyVar_maybe ty) function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/ghci/ |
| H A D | RtClosureInspect.hs | 712 let monomorphic = not(isTyVarTy my_ty)
|