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 Data.Validity.HashMap

   No documentation available.

2. concatMap :: forall (m :: Type -> Type) a b . Monad m => (a -> Stream m b) -> Stream m a -> Stream m b

   vector-stream	Data.Stream.Monadic

   No documentation available.

3. concatMapM :: Monad m => (a -> m (Stream m b)) -> Stream m a -> Stream m b

   vector-stream	Data.Stream.Monadic

   No documentation available.

4. data HashMap k v

   web-rep	Web.Rep

   A map from keys to values. A map cannot contain duplicate keys; each key can map to at most one value.

5. ArrayMap :: forall (i :: Ctx BaseType) (itp :: BaseType) (tp1 :: BaseType) (e :: BaseType -> Type) . !Assignment BaseTypeRepr (i ::> itp) -> !BaseTypeRepr tp1 -> !ArrayUpdateMap e (i ::> itp) tp1 -> !e (BaseArrayType (i ::> itp) tp1) -> App e ('BaseArrayType (i ::> itp) tp1)

   what4	What4.Expr

   No documentation available.

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

   what4	What4.Expr

   Lookup function for querying by index

7. ArrayMap :: forall (i :: Ctx BaseType) (itp :: BaseType) (tp1 :: BaseType) (e :: BaseType -> Type) . !Assignment BaseTypeRepr (i ::> itp) -> !BaseTypeRepr tp1 -> !ArrayUpdateMap e (i ::> itp) tp1 -> !e (BaseArrayType (i ::> itp) tp1) -> App e ('BaseArrayType (i ::> itp) tp1)

   what4	What4.Expr.App

   No documentation available.

8. type BoundVarMap s t = HashTable s PPIndex Set Some ExprBoundVar t

   what4	What4.Expr.App

   No documentation available.

9. module What4.Expr.ArrayUpdateMap

   No documentation available.

10. data ArrayUpdateMap (e :: BaseType -> Type) (ctx :: Ctx BaseType) (tp :: BaseType)

    what4	What4.Expr.ArrayUpdateMap

    No documentation available.

Page 1095 of many | Previous | Next