Hoogle Search

Within LTS Haskell 24.61 (ghc-9.10.3)

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

Exact lookup

1. lookupIdx :: forall m t f (tp :: BaseType) . MonadIO m => IdxCache t f -> Nonce t tp -> m (Maybe (f tp))

   what4	What4.Expr.Builder

   No documentation available.

2. lookupIdxValue :: forall m t f (tp :: BaseType) . MonadIO m => IdxCache t f -> Expr t tp -> m (Maybe (f tp))

   what4	What4.Expr.Builder

   Return the value associated to the expr in the index.

3. lookupSymbolOfBinding :: SymbolBinding t -> SymbolVarBimap t -> Maybe SolverSymbol

   what4	What4.Expr.Builder

   No documentation available.

4. lookupArray :: forall (idx :: Ctx BaseType) (b :: BaseType) . Assignment BaseTypeRepr idx -> GroundArray idx b -> Assignment GroundValueWrapper idx -> IO (GroundValue b)

   what4	What4.Expr.GroundEval

   Look up an index in an ground array.

5. lookupGE :: Ord k => k -> LeqMap k p -> Maybe (k, p)

   what4	What4.Utils.LeqMap

   Find largest element that is at least key (if any).

6. lookupGT :: Ord k => k -> LeqMap k p -> Maybe (k, p)

   what4	What4.Utils.LeqMap

   Find less than element that is less than key (if any).

7. lookupLE :: Ord k => k -> LeqMap k p -> Maybe (k, p)

   what4	What4.Utils.LeqMap

   Find largest element that is less than or equal to key (if any).

8. lookupLT :: Ord k => k -> LeqMap k p -> Maybe (k, p)

   what4	What4.Utils.LeqMap

   Find less than element that is less than key (if any).

9. 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.

10. lookUpListElement :: forall k w (t :: k) (lt :: [k]) . TestEquality w => w t -> ListType w lt -> Maybe (ListElementType lt t)

    witness	Data.Type.Witness.Specific.List.Element

    No documentation available.

Page 119 of many | Previous | Next