Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

  1. 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

  2. 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.

  3. mapMonoidMap :: DecidablyEmpty b => (a -> b) -> MonoidMap k a -> MonoidMap k b

    monoid-map Data.MonoidMap

    No documentation available.

  4. traverseMonoidMap :: (Ord k, DecidablyEmpty b, Applicative f) => (a -> f b) -> MonoidMap k a -> f (MonoidMap k b)

    monoid-map Data.MonoidMap

    No documentation available.

  5. unMonoidMap :: MonoidMap k v -> MonoidalMap k v

    monoid-map Data.MonoidMap

    No documentation available.

  6. newtype GMonoid a

    one-liner-instances Data.Monoid.OneLiner

    If a is a data type with a single constructor whose fields are all instances of Semigroup, then GMonoid a has a Semigroup instance. If a is a data type with a single constructor whose fields are all instances of Monoid, then GMonoid a has a Monoid instance. Will one day be able to be used with DerivingVia syntax, to derive instances automatically.

  7. GMonoid :: a -> GMonoid a

    one-liner-instances Data.Monoid.OneLiner

    No documentation available.

  8. getGMonoid :: GMonoid a -> a

    one-liner-instances Data.Monoid.OneLiner

    No documentation available.

Page 16 of many | Previous | Next