| /dports/lang/yap/yap-6.2.2/library/MYDDAS/ |
| H A D | myddas.ypp | 225 ( ConType == mysql ->
324 ( ConType == mysql ->
331 ( ConType == mysql ->
360 ( ConType == mysql ->
382 ( ConType == mysql ->
402 ( ConType == mysql ->
427 ( ConType == mysql ->
450 ( ConType == mysql ->
480 ( ConType == mysql ->
531 ( ConType == mysql ->
[all …]
|
| H A D | myddas_assert_predicates.ypp | 68 c_db_connection_type(Con,ConType),
71 ( ConType == mysql ->
86 ( ConType == mysql ->
101 ( ConType == mysql ->
149 c_db_connection_type(Con,ConType),
152 ( ConType == mysql ->
188 c_db_connection_type(Con,ConType),
191 ( ConType == mysql ->
212 ( ConType == mysql ->
|
| H A D | myddas_errors.ypp | 84 c_db_connection_type(Con,ConType),
85 ( ConType == mysql ->
93 ( ConType == mysql ->
|
| H A D | myddas_top_level.ypp | 115 %c_db_connection_type(Con,ConType),
117 %( ConType == mysql ->
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/ |
| 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 | 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 | 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/math/zimpl/zimpl-3.3.6/src/zimpl/ |
| H A D | code.h | 54 extern CodeNode* code_new_contype(ConType contype);
118 extern ConType code_get_contype(CodeNode* node);
158 extern void code_value_contype(CodeNode* node, ConType contype);
201 extern ConType code_eval_child_contype(const CodeNode* node, int no);
|
| H A D | ratlp.h | 122 extern void lps_setcontype(Con* con, ConType type);
124 extern ConType lps_contype(const Con* con);
|
| /dports/multimedia/opentoonz/opentoonz-1.5.0/toonz/sources/common/twain/ |
| H A D | ttwain_capability.c | 95 cap.ConType = in TTWAIN_GetCapability()
115 switch (TWON_TWON(cap.ConType, conType)) { in TTWAIN_GetCapability()
147 switch (TWON_TWON(cap.ConType, conType)) { in TTWAIN_GetCapability()
149 size = GetContainerSize(cap.ConType, my_enum->ItemType, my_enum->NumItems); in TTWAIN_GetCapability()
160 GetContainerSize(cap.ConType, my_array->ItemType, my_array->NumItems); in TTWAIN_GetCapability()
285 capability->ConType = conType; in TTWAIN_SetCap()
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/System.Data.Linq/src/DbLinq.Oracle/ |
| H A D | OracleSchemaLoader.Constraints.cs | 117 ConType = r.GetString(3), in ReadConstraints()
131 ConstraintType = r.ConType, in ReadConstraints()
|
| /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
2293 , ( ConType [t|Ctx.Assignment BaseTypeRepr|] `TypeApp` AnyType
2296 , ( ConType [t|WeightedSum|] `TypeApp` AnyType `TypeApp` AnyType
2299 , ( ConType [t|BVOrSet|] `TypeApp` AnyType `TypeApp` AnyType
2311 , ( ConType [t|BoolMap|] `TypeApp` AnyType
2338 , (ConType [t|StringInfoRepr|] `TypeApp` AnyType
2340 , (ConType [t|SR.SemiRingRepr|] `TypeApp` AnyType
2342 , (ConType [t|SR.OrderedSemiRingRepr|] `TypeApp` AnyType
2415 , ( ConType [t|BaseTypeRepr|] `TypeApp` AnyType
2461 [ ( ConType [t|Ctx.Assignment|]
[all …]
|
| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/transformers-compat-0.6.5/generics/Data/Functor/Classes/Generic/ |
| H A D | Internal.hs | 82 , ConType(..)
498 t :: ConType
507 readBraces :: ConType -> ReadPrec a -> ReadPrec a
523 gliftReadPrecCon :: ConType -> Read1Args v a -> ReadPrec (f a)
669 t :: ConType
678 showBraces :: ConType -> ShowS -> ShowS
687 gliftShowsPrecCon :: Options -> ConType -> Show1Args v a
815 data ConType = Rec | Tup | Pref | Inf String type
|
| /dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/transformers-compat-0.6.5/generics/Data/Functor/Classes/Generic/ |
| H A D | Internal.hs | 82 , ConType(..)
498 t :: ConType
507 readBraces :: ConType -> ReadPrec a -> ReadPrec a
523 gliftReadPrecCon :: ConType -> Read1Args v a -> ReadPrec (f a)
669 t :: ConType
678 showBraces :: ConType -> ShowS -> ShowS
687 gliftShowsPrecCon :: Options -> ConType -> Show1Args v a
815 data ConType = Rec | Tup | Pref | Inf String type
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/transformers-compat-0.6.5/generics/Data/Functor/Classes/Generic/ |
| H A D | Internal.hs | 82 , ConType(..)
498 t :: ConType
507 readBraces :: ConType -> ReadPrec a -> ReadPrec a
523 gliftReadPrecCon :: ConType -> Read1Args v a -> ReadPrec (f a)
669 t :: ConType
678 showBraces :: ConType -> ShowS -> ShowS
687 gliftShowsPrecCon :: Options -> ConType -> Show1Args v a
815 data ConType = Rec | Tup | Pref | Inf String function
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/transformers-compat-0.6.5/generics/Data/Functor/Classes/Generic/ |
| H A D | Internal.hs | 82 , ConType(..)
498 t :: ConType
507 readBraces :: ConType -> ReadPrec a -> ReadPrec a
523 gliftReadPrecCon :: ConType -> Read1Args v a -> ReadPrec (f a)
669 t :: ConType
678 showBraces :: ConType -> ShowS -> ShowS
687 gliftShowsPrecCon :: Options -> ConType -> Show1Args v a
815 data ConType = Rec | Tup | Pref | Inf String type
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/transformers-compat-0.6.5/generics/Data/Functor/Classes/Generic/ |
| H A D | Internal.hs | 82 , ConType(..)
498 t :: ConType
507 readBraces :: ConType -> ReadPrec a -> ReadPrec a
523 gliftReadPrecCon :: ConType -> Read1Args v a -> ReadPrec (f a)
669 t :: ConType
678 showBraces :: ConType -> ShowS -> ShowS
687 gliftShowsPrecCon :: Options -> ConType -> Show1Args v a
815 data ConType = Rec | Tup | Pref | Inf String type
|
| /dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/transformers-compat-0.6.5/generics/Data/Functor/Classes/Generic/ |
| H A D | Internal.hs | 82 , ConType(..)
498 t :: ConType
507 readBraces :: ConType -> ReadPrec a -> ReadPrec a
523 gliftReadPrecCon :: ConType -> Read1Args v a -> ReadPrec (f a)
669 t :: ConType
678 showBraces :: ConType -> ShowS -> ShowS
687 gliftShowsPrecCon :: Options -> ConType -> Show1Args v a
815 data ConType = Rec | Tup | Pref | Inf String type
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/transformers-compat-0.6.5/generics/Data/Functor/Classes/Generic/ |
| H A D | Internal.hs | 82 , ConType(..)
498 t :: ConType
507 readBraces :: ConType -> ReadPrec a -> ReadPrec a
523 gliftReadPrecCon :: ConType -> Read1Args v a -> ReadPrec (f a)
669 t :: ConType
678 showBraces :: ConType -> ShowS -> ShowS
687 gliftShowsPrecCon :: Options -> ConType -> Show1Args v a
815 data ConType = Rec | Tup | Pref | Inf String type
|
| /dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/transformers-compat-0.6.5/generics/Data/Functor/Classes/Generic/ |
| H A D | Internal.hs | 82 , ConType(..)
498 t :: ConType
507 readBraces :: ConType -> ReadPrec a -> ReadPrec a
523 gliftReadPrecCon :: ConType -> Read1Args v a -> ReadPrec (f a)
669 t :: ConType
678 showBraces :: ConType -> ShowS -> ShowS
687 gliftShowsPrecCon :: Options -> ConType -> Show1Args v a
815 data ConType = Rec | Tup | Pref | Inf String type
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/transformers-compat-0.6.5/generics/Data/Functor/Classes/Generic/ |
| H A D | Internal.hs | 82 , ConType(..)
498 t :: ConType
507 readBraces :: ConType -> ReadPrec a -> ReadPrec a
523 gliftReadPrecCon :: ConType -> Read1Args v a -> ReadPrec (f a)
669 t :: ConType
678 showBraces :: ConType -> ShowS -> ShowS
687 gliftShowsPrecCon :: Options -> ConType -> Show1Args v a
815 data ConType = Rec | Tup | Pref | Inf String type
|
| /dports/sysutils/hs-cputype/cputype-ad3835a3a2d38aab86c03ed615058da0f1fbf244/_cabal_deps/transformers-compat-0.6.5/generics/Data/Functor/Classes/Generic/ |
| H A D | Internal.hs | 82 , ConType(..)
498 t :: ConType
507 readBraces :: ConType -> ReadPrec a -> ReadPrec a
523 gliftReadPrecCon :: ConType -> Read1Args v a -> ReadPrec (f a)
669 t :: ConType
678 showBraces :: ConType -> ShowS -> ShowS
687 gliftShowsPrecCon :: Options -> ConType -> Show1Args v a
815 data ConType = Rec | Tup | Pref | Inf String type
|
| /dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/transformers-compat-0.6.5/generics/Data/Functor/Classes/Generic/ |
| H A D | Internal.hs | 82 , ConType(..)
498 t :: ConType
507 readBraces :: ConType -> ReadPrec a -> ReadPrec a
523 gliftReadPrecCon :: ConType -> Read1Args v a -> ReadPrec (f a)
669 t :: ConType
678 showBraces :: ConType -> ShowS -> ShowS
687 gliftShowsPrecCon :: Options -> ConType -> Show1Args v a
815 data ConType = Rec | Tup | Pref | Inf String type
|
| /dports/lang/elm/compiler-0.19.1/_cabal_deps/transformers-compat-0.6.5/generics/Data/Functor/Classes/Generic/ |
| H A D | Internal.hs | 82 , ConType(..)
498 t :: ConType
507 readBraces :: ConType -> ReadPrec a -> ReadPrec a
523 gliftReadPrecCon :: ConType -> Read1Args v a -> ReadPrec (f a)
669 t :: ConType
678 showBraces :: ConType -> ShowS -> ShowS
687 gliftShowsPrecCon :: Options -> ConType -> Show1Args v a
815 data ConType = Rec | Tup | Pref | Inf String type
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/transformers-compat-0.6.5/generics/Data/Functor/Classes/Generic/ |
| H A D | Internal.hs | 82 , ConType(..)
498 t :: ConType
507 readBraces :: ConType -> ReadPrec a -> ReadPrec a
523 gliftReadPrecCon :: ConType -> Read1Args v a -> ReadPrec (f a)
669 t :: ConType
678 showBraces :: ConType -> ShowS -> ShowS
687 gliftShowsPrecCon :: Options -> ConType -> Show1Args v a
815 data ConType = Rec | Tup | Pref | Inf String type
|