Searched refs:SEither (Results 1 – 11 of 11) sorted by relevance
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/ |
| H A D | Either.hs | 48 sLeft :: forall a b. (SymVal a, SymVal b) => SBV a -> SEither a b
67 isLeft :: (SymVal a, SymVal b) => SEither a b -> SBV Bool
74 sRight :: forall a b. (SymVal a, SymVal b) => SBV b -> SEither a b
93 isRight :: (SymVal a, SymVal b) => SEither a b -> SBV Bool
121 -> SEither a b
160 -> SEither a c
161 -> SEither b d
171 first :: (SymVal a, SymVal b, SymVal c) => (SBV a -> SBV b) -> SEither a c -> SEither b c
181 second :: (SymVal a, SymVal b, SymVal c) => (SBV b -> SBV c) -> SEither a b -> SEither a c
198 fromLeft :: forall a b. (SymVal a, SymVal b) => SEither a b -> SBV a
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Basics/ |
| H A D | Sum.hs | 107 (x :: SEither Integer Integer) <- sEither_
131 (x :: SEither Integer Bool) <- sEither_
132 (y :: SEither Integer Bool) <- sEither_
139 (x :: SEither Integer Bool) <- sEither_
140 (y :: SEither Integer Bool) <- sEither_
|
| H A D | ArithNoSolver.hs | 773 sse :: [SEither Integer Integer]
|
| H A D | ArithSolver.hs | 127 mkThm2E x y r = isTheorem $ do [a, b :: SEither Integer Integer] <- mapM free ["x", "y"]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Queries/ |
| H A D | Sums.hs | 110 (x :: SEither Integer Integer) <- freshVar_
151 (x :: SEither Integer Bool) <- freshVar_
152 (y :: SEither Integer Bool) <- freshVar_
165 (x :: SEither Integer Bool) <- freshVar_
166 (y :: SEither Integer Bool) <- freshVar_
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Char/ |
| H A D | Char.hs | 71 t03 = do x::SEither Char Char <- free "x"
75 t04 = do x::SEither Integer Char <- free "x"
79 t05 = do x::SEither Char Integer <- free "x"
83 t06 = do x::SEither Char (Either Char Integer) <- free "x"
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Client/ |
| H A D | BaseIO.hs | 31 SWord64, SEither, SMaybe, SSet)
795 sEither :: (SymVal a, SymVal b) => String -> Symbolic (SEither a b)
801 sEither_ :: (SymVal a, SymVal b) => Symbolic (SEither a b)
807 sEithers :: (SymVal a, SymVal b) => [String] -> Symbolic [SEither a b]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/ |
| H A D | SBV.hs | 180 , SMaybe, SEither
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
| H A D | Data.hs | 33 , SEither, SMaybe
185 type SEither a b = SBV (Either a b) function
|
| H A D | Model.hs | 642 sEither :: (SymVal a, SymVal b, MonadSymbolic m) => String -> m (SEither a b)
646 sEither_ :: (SymVal a, SymVal b, MonadSymbolic m) => m (SEither a b)
650 sEithers :: (SymVal a, SymVal b, MonadSymbolic m) => [String] -> m [SEither a b]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/ |
| H A D | CHANGES.md | 314 * Added support for `SEither` and `SMaybe` types: symbolic sums and symbolic
320 other symbolic types. (So you can have a list of SMaybe of SEither
|