Hoogle Search
Within LTS Haskell 24.36 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
Partially ordered monoids.
class POMonoid a =>
LeftClosedPOMonoid aAgda 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)
class (PartialOrd a, Semigroup a, Monoid a) =>
POMonoid aAgda 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')
-
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.
-
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.
SomeMonoidTypeRep :: forall a . Monoid a => TypeRep a -> SomeMonoidTypeRepcauldron Cauldron.Beans No documentation available.
someMonoidTypeRepMempty :: SomeMonoidTypeRep -> Dynamiccauldron Cauldron.Beans unionBeansMonoidally :: Set SomeMonoidTypeRep -> Beans -> Beans -> Beanscauldron 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.
-
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.
-
configuration-tools Configuration.Utils.Monoid Update a value by appending on the left. Under normal circumstances you'll never use this type directly but only its FromJSON instance. See the leftMonoidalUpdate for an example.