Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. type ObjectSum (k :: Type -> Type -> Type) a b = (Category k, Object k a, Object k b, SumObjects k a b, Object k a + b)

   constrained-categories	Control.Category.Constrained

   No documentation available.

2. boolAsSum :: (CoCartesian k, ObjectSum k u u, u ~ UnitObject k, Object k Bool) => k Bool (u + u)

   constrained-categories	Control.Category.Constrained

   No documentation available.

3. boolFromSum :: (CoCartesian k, ObjectSum k u u, u ~ UnitObject k, Object k Bool) => k (u + u) Bool

   constrained-categories	Control.Category.Constrained

   No documentation available.

4. maybeAsSum :: (CoCartesian k, ObjectSum k u a, u ~ UnitObject k, Object k (Maybe a)) => k (Maybe a) (u + a)

   constrained-categories	Control.Category.Constrained

   No documentation available.

5. maybeFromSum :: (CoCartesian k, ObjectSum k u a, u ~ UnitObject k, Object k (Maybe a)) => k (u + a) (Maybe a)

   constrained-categories	Control.Category.Constrained

   No documentation available.

6. type ObjectSum (k :: Type -> Type -> Type) a b = (Category k, Object k a, Object k b, SumObjects k a b, Object k a + b)

   constrained-categories	Control.Category.Constrained.Prelude

   No documentation available.

7. boolAsSum :: (CoCartesian k, ObjectSum k u u, u ~ UnitObject k, Object k Bool) => k Bool (u + u)

   constrained-categories	Control.Category.Constrained.Prelude

   No documentation available.

8. boolFromSum :: (CoCartesian k, ObjectSum k u u, u ~ UnitObject k, Object k Bool) => k (u + u) Bool

   constrained-categories	Control.Category.Constrained.Prelude

   No documentation available.

9. maybeAsSum :: (CoCartesian k, ObjectSum k u a, u ~ UnitObject k, Object k (Maybe a)) => k (Maybe a) (u + a)

   constrained-categories	Control.Category.Constrained.Prelude

   No documentation available.

10. maybeFromSum :: (CoCartesian k, ObjectSum k u a, u ~ UnitObject k, Object k (Maybe a)) => k (u + a) (Maybe a)

    constrained-categories	Control.Category.Constrained.Prelude

    No documentation available.

Page 236 of many | Previous | Next