Searched refs:Queriable (Results 1 – 9 of 9) sorted by relevance
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/ |
H A D | Control.hs | 20 ExtractIO(..), MonadQuery(..), Queriable(..), Fresh(..), Query, query 79 import Data.SBV.Core.Symbolic (MonadQuery(..), Query, Queriable(..), Fresh(..), Symbolic, QueryCont…
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Tools/ |
H A D | BMC.hs | 31 bmc :: (EqSymbolic st, Queriable IO st res) 42 bmcWith :: (EqSymbolic st, Queriable IO st res)
|
H A D | Induction.hs | 83 induct :: (Show res, Queriable IO st res) 95 inductWith :: (Show res, Queriable IO st res)
|
H A D | WeakestPreconditions.hs | 209 wpProveWith :: forall st res. (Show res, Mergeable st, Queriable IO st res) => WPConfig -> Program … 342 wpProve :: (Show res, Mergeable st, Queriable IO st res) => Program st -> IO (ProofResult res)
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/WeakestPreconditions/ |
H A D | Length.hs | 63 instance Queriable IO (LenS Integer) (LenC Integer) where
|
H A D | Append.hs | 62 instance Queriable IO (AppS Integer) (AppC Integer) where
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Control/ |
H A D | Utils.hs | 82 … , MonadQuery(..), QueryContext(..), Queriable(..), Fresh(..), VarContext(..) 226 instance (MonadIO m, SymVal a) => Queriable m (SBV a) a where 232 instance (MonadIO m, SymVal a, Foldable t, Traversable t, Fresh m (t (SBV a))) => Queriable m (t (S…
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
H A D | Symbolic.hs | 63 , MonadQuery(..), QueryT(..), Query, Queriable(..), Fresh(..), QueryState(..), QueryContext(..) 722 class Queriable m a b | a -> b where constructor
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/ |
H A D | CHANGES.md | 392 * Rework the 'Queriable' class to allow projection/embedding pairs. Also 586 * Introduced a `Queriable` class, which simplifies symbolic programming with composite
|