Home
last modified time | relevance | path

Searched refs:conc (Results 1 – 25 of 1327) sorted by relevance

12345678910>>...54

/dports/math/flopc++/FlopCpp-d4c1d98/FlopCpp/examples/
H A Dmine.cpp17 conc(0,0,0) = 1.5; in main()
18 conc(0,0,1) = 1.5; in main()
19 conc(0,0,2) = 1.5; in main()
37 conc(1,0,0) = 4; in main()
38 conc(1,0,1) = 4; in main()
39 conc(1,0,2) = 2; in main()
41 conc(1,1,0) = 3; in main()
42 conc(1,1,1) = 3; in main()
43 conc(1,1,2) = 1; in main()
45 conc(1,2,0) = 2; in main()
[all …]
/dports/math/abella/abella-2.0.7/examples/logic/
H A Dcut.mod19 conc (and A B) :- conc A, conc B. % andR
20 conc C :- hyp (and A B), hyp A => hyp B => conc C. % andL
22 conc (or A B) :- conc A. % orR_1
23 conc (or A B) :- conc B. % orR_2
24 conc C :- hyp (or A B), hyp A => conc C, hyp B => conc C. % orL
26 conc (imp A B) :- hyp A => conc B. % impR
27 conc C :- hyp (imp A B), conc A, hyp B => conc C. % impL
29 conc (all A) :- pi x\ conc (A x). % allR
30 conc C :- hyp (all A), hyp (A T) => conc C. % allL
32 conc (ex A) :- conc (A T). % exR
[all …]
H A Dfocus.mod8 conc B :- hyp B.
9 conc (imp B C) :- hyp B => conc C.
10 conc D :- hyp (imp B C), conc B, hyp C => conc D.
20 conc-i (atom A) :- hyp (atom A).
21 conc-i (imp B C) :- hyp B => conc-i C.
22 conc-i D :- hyp (imp B C), conc-i B, hyp C => conc-i D.
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/unliftio-0.2.19/test/UnliftIO/
H A DAsyncSpec.hs46 conc (pure 1) <|> conc (pure 2) <|> pure 3
60 runConc (conc (pure ()) *> conc (throwIO MyExc))
87 conc (pure ()) *>
108 runConc (conc (pure ()) *> conc (throwIO MyExc))
113 let worker = conc $ bracket_
127 let composed = conc (throwIO MyExc) *> conc (threadDelay 1000000 >> error "foo")
135 conc (pure 1) <|> conc (pure 2) <|> conc (pure 3)
147 conc (takeMVar var) <|>
158 conc (do tid <- myThreadId
162 conc (do tid <- myThreadId
[all …]
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/unliftio-0.2.13/test/UnliftIO/
H A DAsyncSpec.hs46 conc (pure 1) <|> conc (pure 2) <|> pure 3
60 runConc (conc (pure ()) *> conc (throwIO MyExc))
87 conc (pure ()) *>
108 runConc (conc (pure ()) *> conc (throwIO MyExc))
113 let worker = conc $ bracket_
127 let composed = conc (throwIO MyExc) *> conc (threadDelay 1000000 >> error "foo")
135 conc (pure 1) <|> conc (pure 2) <|> conc (pure 3)
147 conc (takeMVar var) <|>
158 conc (do tid <- myThreadId
162 conc (do tid <- myThreadId
[all …]
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/unliftio-0.2.14/test/UnliftIO/
H A DAsyncSpec.hs46 conc (pure 1) <|> conc (pure 2) <|> pure 3
60 runConc (conc (pure ()) *> conc (throwIO MyExc))
87 conc (pure ()) *>
108 runConc (conc (pure ()) *> conc (throwIO MyExc))
113 let worker = conc $ bracket_
127 let composed = conc (throwIO MyExc) *> conc (threadDelay 1000000 >> error "foo")
135 conc (pure 1) <|> conc (pure 2) <|> conc (pure 3)
147 conc (takeMVar var) <|>
158 conc (do tid <- myThreadId
162 conc (do tid <- myThreadId
[all …]
/dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/unliftio-0.2.14/test/UnliftIO/
H A DAsyncSpec.hs46 conc (pure 1) <|> conc (pure 2) <|> pure 3
60 runConc (conc (pure ()) *> conc (throwIO MyExc))
87 conc (pure ()) *>
108 runConc (conc (pure ()) *> conc (throwIO MyExc))
113 let worker = conc $ bracket_
127 let composed = conc (throwIO MyExc) *> conc (threadDelay 1000000 >> error "foo")
135 conc (pure 1) <|> conc (pure 2) <|> conc (pure 3)
147 conc (takeMVar var) <|>
158 conc (do tid <- myThreadId
162 conc (do tid <- myThreadId
[all …]
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/unliftio-0.2.19/test/UnliftIO/
H A DAsyncSpec.hs46 conc (pure 1) <|> conc (pure 2) <|> pure 3
60 runConc (conc (pure ()) *> conc (throwIO MyExc))
87 conc (pure ()) *>
108 runConc (conc (pure ()) *> conc (throwIO MyExc))
113 let worker = conc $ bracket_
127 let composed = conc (throwIO MyExc) *> conc (threadDelay 1000000 >> error "foo")
135 conc (pure 1) <|> conc (pure 2) <|> conc (pure 3)
147 conc (takeMVar var) <|>
158 conc (do tid <- myThreadId
162 conc (do tid <- myThreadId
[all …]
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/unliftio-0.2.13/test/UnliftIO/
H A DAsyncSpec.hs46 conc (pure 1) <|> conc (pure 2) <|> pure 3
60 runConc (conc (pure ()) *> conc (throwIO MyExc))
87 conc (pure ()) *>
108 runConc (conc (pure ()) *> conc (throwIO MyExc))
113 let worker = conc $ bracket_
127 let composed = conc (throwIO MyExc) *> conc (threadDelay 1000000 >> error "foo")
135 conc (pure 1) <|> conc (pure 2) <|> conc (pure 3)
147 conc (takeMVar var) <|>
158 conc (do tid <- myThreadId
162 conc (do tid <- myThreadId
[all …]
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/unliftio-0.2.14/test/UnliftIO/
H A DAsyncSpec.hs46 conc (pure 1) <|> conc (pure 2) <|> pure 3
60 runConc (conc (pure ()) *> conc (throwIO MyExc))
87 conc (pure ()) *>
108 runConc (conc (pure ()) *> conc (throwIO MyExc))
113 let worker = conc $ bracket_
127 let composed = conc (throwIO MyExc) *> conc (threadDelay 1000000 >> error "foo")
135 conc (pure 1) <|> conc (pure 2) <|> conc (pure 3)
147 conc (takeMVar var) <|>
158 conc (do tid <- myThreadId
162 conc (do tid <- myThreadId
[all …]
/dports/devel/stack/stack-2.7.3/_cabal_deps/unliftio-0.2.16/test/UnliftIO/
H A DAsyncSpec.hs46 conc (pure 1) <|> conc (pure 2) <|> pure 3
60 runConc (conc (pure ()) *> conc (throwIO MyExc))
87 conc (pure ()) *>
108 runConc (conc (pure ()) *> conc (throwIO MyExc))
113 let worker = conc $ bracket_
127 let composed = conc (throwIO MyExc) *> conc (threadDelay 1000000 >> error "foo")
135 conc (pure 1) <|> conc (pure 2) <|> conc (pure 3)
147 conc (takeMVar var) <|>
158 conc (do tid <- myThreadId
162 conc (do tid <- myThreadId
[all …]
/dports/ports-mgmt/hs-panopticum/panopticum-3e29a6b2b989855a8e0dd5e93fcda5ba7b748999/_cabal_deps/unliftio-0.2.20/test/UnliftIO/
H A DAsyncSpec.hs46 conc (pure 1) <|> conc (pure 2) <|> pure 3
60 runConc (conc (pure ()) *> conc (throwIO MyExc))
87 conc (pure ()) *>
108 runConc (conc (pure ()) *> conc (throwIO MyExc))
113 let worker = conc $ bracket_
127 let composed = conc (throwIO MyExc) *> conc (threadDelay 1000000 >> error "foo")
135 conc (pure 1) <|> conc (pure 2) <|> conc (pure 3)
147 conc (takeMVar var) <|>
158 conc (do tid <- myThreadId
162 conc (do tid <- myThreadId
[all …]
/dports/science/apbs/apbs-pdb2pqr-apbs-1.5-102-g500c1473/apbs/examples/FKBP/
H A D1d7h-dmso-smol.in24 ion charge 1 conc 0.010 radius 2.0
25 ion charge -1 conc 0.010 radius 2.0
45 ion charge 1 conc 0.010 radius 2.0
46 ion charge -1 conc 0.010 radius 2.0
68 ion charge 1 conc 0.010 radius 2.0
69 ion charge -1 conc 0.010 radius 2.0
89 ion charge 1 conc 0.010 radius 2.0
90 ion charge -1 conc 0.010 radius 2.0
112 ion charge 1 conc 0.010 radius 2.0
133 ion charge 1 conc 0.010 radius 2.0
[all …]
H A D1d7i-dss-mol.in24 ion charge 1 conc 0.010 radius 2.0
25 ion charge -1 conc 0.010 radius 2.0
45 ion charge 1 conc 0.010 radius 2.0
46 ion charge -1 conc 0.010 radius 2.0
68 ion charge 1 conc 0.010 radius 2.0
69 ion charge -1 conc 0.010 radius 2.0
89 ion charge 1 conc 0.010 radius 2.0
90 ion charge -1 conc 0.010 radius 2.0
112 ion charge 1 conc 0.010 radius 2.0
133 ion charge 1 conc 0.010 radius 2.0
[all …]
H A D1d7i-dss-smol.in24 ion charge 1 conc 0.010 radius 2.0
25 ion charge -1 conc 0.010 radius 2.0
45 ion charge 1 conc 0.010 radius 2.0
46 ion charge -1 conc 0.010 radius 2.0
68 ion charge 1 conc 0.010 radius 2.0
69 ion charge -1 conc 0.010 radius 2.0
89 ion charge 1 conc 0.010 radius 2.0
90 ion charge -1 conc 0.010 radius 2.0
112 ion charge 1 conc 0.010 radius 2.0
133 ion charge 1 conc 0.010 radius 2.0
[all …]
H A D1d7h-dmso-mol.in24 ion charge 1 conc 0.010 radius 2.0
25 ion charge -1 conc 0.010 radius 2.0
45 ion charge 1 conc 0.010 radius 2.0
46 ion charge -1 conc 0.010 radius 2.0
68 ion charge 1 conc 0.010 radius 2.0
69 ion charge -1 conc 0.010 radius 2.0
89 ion charge 1 conc 0.010 radius 2.0
90 ion charge -1 conc 0.010 radius 2.0
112 ion charge 1 conc 0.010 radius 2.0
133 ion charge 1 conc 0.010 radius 2.0
[all …]
/dports/devel/stack/stack-2.7.3/_cabal_deps/unliftio-0.2.16/bench/
H A DConcBench.hs49 | i == size = conc (pure i)
50 | otherwise = liftA2 (+) (conc (pure i)) (go (i + 1))
68 foldr (<|>) empty (replicate size (conc (pure ())))
88 | i == size = conc (pure i)
91 (conc $ threadDelay maxBound >> return 0)
96 | i == size = conc (pure i)
99 (conc $ threadDelay maxBound >> return 0)
119 | i == size = conc (pure i)
121 (liftA2 (+) (conc (pure i)) (go (i + 1))) <|>
122 (liftA2 (+) (conc (pure i)) (go (i + 2)))
[all …]
/dports/ports-mgmt/hs-panopticum/panopticum-3e29a6b2b989855a8e0dd5e93fcda5ba7b748999/_cabal_deps/unliftio-0.2.20/bench/
H A DConcBench.hs49 | i == size = conc (pure i)
50 | otherwise = liftA2 (+) (conc (pure i)) (go (i + 1))
68 foldr (<|>) empty (replicate size (conc (pure ())))
88 | i == size = conc (pure i)
91 (conc $ threadDelay maxBound >> return 0)
96 | i == size = conc (pure i)
99 (conc $ threadDelay maxBound >> return 0)
119 | i == size = conc (pure i)
121 (liftA2 (+) (conc (pure i)) (go (i + 1))) <|>
122 (liftA2 (+) (conc (pure i)) (go (i + 2)))
[all …]
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/unliftio-0.2.13/bench/
H A DConcBench.hs49 | i == size = conc (pure i)
50 | otherwise = liftA2 (+) (conc (pure i)) (go (i + 1))
68 foldr (<|>) empty (replicate size (conc (pure ())))
88 | i == size = conc (pure i)
91 (conc $ threadDelay maxBound >> return 0)
96 | i == size = conc (pure i)
99 (conc $ threadDelay maxBound >> return 0)
119 | i == size = conc (pure i)
121 (liftA2 (+) (conc (pure i)) (go (i + 1))) <|>
122 (liftA2 (+) (conc (pure i)) (go (i + 2)))
[all …]
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/unliftio-0.2.13/bench/
H A DConcBench.hs49 | i == size = conc (pure i)
50 | otherwise = liftA2 (+) (conc (pure i)) (go (i + 1))
68 foldr (<|>) empty (replicate size (conc (pure ())))
88 | i == size = conc (pure i)
91 (conc $ threadDelay maxBound >> return 0)
96 | i == size = conc (pure i)
99 (conc $ threadDelay maxBound >> return 0)
119 | i == size = conc (pure i)
121 (liftA2 (+) (conc (pure i)) (go (i + 1))) <|>
122 (liftA2 (+) (conc (pure i)) (go (i + 2)))
[all …]
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/unliftio-0.2.14/bench/
H A DConcBench.hs49 | i == size = conc (pure i)
50 | otherwise = liftA2 (+) (conc (pure i)) (go (i + 1))
68 foldr (<|>) empty (replicate size (conc (pure ())))
88 | i == size = conc (pure i)
91 (conc $ threadDelay maxBound >> return 0)
96 | i == size = conc (pure i)
99 (conc $ threadDelay maxBound >> return 0)
119 | i == size = conc (pure i)
121 (liftA2 (+) (conc (pure i)) (go (i + 1))) <|>
122 (liftA2 (+) (conc (pure i)) (go (i + 2)))
[all …]
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/unliftio-0.2.14/bench/
H A DConcBench.hs49 | i == size = conc (pure i)
50 | otherwise = liftA2 (+) (conc (pure i)) (go (i + 1))
68 foldr (<|>) empty (replicate size (conc (pure ())))
88 | i == size = conc (pure i)
91 (conc $ threadDelay maxBound >> return 0)
96 | i == size = conc (pure i)
99 (conc $ threadDelay maxBound >> return 0)
119 | i == size = conc (pure i)
121 (liftA2 (+) (conc (pure i)) (go (i + 1))) <|>
122 (liftA2 (+) (conc (pure i)) (go (i + 2)))
[all …]
/dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/unliftio-0.2.14/bench/
H A DConcBench.hs49 | i == size = conc (pure i)
50 | otherwise = liftA2 (+) (conc (pure i)) (go (i + 1))
68 foldr (<|>) empty (replicate size (conc (pure ())))
88 | i == size = conc (pure i)
91 (conc $ threadDelay maxBound >> return 0)
96 | i == size = conc (pure i)
99 (conc $ threadDelay maxBound >> return 0)
119 | i == size = conc (pure i)
121 (liftA2 (+) (conc (pure i)) (go (i + 1))) <|>
122 (liftA2 (+) (conc (pure i)) (go (i + 2)))
[all …]
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/unliftio-0.2.19/bench/
H A DConcBench.hs49 | i == size = conc (pure i)
50 | otherwise = liftA2 (+) (conc (pure i)) (go (i + 1))
68 foldr (<|>) empty (replicate size (conc (pure ())))
88 | i == size = conc (pure i)
91 (conc $ threadDelay maxBound >> return 0)
96 | i == size = conc (pure i)
99 (conc $ threadDelay maxBound >> return 0)
119 | i == size = conc (pure i)
121 (liftA2 (+) (conc (pure i)) (go (i + 1))) <|>
122 (liftA2 (+) (conc (pure i)) (go (i + 2)))
[all …]
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/unliftio-0.2.19/bench/
H A DConcBench.hs49 | i == size = conc (pure i)
50 | otherwise = liftA2 (+) (conc (pure i)) (go (i + 1))
68 foldr (<|>) empty (replicate size (conc (pure ())))
88 | i == size = conc (pure i)
91 (conc $ threadDelay maxBound >> return 0)
96 | i == size = conc (pure i)
99 (conc $ threadDelay maxBound >> return 0)
119 | i == size = conc (pure i)
121 (liftA2 (+) (conc (pure i)) (go (i + 1))) <|>
122 (liftA2 (+) (conc (pure i)) (go (i + 2)))
[all …]

12345678910>>...54