/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Provers/ |
H A D | Prover.hs | 644 forAll [] = id function 652 forAll _ = return function 672 forAll [] k = forAll_ k function 681 forAll [] k = forAll_ k function 690 forAll [] k = forAll_ k function 699 forAll [] k = forAll_ k function 708 forAll [] k = forAll_ k function 717 forAll [] k = forAll_ k function 726 forAll [] k = forAll_ k function 735 forAll [] k = forAll_ k function [all …]
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/langtools/tools/javac/lambda/ |
H A D | TargetType24.java | 18 boolean forAll(final F<A, Boolean> f) { in forAll() method in TargetType24.Array 22 String forAll(final FSub<A, String> f) { in forAll() method in TargetType24.Array
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/langtools/tools/javac/lambda/ |
H A D | TargetType24.java | 18 boolean forAll(final F<A, Boolean> f) { in forAll() method in TargetType24.Array 22 String forAll(final FSub<A, String> f) { in forAll() method in TargetType24.Array
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/langtools/tools/javac/lambda/ |
H A D | TargetType24.java | 18 boolean forAll(final F<A, Boolean> f) { in forAll() method in TargetType24.Array 22 String forAll(final FSub<A, String> f) { in forAll() method in TargetType24.Array
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/langtools/tools/javac/lambda/ |
H A D | TargetType24.java | 18 boolean forAll(final F<A, Boolean> f) { in forAll() method in TargetType24.Array 22 String forAll(final FSub<A, String> f) { in forAll() method in TargetType24.Array
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/langtools/tools/javac/lambda/ |
H A D | TargetType24.java | 18 boolean forAll(final F<A, Boolean> f) { in forAll() method in TargetType24.Array 22 String forAll(final FSub<A, String> f) { in forAll() method in TargetType24.Array
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/langtools/tools/javac/lambda/ |
H A D | TargetType24.java | 18 boolean forAll(final F<A, Boolean> f) { in forAll() method in TargetType24.Array 22 String forAll(final FSub<A, String> f) { in forAll() method in TargetType24.Array
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/langtools/tools/javac/lambda/ |
H A D | TargetType24.java | 18 boolean forAll(final F<A, Boolean> f) { in forAll() method in TargetType24.Array 22 String forAll(final FSub<A, String> f) { in forAll() method in TargetType24.Array
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/langtools/tools/javac/lambda/ |
H A D | TargetType24.java | 18 boolean forAll(final F<A, Boolean> f) { in forAll() method in TargetType24.Array 22 String forAll(final FSub<A, String> f) { in forAll() method in TargetType24.Array
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/langtools/test/tools/javac/lambda/ |
H A D | TargetType24.java | 18 boolean forAll(final F<A, Boolean> f) { in forAll() method in TargetType24.Array 22 String forAll(final FSub<A, String> f) { in forAll() method in TargetType24.Array
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/langtools/test/tools/javac/lambda/ |
H A D | TargetType24.java | 18 boolean forAll(final F<A, Boolean> f) { in forAll() method in TargetType24.Array 22 String forAll(final FSub<A, String> f) { in forAll() method in TargetType24.Array
|
/dports/games/doomsday/doomsday-2.3.1/doomsday/sdk/libappfw/src/ |
H A D | data.cpp | 62 LoopResult Data::forAll(std::function<LoopResult (Item &)> func) in forAll() function in de::ui::Data 72 LoopResult Data::forAll(std::function<LoopResult (Item const &)> func) const in forAll() function in de::ui::Data
|
/dports/net/kea/kea-2.0.1/src/lib/yang/ |
H A D | translator.h | 110 void forAll(std::string const& xpath, functor_t f) { in forAll() function
|
/dports/x11-fm/worker/worker-4.10.0/src/ |
H A D | chmodowncore.hh | 87 bool forAll; member 102 bool forAll; member
|
/dports/devel/libzookeeper/apache-zookeeper-3.7.0/zookeeper-server/src/main/java/org/apache/zookeeper/server/watch/ |
H A D | PathParentIterator.java | 39 public static PathParentIterator forAll(String path) { in forAll() method in PathParentIterator
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/langtools/tools/javac/lambda/methodReferenceExecution/ |
H A D | MethodReferenceUnionTypeTest.java | 34 <T> void forAll(Consumer<T> consumer, T value) { consumer.accept(value); } in forAll() method in MethodReferenceUnionTypeTest
|
H A D | MethodReferenceIntersectionInducedTest.java | 35 <T> void forAll(Consumer<T> consumer, T... values) { consumer.accept(values[0]); } in forAll() method in MethodReferenceIntersectionInducedTest
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/langtools/tools/javac/lambda/methodReferenceExecution/ |
H A D | MethodReferenceUnionTypeTest.java | 34 <T> void forAll(Consumer<T> consumer, T value) { consumer.accept(value); } in forAll() method in MethodReferenceUnionTypeTest
|
H A D | MethodReferenceIntersectionInducedTest.java | 35 <T> void forAll(Consumer<T> consumer, T... values) { consumer.accept(values[0]); } in forAll() method in MethodReferenceIntersectionInducedTest
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/langtools/tools/javac/lambda/methodReferenceExecution/ |
H A D | MethodReferenceUnionTypeTest.java | 34 <T> void forAll(Consumer<T> consumer, T value) { consumer.accept(value); } in forAll() method in MethodReferenceUnionTypeTest
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/langtools/tools/javac/lambda/methodReferenceExecution/ |
H A D | MethodReferenceUnionTypeTest.java | 34 <T> void forAll(Consumer<T> consumer, T value) { consumer.accept(value); } in forAll() method in MethodReferenceUnionTypeTest
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/langtools/tools/javac/lambda/methodReferenceExecution/ |
H A D | MethodReferenceUnionTypeTest.java | 34 <T> void forAll(Consumer<T> consumer, T value) { consumer.accept(value); } in forAll() method in MethodReferenceUnionTypeTest
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/langtools/tools/javac/lambda/methodReferenceExecution/ |
H A D | MethodReferenceUnionTypeTest.java | 34 <T> void forAll(Consumer<T> consumer, T value) { consumer.accept(value); } in forAll() method in MethodReferenceUnionTypeTest
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/langtools/tools/javac/lambda/methodReferenceExecution/ |
H A D | MethodReferenceUnionTypeTest.java | 34 <T> void forAll(Consumer<T> consumer, T value) { consumer.accept(value); } in forAll() method in MethodReferenceUnionTypeTest
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/langtools/tools/javac/lambda/methodReferenceExecution/ |
H A D | MethodReferenceUnionTypeTest.java | 34 <T> void forAll(Consumer<T> consumer, T value) { consumer.accept(value); } in forAll() method in MethodReferenceUnionTypeTest
|