Home
last modified time | relevance | path

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 DControl.hs20 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 DBMC.hs31 bmc :: (EqSymbolic st, Queriable IO st res)
42 bmcWith :: (EqSymbolic st, Queriable IO st res)
H A DInduction.hs83 induct :: (Show res, Queriable IO st res)
95 inductWith :: (Show res, Queriable IO st res)
H A DWeakestPreconditions.hs209 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 DLength.hs63 instance Queriable IO (LenS Integer) (LenC Integer) where
H A DAppend.hs62 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 DUtils.hs82 … , 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 DSymbolic.hs63 , 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 DCHANGES.md392 * Rework the 'Queriable' class to allow projection/embedding pairs. Also
586 * Introduced a `Queriable` class, which simplifies symbolic programming with composite