Hoogle Search

Within LTS Haskell 24.12 (ghc-9.10.3)

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

Exact lookup

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

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

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

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

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

   constrained-categories	Control.Category.Constrained.Reified

   No documentation available.

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

   constrained-categories	Control.Category.Constrained.Reified

   No documentation available.

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

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

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. PreArrowSnd :: forall (k :: Type -> Type -> Type) α1 β . ObjectPair k α1 β => RePreArrow k (α1, β) β

    constrained-categories	Control.Category.Constrained.Reified

    No documentation available.

Page 108 of many | Previous | Next