Hoogle Search

Within LTS Haskell 24.12 (ghc-9.10.3)

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

Exact lookup

1. lookupConcat :: (Monoid m, Functor f) => (forall p . c p => Maybe p) -> (forall p . c p => p -> f (p -> a) -> m) -> PolyMap c f a -> m

   reroute	Data.PolyMap

   No documentation available.

2. lookupExplicitly :: Int -> (a -> Bool) -> Hamt a -> STM (Maybe a)

   stm-hamt	StmHamt.Hamt

   No documentation available.

3. lookupOrdCondCompare :: TcPluginM (TyCon, TyCon)

   typecheck-plugin-nat-simple	Plugin.TypeCheck.Nat.Simple.Decode

   No documentation available.

4. lookupEnvVar :: Operations (m :: Type -> Type) -> String -> m (Maybe String)

   typst	Typst.Types

   No documentation available.

5. lookupIdentifier :: forall (m :: Type -> Type) . Monad m => Identifier -> MP m Val

   typst	Typst.Types

   No documentation available.

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

   what4	What4.Expr

   Look up an index in an ground array.

7. lookupBindingOfSymbol :: SolverSymbol -> SymbolVarBimap t -> Maybe (SymbolBinding t)

   what4	What4.Expr.Builder

   No documentation available.

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

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

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

    what4	What4.Expr.Builder

    No documentation available.

Page 116 of many | Previous | Next