Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. class ToProduct tuple (f :: u -> Type) (as :: [u]) | f as -> tuple

   world-peace	Data.WorldPeace

   This type class provides a way to turn a tuple into a Product.

2. tupleToOpenProduct :: forall t (as :: [Type]) . ToOpenProduct t as => t -> OpenProduct as

   world-peace	Data.WorldPeace

   Turn a tuple into an OpenProduct.

   Examples

   Turn a triple into an OpenProduct:

   >>> tupleToOpenProduct (1, 2.0, "hello") :: OpenProduct '[Int, Double, String]
   Cons (Identity 1) (Cons (Identity 2.0) (Cons (Identity "hello") Nil))
   

   Turn a single value into an OpenProduct:

   >>> tupleToOpenProduct 'c' :: OpenProduct '[Char]
   Cons (Identity 'c') Nil
   

3. type OpenProduct = Product Identity

   world-peace	Data.WorldPeace.Product

   Product Identity is used as a standard open product type.

4. class ToOpenProduct tuple (as :: [Type]) | as -> tuple

   world-peace	Data.WorldPeace.Product

   ToOpenProduct gives us a way to convert a tuple to an OpenProduct. See tupleToOpenProduct.

5. class ToProduct tuple (f :: u -> Type) (as :: [u]) | f as -> tuple

   world-peace	Data.WorldPeace.Product

   This type class provides a way to turn a tuple into a Product.

6. toOpenProduct :: ToOpenProduct tuple as => tuple -> OpenProduct as

   world-peace	Data.WorldPeace.Product

   No documentation available.

7. toProduct :: ToProduct tuple f as => tuple -> Product f as

   world-peace	Data.WorldPeace.Product

   Convert a tuple into a Product. See tupleToProduct for examples.

8. tupleToOpenProduct :: forall t (as :: [Type]) . ToOpenProduct t as => t -> OpenProduct as

   world-peace	Data.WorldPeace.Product

   Turn a tuple into an OpenProduct.

   Examples

   Turn a triple into an OpenProduct:

   >>> tupleToOpenProduct (1, 2.0, "hello") :: OpenProduct '[Int, Double, String]
   Cons (Identity 1) (Cons (Identity 2.0) (Cons (Identity "hello") Nil))
   

   Turn a single value into an OpenProduct:

   >>> tupleToOpenProduct 'c' :: OpenProduct '[Char]
   Cons (Identity 'c') Nil
   

9. ConsolidateProduct :: ConsolidateFunction

   xlsx	Codec.Xlsx.Types.PivotTable

   The product of the values.

10. cartesianProductWith :: Ord c => (a -> b -> c) -> Set a -> Set b -> Set c

    algebraic-graphs	Algebra.Graph.Internal

    Compute the Cartesian product of two sets, applying a function to each resulting pair.

Page 131 of many | Previous | Next