| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-solve-0.75.0/src/ |
| H A D | solve.rs | 32 Definite(Canonical<Substitution<I>>), enumerator
80 (Definite(ref subst1), Definite(ref subst2)) if subst1 == subst2 => { in combine()
81 Definite(subst1.clone()) in combine()
94 Solution::Unique(constrained) => Guidance::Definite(Canonical { in into_guidance()
106 Solution::Ambig(Guidance::Definite(ref canonical)) in constrained_subst()
126 Solution::Ambig(Guidance::Definite(canonical)) => { in definite_subst()
168 Solution::Ambig(Guidance::Definite(subst)) => write!( in fmt()
185 Definite(S), enumerator
193 SubstitutionResult::Definite(subst) => SubstitutionResult::Definite(subst), in as_ref()
200 SubstitutionResult::Definite(subst) => SubstitutionResult::Definite(f(subst)), in map()
[all …]
|
| /dports/net/routinator/routinator-0.10.2/cargo-crates/bcder-0.6.0/src/ |
| H A D | length.rs | 45 Definite(usize), enumerator
61 n if (n & 0x80) == 0 => Ok(Length::Definite(n as usize)), in take_from()
70 Ok(Length::Definite(len)) in take_from()
81 Ok(Length::Definite(len)) in take_from()
93 Ok(Length::Definite(len)) in take_from()
106 Ok(Length::Definite(len)) in take_from()
121 matches!(*self, Length::Definite(0)) in is_zero()
129 Length::Definite(len) => { in encoded_len()
146 Length::Definite(len) => { in encoded_len()
170 Length::Definite(len) => { in write_encoded()
[all …]
|
| /dports/net/krill/krill-0.9.4/cargo-crates/bcder-0.6.1/src/ |
| H A D | length.rs | 45 Definite(usize), enumerator
61 n if (n & 0x80) == 0 => Ok(Length::Definite(n as usize)), in take_from()
70 Ok(Length::Definite(len)) in take_from()
81 Ok(Length::Definite(len)) in take_from()
93 Ok(Length::Definite(len)) in take_from()
106 Ok(Length::Definite(len)) in take_from()
121 matches!(*self, Length::Definite(0)) in is_zero()
129 Length::Definite(len) => { in encoded_len()
146 Length::Definite(len) => { in encoded_len()
170 Length::Definite(len) => { in write_encoded()
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve/src/ |
| H A D | solve.rs | 32 Definite(Canonical<Substitution<I>>), enumerator
80 (Definite(ref subst1), Definite(ref subst2)) if subst1 == subst2 => { in combine()
81 Definite(subst1.clone()) in combine()
94 Solution::Unique(constrained) => Guidance::Definite(Canonical { in into_guidance()
106 Solution::Ambig(Guidance::Definite(ref canonical)) in constrained_subst()
126 Solution::Ambig(Guidance::Definite(canonical)) => { in definite_subst()
166 Solution::Ambig(Guidance::Definite(subst)) => write!( in fmt()
183 Definite(S), enumerator
191 SubstitutionResult::Definite(subst) => SubstitutionResult::Definite(subst), in as_ref()
198 SubstitutionResult::Definite(subst) => SubstitutionResult::Definite(f(subst)), in map()
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-solve-0.55.0/src/ |
| H A D | solve.rs | 32 Definite(Canonical<Substitution<I>>), enumerator
80 (Definite(ref subst1), Definite(ref subst2)) if subst1 == subst2 => { in combine()
81 Definite(subst1.clone()) in combine()
94 Solution::Unique(constrained) => Guidance::Definite(Canonical { in into_guidance()
106 Solution::Ambig(Guidance::Definite(ref canonical)) in constrained_subst()
126 Solution::Ambig(Guidance::Definite(canonical)) => { in definite_subst()
166 Solution::Ambig(Guidance::Definite(subst)) => write!( in fmt()
183 Definite(S), enumerator
191 SubstitutionResult::Definite(subst) => SubstitutionResult::Definite(subst), in as_ref()
198 SubstitutionResult::Definite(subst) => SubstitutionResult::Definite(f(subst)), in map()
[all …]
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Unit/ |
| H A D | Types.hs | 53 , Definite (..)
210 = RealUnit !(Definite uid)
424 unitUnique (RealUnit (Definite x)) = getUnique x
438 fsToUnit = RealUnit . Definite . UnitId
462 toUnitId (RealUnit (Definite iuid)) = iuid
528 type DefUnitId = Definite UnitId
541 newtype Definite unit = Definite { unDefinite :: unit } constructor
545 ppr (Definite uid) = ppr uid
548 put_ bh (Definite uid) = put_ bh uid
629 thUnit = RealUnit (Definite thUnitId)
[all …]
|
| /dports/www/newsboat/newsboat-2.22.1/cargo-crates/cxxbridge-macro-0.5.10/src/syntax/ |
| H A D | improper.rs | 7 Definite(bool), enumerator
18 Definite(atom == RustString) in determine_improper_ctype()
22 Definite(self.rust.contains(ident)) in determine_improper_ctype()
31 | Type::SliceRefU8(_) => Definite(true), in determine_improper_ctype()
32 Type::UniquePtr(_) | Type::CxxVector(_) => Definite(false), in determine_improper_ctype()
|
| /dports/www/newsboat/newsboat-2.22.1/cargo-crates/cxx-build-0.5.10/src/syntax/ |
| H A D | improper.rs | 7 Definite(bool), enumerator
18 Definite(atom == RustString) in determine_improper_ctype()
22 Definite(self.rust.contains(ident)) in determine_improper_ctype()
31 | Type::SliceRefU8(_) => Definite(true), in determine_improper_ctype()
32 Type::UniquePtr(_) | Type::CxxVector(_) => Definite(false), in determine_improper_ctype()
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Unit/ |
| H A D | Types.hs | 56 , Definite (..)
184 unitFS (RealUnit (Definite x)) = unitFS x
230 = RealUnit !(Definite uid)
437 fsToUnit = RealUnit . Definite . UnitId
464 toUnitId (RealUnit (Definite iuid)) = iuid
521 type DefUnitId = Definite UnitId
534 newtype Definite unit = Definite { unDefinite :: unit } type
594 thUnit = RealUnit (Definite thUnitId)
595 primUnit = RealUnit (Definite primUnitId)
598 rtsUnit = RealUnit (Definite rtsUnitId)
[all …]
|
| /dports/misc/libkeduvocdocument/libkeduvocdocument-21.12.3/keduvocdocument/ |
| H A D | keduvocarticle.cpp | 37 …setArticle( mal_def, KEduVocWordFlag::Singular | KEduVocWordFlag::Definite | KEduVocWordFlag::Masc… in KEduVocArticle()
38 …setArticle( fem_def, KEduVocWordFlag::Singular | KEduVocWordFlag::Definite | KEduVocWordFlag::Femi… in KEduVocArticle()
39 …setArticle( neu_def, KEduVocWordFlag::Singular | KEduVocWordFlag::Definite | KEduVocWordFlag::Neut… in KEduVocArticle()
54 …(KEduVocWordFlag::genders | KEduVocWordFlag::numbers | KEduVocWordFlag::Definite | KEduVocWordFlag… in article()
59 …(KEduVocWordFlag::genders | KEduVocWordFlag::numbers | KEduVocWordFlag::Definite | KEduVocWordFlag… in setArticle()
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/ada/acats/tests/cc/ |
| H A D | cc51b03.a | 27 -- Check that the attribute S'Definite, where S is an indefinite formal
56 -- 'Definite is less likely to be used for these formals.
66 -- A typical usage of S'Definite might be algorithm selection in a
69 -- In such situations, S'Definite would appear in if conditions or other
70 -- contexts requiring a boolean expression. This test checks S'Definite
123 if Formal'Definite then -- Attribute used in "if"
137 return Formal'Definite; -- Attribute used in return
211 Report.Test ("CC51B03", "Check that S'Definite returns true if the " &
|