Hoogle Search

Within LTS Haskell 24.3 (ghc-9.10.2)

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

  1. cctraverseZipFreeMonoid :: (CFreeMonoid t, CRepeat f, Dom t a, Dom f (t b), Dom f b, Dom t b, Dom f (t b, t b)) => (a -> f b) -> t a -> f (t b)

    subcategories Control.Subcategory.Foldable

    No documentation available.

  2. module Agda.Utils.POMonoid

    Partially ordered monoids.

  3. class POMonoid a => LeftClosedPOMonoid a

    Agda Agda.Utils.POMonoid

    Completing POMonoids with inverses to form a Galois connection. Law: composition and inverse composition form a Galois connection. 

    related (inverseCompose p x) POLE y == related x POLE (p <> y)

  4. class (PartialOrd a, Semigroup a, Monoid a) => POMonoid a

    Agda Agda.Utils.POMonoid

    Partially ordered monoid. Law: composition must be monotone. 

    related x POLE x' && related y POLE y' ==>
related (x <> y) POLE (x' <> y')

  5. data SomeMonoidTypeRep

    cauldron Cauldron.Args

    Like SomeTypeRep, but also remembering that the type has a Monoid instance, which can be "recovered" after pattern-matching on the SomeMonoidTypeRep.

  6. data SomeMonoidTypeRep

    cauldron Cauldron.Beans

    Like SomeTypeRep, but also remembering that the type has a Monoid instance, which can be "recovered" after pattern-matching on the SomeMonoidTypeRep.

  7. SomeMonoidTypeRep :: forall a . Monoid a => TypeRep a -> SomeMonoidTypeRep

    cauldron Cauldron.Beans

    No documentation available.

  8. someMonoidTypeRepMempty :: SomeMonoidTypeRep -> Dynamic

    cauldron Cauldron.Beans

    The mempty value corresponding to the inner TypeRep.

  9. unionBeansMonoidally :: Set SomeMonoidTypeRep -> Beans -> Beans -> Beans

    cauldron Cauldron.Beans

    Union of to Beans maps. If both share a TypeRep key and the key is present in the SomeMonoidTypeRep Set, combine the values monoidally. Otherwise, keep the value from the second Beans map.

  10. package colorful-monoids

    Styled console text output using ANSI escape sequences. This library provides styled text output using ANSI escape sequences. The colored text is modeled as nested Colored values, which form a Monoid. As a result the colored code has a relatively concise form.

Page 32 of many | Previous | Next