Hoogle Search

Within LTS Haskell 24.55 (ghc-9.10.3)

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

  1. class Morphism a => PreArrow (a :: Type -> Type -> Type)

    constrained-categories Control.Arrow.Constrained

    Unlike first, second, *** and arr, the fanout operation &&& has an intrinsic notion of "direction": it is basically equivalent to precomposing the result of *** with a b -> (b,b), but that is only available for arrows that generalise ordinary functions, in their native direction. ((b,b) ->b is specific to semigroups.) It is for this reason the only constituent class of Arrow that actually has "arrow" in its name. In terms of category theory, this "direction" reflects the distinction between initial- and terminal objects. The latter are more interesting, basically what UnitObject is useful for. It gives rise to the tuple selector morphisms as well.

  2. PreArrowAttachUnit :: forall (k :: Type -> Type -> Type) α u . (Object k α, UnitObject k ~ u, ObjectPair k α u) => RePreArrow k α (α, u)

    constrained-categories Control.Category.Constrained.Reified

    No documentation available.

  3. PreArrowCompo :: forall (k :: Type -> Type -> Type) β1 α β . Object k β1 => RePreArrow k α β1 -> RePreArrow k β1 β -> RePreArrow k α β

    constrained-categories Control.Category.Constrained.Reified

    No documentation available.

  4. PreArrowDetachUnit :: forall (k :: Type -> Type -> Type) β u . (Object k β, UnitObject k ~ u, ObjectPair k β u) => RePreArrow k (β, u) β

    constrained-categories Control.Category.Constrained.Reified

    No documentation available.

  5. PreArrowFanout :: forall (k :: Type -> Type -> Type) α β1 γ . (Object k α, ObjectPair k β1 γ) => RePreArrow k α β1 -> RePreArrow k α γ -> RePreArrow k α (β1, γ)

    constrained-categories Control.Category.Constrained.Reified

    No documentation available.

  6. PreArrowFst :: forall (k :: Type -> Type -> Type) β β1 . ObjectPair k β β1 => RePreArrow k (β, β1) β

    constrained-categories Control.Category.Constrained.Reified

    No documentation available.

  7. PreArrowId :: forall (k :: Type -> Type -> Type) α . Object k α => RePreArrow k α α

    constrained-categories Control.Category.Constrained.Reified

    No documentation available.

  8. PreArrowPar :: forall (k :: Type -> Type -> Type) α1 γ β1 δ . (ObjectPair k α1 γ, ObjectPair k β1 δ) => RePreArrow k α1 β1 -> RePreArrow k γ δ -> RePreArrow k (α1, γ) (β1, δ)

    constrained-categories Control.Category.Constrained.Reified

    No documentation available.

  9. PreArrowRegroup :: forall (k :: Type -> Type -> Type) α1 β1 γ . (ObjectPair k α1 β1, ObjectPair k β1 γ, ObjectPair k α1 (β1, γ), ObjectPair k (α1, β1) γ) => RePreArrow k (α1, (β1, γ)) ((α1, β1), γ)

    constrained-categories Control.Category.Constrained.Reified

    No documentation available.

  10. PreArrowRegroup_ :: forall (k :: Type -> Type -> Type) α1 β1 γ . (ObjectPair k α1 β1, ObjectPair k β1 γ, ObjectPair k α1 (β1, γ), ObjectPair k (α1, β1) γ) => RePreArrow k ((α1, β1), γ) (α1, (β1, γ))

    constrained-categories Control.Category.Constrained.Reified

    No documentation available.

Page 108 of many | Previous | Next