| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/ |
| H A D | Concrete.hs | 122 [ (ConType [t|NatRepr|] `TypeApp` AnyType, [|testEquality|])
123 …, (ConType [t|Ctx.Assignment|] `TypeApp` AnyType `TypeApp` AnyType, [|testEqualityFC testEquality|…
124 , (ConType [t|ConcreteVal|] `TypeApp` AnyType, [|testEquality|])
125 , (ConType [t|StringLiteral|] `TypeApp` AnyType, [|testEquality|])
126 …, (ConType [t|Map|] `TypeApp` AnyType `TypeApp` AnyType, [|\x y -> if x == y then Just Refl else N…
134 [ (ConType [t|NatRepr|] `TypeApp` AnyType, [|compareF|])
135 , (ConType [t|Ctx.Assignment|] `TypeApp` AnyType `TypeApp` AnyType, [|compareFC compareF|])
136 , (ConType [t|ConcreteVal|] `TypeApp` AnyType, [|compareF|])
137 , (ConType [t|StringLiteral|] `TypeApp` AnyType, [|compareF|])
138 … , (ConType [t|Map|] `TypeApp` AnyType `TypeApp` AnyType, [|\x y -> fromOrdering (compare x y)|])
|
| H A D | BaseTypes.hs | 305 [ (TypeApp (ConType [t|NatRepr|]) AnyType, [|testEquality|])
307 , (TypeApp (ConType [t|StringInfoRepr|]) AnyType, [|testEquality|])
308 , (TypeApp (ConType [t|BaseTypeRepr|]) AnyType, [|testEquality|])
309 , ( TypeApp (TypeApp (ConType [t|Ctx.Assignment|]) AnyType) AnyType
317 [ (TypeApp (ConType [t|NatRepr|]) AnyType, [|compareF|])
318 , (TypeApp (ConType [t|FloatPrecisionRepr|]) AnyType, [|compareF|])
319 , (TypeApp (ConType [t|StringInfoRepr|]) AnyType, [|compareF|])
320 , (TypeApp (ConType [t|BaseTypeRepr|]) AnyType, [|compareF|])
321 , (TypeApp (TypeApp (ConType [t|Ctx.Assignment|]) AnyType) AnyType
329 [(TypeApp (ConType [t|NatRepr|]) AnyType, [|testEquality|])]
[all …]
|
| H A D | SemiRing.hs | 243 [ (ConType [t|NatRepr|] `TypeApp` AnyType, [|testEquality|])
244 , (ConType [t|BVFlavorRepr|] `TypeApp` AnyType, [|testEquality|])
256 [ (ConType [t|NatRepr|] `TypeApp` AnyType, [|compareF|])
257 , (ConType [t|BVFlavorRepr|] `TypeApp` AnyType, [|compareF|])
|
| /dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/TypeChecker/ |
| H A D | Subsumption.hs | 88 subsumes' mode (TypeApp _ (TypeApp _ f1 arg1) ret1) (TypeApp _ (TypeApp _ f2 arg2) ret2) | eqType f…
105 subsumes' mode (TypeApp _ f1 r1) (TypeApp _ f2 r2) | eqType f1 tyRecord && eqType f2 tyRecord = do
123 subsumes' mode ty1 ty2@(TypeApp _ obj _) | obj == tyRecord =
|
| H A D | Kinds.hs | 210 TypeApp ann t1 t2 -> do
249 TypeApp _ (TypeApp _ arrKind argKind) resKind | eqType arrKind E.tyFunction -> do
251 (TypeApp ann fn arg',) <$> apply resKind
260 pure (TypeApp ann fn arg', TUnknown ann u2)
328 (TypeApp _ (TypeApp _ arr1 a1) a2, TypeApp _ (TypeApp _ arr2 b1) b2)
340 (TUnknown ann u, b@(TypeApp _ (TypeApp _ arr _) _))
344 (a@(TypeApp _ (TypeApp _ arr _) _), TUnknown ann u)
392 (TypeApp _ p1 p2, TypeApp _ p3 p4) -> do
511 ty@(TypeApp ann t1 t2) -> do
514 TypeApp _ (TypeApp _ k _) w2 | eqType k E.tyFunction -> do
[all …]
|
| H A D | Types.hs | 530 go args (TypeApp _ (TypeApp _ fn arg) ret) | eqType fn tyFunction = go (arg : args) ret
694 check' (Literal ss (ArrayLiteral vals)) t@(TypeApp _ a ty) = do
698 check' (Abs binder ret) ty@(TypeApp _ (TypeApp _ t argTy) retTy)
749 check' e@(Literal ss (ObjectLiteral ps)) t@(TypeApp _ obj row) | obj == tyRecord = do
753 check' e@(ObjectUpdate obj ps) t@(TypeApp _ o row) | o == tyRecord = do
864 checkFunctionApplication' fn (TypeApp _ (TypeApp _ tyFunction' argTy) retTy) arg = do
|
| H A D | Synonyms.hs | 52 go ss c kargs args (TypeApp _ f arg) = go ss (c + 1) kargs (arg : args) f
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Expr/ |
| H A D | App.hs | 2290 [ ( ConType [t|UnaryBV|] `TypeApp` AnyType `TypeApp` AnyType
2296 , ( ConType [t|WeightedSum|] `TypeApp` AnyType `TypeApp` AnyType
2299 , ( ConType [t|BVOrSet|] `TypeApp` AnyType `TypeApp` AnyType
2305 , ( ConType [t|AUM.ArrayUpdateMap|] `TypeApp` AnyType `TypeApp` AnyType `TypeApp` AnyType
2308 , ( ConType [t|SSeq.StringSeq|] `TypeApp` AnyType `TypeApp` AnyType
2330 , (ConType [t|UnaryBV|] `TypeApp` AnyType `TypeApp` AnyType
2332 , (ConType [t|AUM.ArrayUpdateMap|] `TypeApp` AnyType `TypeApp` AnyType `TypeApp` AnyType
2418 , ( ConType [t|Nonce|] `TypeApp` AnyType `TypeApp` AnyType
2424 , ( ConType [t|ExprSymFn|] `TypeApp` AnyType `TypeApp` AnyType `TypeApp` AnyType
2462 `TypeApp` (ConType [t|ArrayResultWrapper|] `TypeApp` AnyType `TypeApp` AnyType)
[all …]
|
| /dports/lang/ghc/ghc-8.10.7/compiler/simplCore/ |
| H A D | SAT.hs | 113 data App = VarApp Id | TypeApp Type | CoApp Coercion constructor
133 pprStaticness (Static (TypeApp _)) = text "ST"
146 mergeSA (Static (TypeApp t)) (Static (TypeApp t'))
147 | t `eqType` t' = Static (TypeApp t)
167 | isTyVar v = TypeApp $ mkTyVarTy v
206 Type t -> satRemainderWithStaticness $ Static (TypeApp t)
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/purescript-cst-0.4.0.0/src/Language/PureScript/ |
| H A D | Types.hs | 63 | TypeApp a (Type a) (Type a) constructor
221 TypeApp a b c ->
349 TypeApp a . TypeApp a (TypeConstructor a C.Function) <$> go b <*> go c
448 go bs m (TypeApp ann t1 t2) = TypeApp ann (go bs m t1) (go bs m t2)
586 go (TypeApp ann t1 t2) = f (TypeApp ann (go t1) (go t2))
598 go (TypeApp ann t1 t2) = (TypeApp ann <$> go t1 <*> go t2) >>= f
610 go (TypeApp ann t1 t2) = TypeApp ann <$> (f t1 >>= go) <*> (f t2 >>= go)
654 annForType k (TypeApp a b c) = (\z -> TypeApp z b c) <$> k a
684 eqType (TypeApp _ a b) (TypeApp _ a' b') = eqType a a' && eqType b b'
708 compareType (TypeApp _ a b) (TypeApp _ a' b') = compareType a a' <> compareType b b'
[all …]
|
| H A D | Environment.hs | 280 kindRowList = TypeApp nullSourceAnn (primSubKind C.moduleRowList C.kindRowList)
283 kindRow = TypeApp nullSourceAnn (primKind C.row)
332 function = TypeApp nullSourceAnn . TypeApp nullSourceAnn tyFunction
602 go kinds (TypeApp _ (TypeApp _ fn k1) k2)
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/parameterized-utils-2.1.3.0/src/Data/Parameterized/ |
| H A D | DataKind.hs | 44 ( TH.DataArg 0 `TH.TypeApp` TH.AnyType, [|testEquality|] )
45 , ( TH.DataArg 1 `TH.TypeApp` TH.AnyType, [|testEquality|] )
|
| /dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/Ide/ |
| H A D | CaseSplit.hs | 153 splitType' (P.TypeApp _ (P.TypeApp _ t' lhs) rhs)
|
| /dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/Docs/ |
| H A D | Render.hs | 108 …renderType $ foldl (P.TypeApp ann) (foldl (P.KindApp ann) (P.TypeConstructor ann (fmap P.coercePro…
133 foldl (P.TypeApp ())
|
| H A D | Convert.hs | 114 P.TypeApp _ f a | isTypeAppFunctionType f -> isUninteresting keyword a
123 P.TypeApp _ f a -> isKindFunction f && isKindPrimType a
|
| /dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/TypeChecker/Entailment/ |
| H A D | Coercible.hs | 401 go (TypeApp sa lhs rhs) =
402 TypeApp sa <$> go lhs <*> pure rhs
416 go (role : roles) (TypeApp sa lhs rhs) =
417 TypeApp sa <$> go roles lhs <*> case role of
933 | TypeApp{} <- a = pure Irreducible function
943 | TypeApp{} <- b = pure Irreducible function
|
| /dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/ |
| H A D | TypeChecker.hs | 469 typeModule (TypeApp _ t1 _) = typeModule t1
542 …typeHeadsApart (TypeApp _ h1 t1) (TypeApp _ h2 t2) = typeHeadsApart h1 h2 || typeHeadsA…
577 …withKinds (s@(_, Just _):ss) (TypeApp _ (TypeApp _ tyFn _) k2) | eqType tyFn tyFunction = s : with…
578 …withKinds ((s, Nothing):ss) (TypeApp _ (TypeApp _ tyFn k1) k2) | eqType tyFn tyFunction = (s, Just…
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/haskell-src-exts-1.23.0/tests/examples/ |
| H A D | Vta1.hs.parser.golden | 1076 (TypeApp
1186 (TypeApp
2091 (TypeApp
2865 (TypeApp
3078 (TypeApp
3580 (TypeApp
3691 (TypeApp
4293 (TypeApp
4437 (TypeApp
4767 (TypeApp
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/haskell-src-exts-1.23.1/tests/examples/ |
| H A D | Vta1.hs.parser.golden | 1076 (TypeApp
1186 (TypeApp
2091 (TypeApp
2865 (TypeApp
3078 (TypeApp
3580 (TypeApp
3691 (TypeApp
4293 (TypeApp
4437 (TypeApp
4767 (TypeApp
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/haskell-src-exts-1.23.1/tests/examples/ |
| H A D | Vta1.hs.parser.golden | 1076 (TypeApp
1186 (TypeApp
2091 (TypeApp
2865 (TypeApp
3078 (TypeApp
3580 (TypeApp
3691 (TypeApp
4293 (TypeApp
4437 (TypeApp
4767 (TypeApp
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/CoreFn/ |
| H A D | Optimizer.hs | 41 closedRecordFields (TypeApp _ (TypeConstructor _ C.Record) row) =
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/purescript-cst-0.4.0.0/src/Language/PureScript/CST/Traversals/ |
| H A D | Type.hs | 21 TypeApp _ ty2 ty3 -> k ty `op` (goTy ty2 `op` goTy ty3)
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/haskell-src-exts-1.23.1/src/Language/Haskell/Exts/ |
| H A D | ParseSyntax.hs | 108 | TypeApp l (S.Type l) constructor
191 TypeApp l _ -> l
264 TypeApp l ty -> TypeApp (f l) ty
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/haskell-src-exts-1.23.0/src/Language/Haskell/Exts/ |
| H A D | ParseSyntax.hs | 108 | TypeApp l (S.Type l) constructor
191 TypeApp l _ -> l
264 TypeApp l ty -> TypeApp (f l) ty
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/haskell-src-exts-1.23.1/src/Language/Haskell/Exts/ |
| H A D | ParseSyntax.hs | 108 | TypeApp l (S.Type l) constructor
191 TypeApp l _ -> l
264 TypeApp l ty -> TypeApp (f l) ty
|