Home
last modified time | relevance | path

Searched refs:eqType (Results 1 – 25 of 127) sorted by relevance

123456

/dports/lang/purescript/purescript-0.14.5/_cabal_deps/purescript-cst-0.4.0.0/src/Language/PureScript/
H A DTypes.hs672 (==) = 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 DSubsumption.hs88 …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 DKinds.hs249 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 DTcGenGenerics.hs691 | 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 DClsInst.hs420 | 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 DUtils.hs10 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 DUtils.hs10 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 DTypes.hs108 | 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 DTypes.hs108 | 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 DType.hs-boot17 eqType :: Type -> Type -> Bool
H A DOptCoercion.hs122 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 DType.hs-boot17 eqType :: Type -> Type -> Bool
H A DOptCoercion.hs122 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 DTypes.hs117 | 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 DDsForeign.hs167 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 DMatch.hs975 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 DDynamicLoading.hs42 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 DLint.hs1276 = 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 DLint.hs1287 = 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 DSTRUCT_VALS.ML117 | 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 DBuildTyCl.hs186 , pat_ty `eqType` substTy subst pat_ty1
214 compareArgTys [] [x] = x `eqType` voidPrimTy
/dports/lang/ghc/ghc-8.10.7/compiler/coreSyn/
H A DCoreLint.hs574 ; 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 DCaseSplit.hs154 | P.eqType t' P.tyFunction = lhs : splitType' rhs
/dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/Pretty/
H A DTypes.hs100 | 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 DOpt.hs122 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

123456