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.

  1. class PartialSemigroup a => PartialMonoid a

    algebra Numeric.Partial.Monoid

    No documentation available.

  2. data WrappedMonoid m

    classy-prelude-yesod ClassyPrelude.Yesod

    Provide a Semigroup for an arbitrary Monoid. NOTE: This is not needed anymore since Semigroup became a superclass of Monoid in base-4.11 and this newtype be deprecated at some point in the future.

  3. class (Monoid r, IsRecord r c) => IsMonoidalRecord r c

    columnar Text.Columnar

    IsRecord combines the column type with the record type, each record type determining the column type and vice versa

  4. convertMonoidalFieldMethodsToFieldMethods :: MonoidalFieldMethods r c -> FieldMethods r c

    columnar Text.Columnar

    No documentation available.

  5. mkMonoidalFieldMethods :: (TextParsable f, Buildable f, Monoid f) => Lens' r f -> MonoidalFieldMethods r c

    columnar Text.Columnar

    for constructing each field's MonoidalFieldMethods

  6. newtype FreeMonoid a

    folds Data.Fold.Internal

    No documentation available.

  7. FreeMonoid :: (forall m . Monoid m => (a -> m) -> m) -> FreeMonoid a

    folds Data.Fold.Internal

    No documentation available.

  8. runFreeMonoid :: FreeMonoid a -> forall m . Monoid m => (a -> m) -> m

    folds Data.Fold.Internal

    No documentation available.

  9. class QBifunctor prod => QMonoidal (prod :: k -> k1 -> Type -> k -> k1 -> Type -> k -> k1 -> Type) (unit :: k -> k1 -> Type) | prod -> unit

    free-categories Data.Quiver.Bifunctor

    A monoidal category structure on the category of quivers. This consists of a product bifunctor, a unit object and structure morphisms, an invertible associator, 

    qassoc . qdisassoc = id

    qdisassoc . qassoc = id
    and invertible left and right unitors, 
    qintro1 . qelim1 = id

    qelim1 . qintro1 = id

    qintro2 . qelim2 = id

    qelim2 . qintro2 = id
    that satisfy the pentagon equation, 
    qbimap id qassoc . qassoc . qbimap qassoc id = qassoc . qassoc
    and the triangle equation, 
    qbimap id qelim1 . qassoc = qbimap qelim2 id

  10. qtoMonoid :: forall m p (x :: k) (y :: k) . (QFoldable c, Monoid m) => (forall (x1 :: k) (y1 :: k) . () => p x1 y1 -> m) -> c p x y -> m

    free-categories Data.Quiver.Functor

    Map each element of the structure to a Monoid, and combine the results.

Page 36 of many | Previous | Next