| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/algebraic-graphs-0.5/test/Algebra/Graph/Test/ |
| H A D | Label.hs | 40 annihilatingZero (<>) z a = conjoin
45 closure (+) (*) o s a = conjoin
58 distributive p m a b c = conjoin
63 identity (<>) e a = conjoin
71 monoid f e a b c = conjoin
76 commutativeMonoid f e a b c = conjoin
81 leftNearRing (+) z (*) o a b c = conjoin
88 semiring (+) z (*) o a b c = conjoin
95 dioid (+) z (*) o a b c = conjoin
100 starSemiring (+) z (*) o s a b c = conjoin
|
| /dports/lang/racket/racket-8.3/share/pkgs/typed-racket-lib/typed-racket/typecheck/ |
| H A D | tc-literal.rkt | 22 ;; racket/function's conjoin is very general and therefore slow
24 (define-syntax-rule (conjoin f ...) function
49 [(~var i (3d (conjoin byte? positive?)))
53 [(~var i (3d (conjoin portable-index? positive?)))
55 [(~var i (3d (conjoin portable-fixnum? positive?)))
57 [(~var i (3d (conjoin portable-fixnum? negative?)))
61 [(~var i (3d (conjoin exact-integer? negative?)))
63 [(~var i (3d (conjoin number? exact? rational? positive?))) -PosRat]
70 [(~var i (3d (conjoin flonum? positive?))) -PosFlonumNoNan]
71 [(~var i (3d (conjoin flonum? negative?))) -NegFlonumNoNan]
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/algebraic-graphs-0.5/test/Algebra/Graph/ |
| H A D | Test.hs | 62 axioms x y z = conjoin
73 theorems x y z = conjoin
85 undirectedAxioms x y z = conjoin
90 reflexiveAxioms x y z = conjoin
95 transitiveAxioms x y z = conjoin
100 preorderAxioms x y z = conjoin
|
| /dports/devel/p5-Data-Object/Data-Object-2.05/t/ |
| H A D | Data_Object_Code.t | 26 method: conjoin
126 =method conjoin
128 The conjoin method creates a code reference which execute the code and the
132 =signature conjoin
134 conjoin(CodeRef $arg1) : CodeLike
136 =example-1 conjoin
140 $code = $code->conjoin(sub { 1 });
301 $subs->example(-1, 'conjoin', 'method', fun($tryable) {
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/test/Tests/Writers/ |
| H A D | AnnotatedTable.hs | 28 , conjoin
167 in conjoin
199 in conjoin
222 in conjoin
242 in conjoin $ cellColTH ath <> concatMap cellColTB atbs <> cellColTF atf
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/pandoc-2.11.4/test/Tests/Writers/ |
| H A D | AnnotatedTable.hs | 29 , conjoin
168 in conjoin
200 in conjoin
223 in conjoin
243 in conjoin $ cellColTH ath <> concatMap cellColTB atbs <> cellColTF atf
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/lang/elm/compiler-0.19.1/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/x11/hs-xmobar/xmobar-0.39/_cabal_deps/cereal-0.5.8.1/tests/ |
| H A D | GetTests.hs | 96 conjoin
109 conjoin
128 conjoin
137 conjoin
|
| /dports/devel/p5-Moose-Autobox/Moose-Autobox-0.15/t/ |
| H A D | 001_basic.t | 53 ok(!(sub { 1 })->conjoin(sub { 0 })->(), '... conjoins properly');
54 ok(!(sub { 0 })->conjoin(sub { 1 })->(), '... conjoins properly');
|
| /dports/lang/racket/racket-8.3/collects/racket/ |
| H A D | function.rkt | 8 conjoin disjoin)
198 (define conjoin function
204 (raise-argument-error 'conjoin "procedure?" f*)))
216 (raise-argument-error 'conjoin "procedure?" f*)))
231 (raise-argument-error 'conjoin "procedure?" f*)))
243 (raise-argument-error 'conjoin "procedure?" f*)))
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/ |
| H A D | function.rkt | 8 conjoin disjoin)
198 (define conjoin function
204 (raise-argument-error 'conjoin "procedure?" f*)))
216 (raise-argument-error 'conjoin "procedure?" f*)))
231 (raise-argument-error 'conjoin "procedure?" f*)))
243 (raise-argument-error 'conjoin "procedure?" f*)))
|
| /dports/lang/python27/Python-2.7.18/Lib/test/ |
| H A D | test_generators.py | 985 def conjoin(gs): function
1118 for row2col in conjoin(self.rowgenerators):
1305 for x in conjoin(self.squaregenerators):
|