Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

Exact lookup

1. data SymBiMap

   grisette	Grisette.Internal.Backend.SymBiMap

   A bidirectional map between symbolic Grisette terms and sbv terms.

2. SymBiMap :: HashMap SomeTerm (QuantifiedStack -> Dynamic) -> Int -> HashMap String SomeTypedAnySymbol -> Int -> SymBiMap

   grisette	Grisette.Internal.Backend.SymBiMap

   No documentation available.

3. addBiMap :: forall (knd :: SymbolKind) . HasCallStack => SomeTerm -> Dynamic -> String -> SomeTypedSymbol knd -> SymBiMap -> SymBiMap

   grisette	Grisette.Internal.Backend.SymBiMap

   Add a new entry to the bidirectional map.

4. addBiMapIntermediate :: HasCallStack => SomeTerm -> (QuantifiedStack -> Dynamic) -> SymBiMap -> SymBiMap

   grisette	Grisette.Internal.Backend.SymBiMap

   Add a new entry to the bidirectional map for intermediate values.

5. biMapFromSBV :: SymBiMap -> HashMap String SomeTypedAnySymbol

   grisette	Grisette.Internal.Backend.SymBiMap

   No documentation available.

6. biMapSize :: SymBiMap -> Int

   grisette	Grisette.Internal.Backend.SymBiMap

   No documentation available.

7. biMapToSBV :: SymBiMap -> HashMap SomeTerm (QuantifiedStack -> Dynamic)

   grisette	Grisette.Internal.Backend.SymBiMap

   No documentation available.

8. emptySymBiMap :: SymBiMap

   grisette	Grisette.Internal.Backend.SymBiMap

   An empty bidirectional map.

9. sizeBiMap :: SymBiMap -> Int

   grisette	Grisette.Internal.Backend.SymBiMap

   The size of the bidirectional map.

10. mrgFmap :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => (a -> b) -> f a -> f b

    grisette	Grisette.Lib.Control.Monad

    fmap with MergingStrategy knowledge propagation.

Page 1172 of many | Previous | Next