Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. module What4.Utils.AnnotatedMap

   A finite map data structure with monoidal annotations.

2. data AnnotatedMap k v a

   what4	What4.Utils.AnnotatedMap

   No documentation available.

3. module What4.Utils.LeqMap

   This module defines a strict map. It is similiar to Data.Map.Strict, but provides some additional operations including splitEntry, splitLeq, fromDistinctDescList.

4. data LeqMap k p

   what4	What4.Utils.LeqMap

   No documentation available.

5. module What4.WordMap

   No documentation available.

6. SimpleWordMap :: !SymExpr sym (BaseArrayType ((EmptyCtx :: Ctx BaseType) ::> BaseBVType w) BaseBoolType) -> !SymExpr sym (BaseArrayType ((EmptyCtx :: Ctx BaseType) ::> BaseBVType w) tp) -> WordMap sym (w :: Nat) (tp :: BaseType)

   what4	What4.WordMap

   No documentation available.

7. data WordMap sym (w :: Nat) (tp :: BaseType)

   what4	What4.WordMap

   A WordMap represents a finite partial map from bitvectors of width w to elements of type tp.

8. emptyWordMap :: forall sym (w :: Natural) (a :: BaseType) . (IsExprBuilder sym, 1 <= w) => sym -> NatRepr w -> BaseTypeRepr a -> IO (WordMap sym w a)

   what4	What4.WordMap

   Create a word map where every element is undefined.

9. insertWordMap :: forall sym (w :: Nat) (a :: BaseType) . IsExprBuilder sym => sym -> NatRepr w -> BaseTypeRepr a -> SymBV sym w -> SymExpr sym a -> WordMap sym w a -> IO (WordMap sym w a)

   what4	What4.WordMap

   Update a word map at the given index.

10. lookupWordMap :: forall sym (w :: Nat) (a :: BaseType) . IsExprBuilder sym => sym -> NatRepr w -> BaseTypeRepr a -> SymBV sym w -> WordMap sym w a -> IO (PartExpr (Pred sym) (SymExpr sym a))

    what4	What4.WordMap

    Lookup the value of an index in a word map.

Page 1099 of many | Previous | Next