/dports/lang/purescript/purescript-0.14.5/_cabal_deps/purescript-cst-0.4.0.0/src/Language/PureScript/ |
H A D | Types.hs | 672 (==) = eqType 677 eqType :: Type a -> Type b -> Bool 684 eqType (TypeApp _ a b) (TypeApp _ a' b') = eqType a a' && eqType b b' function 685 eqType (KindApp _ a b) (KindApp _ a' b') = eqType a a' && eqType b b' function 687 eqType (ConstrainedType _ a b) (ConstrainedType _ a' b') = eqConstraint a a' && eqType b b' function 689 eqType (REmpty _) (REmpty _) = True function 690 eqType (RCons _ a b c) (RCons _ a' b' c') = a == a' && eqType b b' && eqType c c' function 691 eqType (KindedType _ a b) (KindedType _ a' b') = eqType a a' && eqType b b' function 692 eqType (BinaryNoParensType _ a b c) (BinaryNoParensType _ a' b' c') = eqType a a' && eqType b b' &&… function 693 eqType (ParensInType _ a) (ParensInType _ a') = eqType a a' function [all …]
|
/dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/TypeChecker/ |
H A D | Subsumption.hs | 88 …eApp _ f1 arg1) ret1) (TypeApp _ (TypeApp _ f2 arg2) ret2) | eqType f1 tyFunction && eqType f2 tyF… 105 subsumes' mode (TypeApp _ f1 r1) (TypeApp _ f2 r2) | eqType f1 tyRecord && eqType f2 tyRecord = do
|
H A D | Kinds.hs | 249 TypeApp _ (TypeApp _ arrKind argKind) resKind | eqType arrKind E.tyFunction -> do 329 | eqType arr1 E.tyFunction 330 , eqType arr2 E.tyFunction -> do 341 | eqType arr E.tyFunction 345 | eqType arr E.tyFunction 406 (w1, w2) | eqType w1 w2 -> 425 (([], w1), ([], w2)) | eqType w1 w2 -> 514 TypeApp _ (TypeApp _ k _) w2 | eqType k E.tyFunction -> do
|
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
H A D | TcGenGenerics.hs | 691 | ty `eqType` addrPrimTy = mkTyConApp uAddr [k] 692 | ty `eqType` charPrimTy = mkTyConApp uChar [k] 693 | ty `eqType` doublePrimTy = mkTyConApp uDouble [k] 694 | ty `eqType` floatPrimTy = mkTyConApp uFloat [k] 695 | ty `eqType` intPrimTy = mkTyConApp uInt [k] 696 | ty `eqType` wordPrimTy = mkTyConApp uWord [k] 821 | ty `eqType` addrPrimTy = Just (uAddrDataCon_RDR, uAddrHash_RDR) 822 | ty `eqType` charPrimTy = Just (uCharDataCon_RDR, uCharHash_RDR) 824 | ty `eqType` floatPrimTy = Just (uFloatDataCon_RDR, uFloatHash_RDR) 825 | ty `eqType` intPrimTy = Just (uIntDataCon_RDR, uIntHash_RDR) [all …]
|
H A D | ClsInst.hs | 420 | k `eqType` typeNatKind = doTyLit knownNatClassName t 421 | k `eqType` typeSymbolKind = doTyLit knownSymbolClassName t
|
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/src/Wingman/CodeGen/ |
H A D | Utils.hs | 10 import GhcPlugins (nilDataCon, charTy, eqType) 22 , ty `eqType` charTy = noLoc $ string ""
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/src/Wingman/CodeGen/ |
H A D | Utils.hs | 10 import GhcPlugins (nilDataCon, charTy, eqType) 22 , ty `eqType` charTy = noLoc $ string ""
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/GHC/HsToCore/PmCheck/ |
H A D | Types.hs | 108 | not (t1 `eqType` t2) = Disjoint 275 | ty `eqType` stringTy = Just v 318 , ty `eqType` charTy 358 suffix = fromMaybe empty (snd <$> find (eqType ty . fst) tbl)
|
/dports/lang/ghc/ghc-8.10.7/compiler/GHC/HsToCore/PmCheck/ |
H A D | Types.hs | 108 | not (t1 `eqType` t2) = Disjoint 275 | ty `eqType` stringTy = Just v 318 , ty `eqType` charTy 358 suffix = fromMaybe empty (snd <$> find (eqType ty . fst) tbl)
|
/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-boot | 17 eqType :: Type -> Type -> Bool
|
H A D | OptCoercion.hs | 122 ASSERT2( substTyUnchecked env in_ty1 `eqType` out_ty1 && 123 substTyUnchecked env in_ty2 `eqType` out_ty2 && 267 | ty1 `eqType` ty2 -- See Note [Optimise CoVarCo to Refl] 800 , ty1 `eqType` ty2 1046 = x1 `eqType` x2
|
/dports/lang/ghc/ghc-8.10.7/compiler/types/ |
H A D | Type.hs-boot | 17 eqType :: Type -> Type -> Bool
|
H A D | OptCoercion.hs | 122 ASSERT2( substTyUnchecked env in_ty1 `eqType` out_ty1 && 123 substTyUnchecked env in_ty2 `eqType` out_ty2 && 267 | ty1 `eqType` ty2 -- See Note [Optimise CoVarCo to Refl] 800 , ty1 `eqType` ty2 1046 = x1 `eqType` x2
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/HsToCore/PmCheck/ |
H A D | Types.hs | 117 | not (t1 `eqType` t2) = Disjoint 311 | ty `eqType` stringTy = Just v 354 , ty `eqType` charTy 394 suffix = fromMaybe empty (snd <$> find (eqType ty . fst) tbl)
|
/dports/lang/ghc/ghc-8.10.7/compiler/deSugar/ |
H A D | DsForeign.hs | 167 ASSERT(fromJust resTy `eqType` addrPrimTy) -- typechecker ensures this 258 isVoidRes = raw_res_ty `eqType` unitTy 574 res_hty_is_unit = res_hty `eqType` unitTy -- Look through any newtypes 826 | ty `eqType` unitTy = 'v'
|
H A D | Match.hs | 975 sameGroup (PgCo t1) (PgCo t2) = t1 `eqType` t2 1025 eqType (overLitType l) (overLitType l') && l == l' 1062 tup_arg (dL->L _ (Missing t1)) (dL->L _ (Missing t2)) = eqType t1 t2 1078 wrap (WpTyApp t) (WpTyApp t') = eqType t t'
|
/dports/lang/ghc/ghc-8.10.7/compiler/main/ |
H A D | DynamicLoading.hs | 42 import Type ( Type, eqType, mkTyConTy ) 201 if expected_type `eqType` idType id
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/ |
H A D | Lint.hs | 1276 = unless (arg_kind `eqType` tyvar_kind) $ 1802 ; unless (ka `eqType` kfa) $ 1809 ; unless (ka `eqType` kv_kind) $ 2219 | typeKind s1 `eqType` tyVarKind tv1 2220 , typeKind s2 `eqType` tyVarKind tv2 2228 | typeKind s1 `eqType` varType cv1 2229 , typeKind s2 `eqType` varType cv2 2268 ; unless (sk' `eqType` ktv_kind_l) 2270 ; unless (tk' `eqType` ktv_kind_r) 2356 ; lintL (ax_lhs `eqType` nt_lhs) [all …]
|
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/ |
H A D | Lint.hs | 1287 = unless (arg_kind `eqType` tyvar_kind) $ 1820 ; unless (ka `eqType` kfa) $ 1827 ; unless (ka `eqType` kv_kind) $ 2246 | typeKind s1 `eqType` tyVarKind tv1 2247 , typeKind s2 `eqType` tyVarKind tv2 2255 | typeKind s1 `eqType` varType cv1 2256 , typeKind s2 `eqType` varType cv2 2295 ; unless (sk' `eqType` ktv_kind_l) 2297 ; unless (tk' `eqType` ktv_kind_r) 2387 ; lintL (ax_lhs `eqType` nt_lhs) [all …]
|
/dports/lang/polyml/polyml-5.8.2/mlsource/MLCompiler/ |
H A D | STRUCT_VALS.ML | 117 | Bound of { offset: int, eqType: bool possRef, isDatatype: bool, arity: int } 322 idKind = Bound{offset=n, eqType=FrozenRef eq, isDatatype = isdt, arity=arity}} 328 idKind = Bound{offset=n, eqType=VariableRef(ref eq), isDatatype = isdt, arity=arity}} 346 | isEquality (TypeId { idKind = Bound{eqType, ...}, ...}) = pling eqType 353 | setEquality(TypeId{idKind = Bound{eqType=VariableRef id, ...}, ...}, eq) = id := eq
|
/dports/lang/ghc/ghc-8.10.7/compiler/iface/ |
H A D | BuildTyCl.hs | 186 , pat_ty `eqType` substTy subst pat_ty1 214 compareArgTys [] [x] = x `eqType` voidPrimTy
|
/dports/lang/ghc/ghc-8.10.7/compiler/coreSyn/ |
H A D | CoreLint.hs | 574 ; checkL (not (isTopLevel top_lvl_flag && binder_ty `eqType` addrPrimTy) 1060 ; unless (arg_kind `eqType` tyvar_kind) 1547 = do { unless (ka `eqType` kfa) $ 1553 ; unless (ka `eqType` kv_kind) $ 1954 | k1' `eqType` tyVarKind tv1 1955 , k2' `eqType` tyVarKind tv2 1964 | k1' `eqType` varType cv1 1965 , k2' `eqType` varType cv2 2011 ; unless (k' `eqType` ktv_kind_l) 2013 ; unless (k'' `eqType` ktv_kind_r) [all …]
|
/dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/Ide/ |
H A D | CaseSplit.hs | 154 | P.eqType t' P.tyFunction = lhs : splitType' rhs
|
/dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/Pretty/ |
H A D | Types.hs | 100 | eqType f tyFunction = PPFunction (go (d-1) a) (go (d-1) b) function 103 | eqType o tyRecord = uncurry PPRecord (goRow d ty) function
|
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/Coercion/ |
H A D | Opt.hs | 122 ASSERT2( substTyUnchecked env in_ty1 `eqType` out_ty1 && 123 substTyUnchecked env in_ty2 `eqType` out_ty2 && 268 | ty1 `eqType` ty2 -- See Note [Optimise CoVarCo to Refl] 799 , ty1 `eqType` ty2 1047 = x1 `eqType` x2
|