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.

Exact lookup

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

   constrained-categories	Control.Category.Constrained.Reified

   No documentation available.

2. PreArrowSwap :: forall (k :: Type -> Type -> Type) α1 β1 . (ObjectPair k α1 β1, ObjectPair k β1 α1) => RePreArrow k (α1, β1) (β1, α1)

   constrained-categories	Control.Category.Constrained.Reified

   No documentation available.

3. PreArrowTerminal :: forall (k :: Type -> Type -> Type) α . Object k α => RePreArrow k α (UnitObject k)

   constrained-categories	Control.Category.Constrained.Reified

   No documentation available.

4. data RePreArrow (k :: Type -> Type -> Type) α β

   constrained-categories	Control.Category.Constrained.Reified

   No documentation available.

5. RePreArrow :: forall (k :: Type -> Type -> Type) α β . k α β -> RePreArrow k α β

   constrained-categories	Control.Category.Constrained.Reified

   No documentation available.

6. class CRCartesian k => CRPreArrow (k :: Type -> Type -> Type)

   constrained-categories	Control.Category.Constrained.Reified.PolyPattern

   No documentation available.

7. HTArrow :: HType -> HType -> HType

   djinn-lib	Djinn.HTypes

   No documentation available.

8. KArrow :: HKind -> HKind -> HKind

   djinn-lib	Djinn.HTypes

   No documentation available.

9. WrapArrow :: a b c -> WrappedArrow (a :: Type -> Type -> Type) b c

   frisby	Text.Parsers.Frisby

   No documentation available.

10. newtype WrappedArrow (a :: Type -> Type -> Type) b c

    frisby	Text.Parsers.Frisby

    No documentation available.

Page 109 of many | Previous | Next