Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. solverResetAssertions :: Solver handle => handle -> IO (Either SolvingFailure ())

    grisette Grisette.Internal.Core.Data.Class.Solver

    Reset all assertions in the solver. The solver keeps all the assertions used in the previous commands: 

    >>> solver <- newSolver z3

>>> solverSolve solver "a"
Right (Model {a -> true :: Bool})

>>> solverSolve solver $ symNot "a"
Left Unsat
    You can clear the assertions using solverResetAssertions: 
    >>> solverResetAssertions solver
Right ()

>>> solverSolve solver $ symNot "a"
Right (Model {a -> false :: Bool})

  2. symSetBitTo :: SymFiniteBits a => a -> Int -> SymBool -> a

    grisette Grisette.Internal.Core.Data.Class.SymFiniteBits

    Set a bit in a symbolic value to a specific value.

  3. keysSet :: Ord k => Map k a -> Set k

    hashmap Data.HashMap

    The set of all keys of the map.

  4. module Data.HashSet

    Persistent Set based on hashing, which is defined as 

    data Set e = IntMap (Some e)
    is an IntMap indexed by hash values of elements, containing a value of Some e. That contains either one e or a Set e with elements of the same hash values. The interface of a Set is a suitable subset of IntSet and can be used as a drop-in replacement of Set. The complexity of operations is determined by the complexities of IntMap and Set operations. See the sources of Set to see which operations from containers package are used.

  5. type HashSet a = Set a

    hashmap Data.HashSet

    Deprecated: HashSet is deprecated. Please use Set instead.

  6. isProperSubsetOf :: Ord a => Set a -> Set a -> Bool

    hashmap Data.HashSet

    Is this a proper subset? (ie. a subset but not equal).

  7. isSubsetOf :: Ord a => Set a -> Set a -> Bool

    hashmap Data.HashSet

    Is this a subset?

  8. isCoinbaseTx :: Tx -> Bool

    haskoin-store-data Haskoin.Store.Data

    No documentation available.

  9. epochOffset :: Integral i => i

    hebrew-time Data.Time.Calendar.Hebrew.Internal

    No documentation available.

  10. type EDNSet = Set TaggedValue

    hedn Data.EDN

    No documentation available.

Page 193 of many | Previous | Next