Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. MapOverArrays :: forall t (ctx :: Ctx BaseType) (d :: BaseType) (r :: BaseType) (idx :: Ctx BaseType) (itp :: BaseType) (e :: BaseType -> Type) . !ExprSymFn t (ctx ::> d) r -> !Assignment BaseTypeRepr (idx ::> itp) -> !Assignment (ArrayResultWrapper e (idx ::> itp)) (ctx ::> d) -> NonceApp t e ('BaseArrayType (idx ::> itp) r)

   what4	What4.Expr.Builder

   No documentation available.

2. type MappingRequest = CInt

   xmonad	XMonad

   No documentation available.

3. data Mapping a

   yaml-unscrambler	YamlUnscrambler

   Mapping value parser.

4. data Mapping

   yaml-unscrambler	YamlUnscrambler.Expectations

   No documentation available.

5. class MapNamedArgPattern a

   Agda	Agda.Syntax.Abstract.Pattern

   No documentation available.

6. class MapNamedArgPattern a p

   Agda	Agda.Syntax.Internal.Pattern

   No documentation available.

7. module Agda.Utils.Map1

   Non-empty maps. Provides type Map1 of non-empty maps. Import: @ import Agda.Utils.Map1 (Map1) import qualified Agda.Utils.Map1 as Map1 @

8. type Map1 = NEMap

   Agda	Agda.Utils.Map1

   No documentation available.

9. newtype Mapping

   bloodhound	Database.Bloodhound.Client.Cluster

   Support for type reification of Mappings is currently incomplete, for now the mapping API verbiage expects a ToJSONable blob. Indexes have mappings, mappings are schemas for the documents contained in the index. I'd recommend having only one mapping per index, always having a mapping, and keeping different kinds of documents separated if possible.

10. Mapping :: [MappingField] -> Mapping

    bloodhound	Database.Bloodhound.Client.Cluster

    No documentation available.

Page 375 of many | Previous | Next