Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

  1. invmap :: Invariant f => (a -> a') -> (a' -> a) -> f a -> f a'

    monoidal-functors Data.Functor.Invariant

    Given two isomorphic functions f and g, map over the invariant parameter a.

    Examples

    >>> :t invmap @Identity (read @Bool) show
invmap @Identity (read @Bool) show :: Identity String -> Identity Bool

    >>> invmap @Identity (read @Bool) show (Identity "True")
Identity True

  2. package monoidmap-aeson

    JSON support for monoidmap. JSON support for the monoidmap package, compatible with aeson.

  3. package monoidmap-examples

    Examples for monoidmap. Examples for the monoidmap package.

  4. module Data.MonoidMap.Examples.MultiMap

    Provides the MultiMap class, which models a total relation from unique keys to sets of values.

    Implementations

    The following example implementations are provided: TODO: table

  5. class (Eq m k v, Ord k, Ord v) => MultiMap (m :: Type -> Type -> Type) k v

    monoidmap-examples Data.MonoidMap.Examples.MultiMap

    Models a total relation from unique keys to sets of values.

  6. isSubmapOf :: MultiMap m k v => m k v -> m k v -> Bool

    monoidmap-examples Data.MonoidMap.Examples.MultiMap

    Indicates whether or not the first map is a sub-map of the second. 

    m1 `isSubmapOf` m2 ≡ ∀ k. (lookup k m1 `Set.isSubsetOf` lookup k m2)

  7. class (Eq m k v, Ord k, Ord v) => MultiMap (m :: Type -> Type -> Type) k v

    monoidmap-examples Data.MonoidMap.Examples.MultiMap.Class

    Models a total relation from unique keys to sets of values.

  8. isSubmapOf :: MultiMap m k v => m k v -> m k v -> Bool

    monoidmap-examples Data.MonoidMap.Examples.MultiMap.Class

    Indicates whether or not the first map is a sub-map of the second. 

    m1 `isSubmapOf` m2 ≡ ∀ k. (lookup k m1 `Set.isSubsetOf` lookup k m2)

  9. module Data.MonoidMap.Examples.MultiMap.Instances.MultiMap1

    An unlawful implementation of MultiMap, implemented in terms of Map and Set. This implementation has several subtle bugs. 💥

  10. MultiMap :: Map k (Set v) -> MultiMap1 k v

    monoidmap-examples Data.MonoidMap.Examples.MultiMap.Instances.MultiMap1

    No documentation available.

Page 1193 of many | Previous | Next