Searched refs:SMaybe (Results 1 – 12 of 12) sorted by relevance
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/ |
| H A D | Maybe.hs | 48 sNothing :: forall a. SymVal a => SMaybe a
58 isNothing :: SymVal a => SMaybe a -> SBool
65 sJust :: forall a. SymVal a => SBV a -> SMaybe a
85 isJust :: SymVal a => SMaybe a -> SBool
98 fromMaybe :: SymVal a => SBV a -> SMaybe a -> SBV a
115 fromJust :: forall a. SymVal a => SMaybe a -> SBV a
152 liftMaybe :: SymVal a => Maybe (SBV a) -> SMaybe a
166 -> SMaybe a
167 -> SMaybe b
185 -> SMaybe a
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Basics/ |
| H A D | Sum.hs | 108 (y :: SMaybe Integer) <- sMaybe_
115 (x :: SMaybe Integer) <- sMaybe_
116 (y :: SMaybe Integer) <- sMaybe_
123 (x :: SMaybe Integer) <- sMaybe_
124 (y :: SMaybe Integer) <- sMaybe_
|
| H A D | ArithNoSolver.hs | 767 ssm :: [SMaybe Integer]
|
| H A D | ArithSolver.hs | 123 mkThm2M x y r = isTheorem $ do [a, b :: SMaybe 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 | 111 (y :: SMaybe Integer) <- freshVar_
123 (x :: SMaybe Integer) <- freshVar_
124 (y :: SMaybe Integer) <- freshVar_
137 (x :: SMaybe Integer) <- freshVar_
138 (y :: SMaybe Integer) <- freshVar_
|
| H A D | Tables.hs | 166 sFindIndex :: (a -> SBool) -> [a] -> SMaybe Int16
|
| /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)
813 sMaybe :: SymVal a => String -> Symbolic (SMaybe a)
819 sMaybe_ :: SymVal a => Symbolic (SMaybe a)
825 sMaybes :: SymVal a => [String] -> Symbolic [SMaybe a]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Char/ |
| H A D | Char.hs | 87 t07 = do x::SMaybe Char <- free "x"
|
| /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
188 type SMaybe a = SBV (Maybe a) type
|
| H A D | Model.hs | 654 sMaybe :: (SymVal a, MonadSymbolic m) => String -> m (SMaybe a)
658 sMaybe_ :: (SymVal a, MonadSymbolic m) => m (SMaybe a)
662 sMaybes :: (SymVal a, MonadSymbolic m) => [String] -> m [SMaybe a]
|
| /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
|