Hoogle Search
Within LTS Haskell 24.32 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
SomePrimitiveVectorM :: (Any :: Type) -> SomePrimitiveVectorMrecover-rtti Debug.RecoverRTTI No documentation available.
-
recover-rtti Debug.RecoverRTTI Storable vector (Data.Vector.Storable) For storable arrays we have no hope of inferring the type of the elements: the elements are not stored as pointers, but rather as " serialized " data through the Storable type class. In order to get at any element, we'd need to have the corresponding Storable instance, but of course we don't have it if we don't have the type.
SomeStorableVector :: (Any :: Type) -> SomeStorableVectorrecover-rtti Debug.RecoverRTTI No documentation available.
-
recover-rtti Debug.RecoverRTTI Mutable storage vector (Data.Vector.Storable) See SomeStorableVector for some details on why we don't infer anything here.
SomeStorableVectorM :: (Any :: Type) -> SomeStorableVectorMrecover-rtti Debug.RecoverRTTI No documentation available.
supportsBitVectors :: SolverCapabilities -> Boolsbv Data.SBV.Internals Supports bit-vectors?
supportsBitVectors :: SolverCapabilities -> Boolsbv Data.SBV.Internals Supports bit-vectors?
-
sbv Data.SBV.Tools.GenTest Type of test vectors (abstract)
-
sbv Documentation.SBV.Examples.Crypto.Prince From Appendix A of the spec. We have:
>>> testVectors True
bitVectorFromSetAssigns :: Ord a => [Assign label (Set a)] -> [Assign label (Set Integer)]set-cover Math.SetCover.Exact You may use this to post-process a set of Assigns in order to speedup the solver considerably. You must process the whole set of Assigns at once, i.e. do not process only parts of the assignment list. The output of bitVectorFromSetAssigns should go into the solver as is.