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.

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

  2. type OpenProduct = Product Identity

    world-peace Data.WorldPeace.Product

    Product Identity is used as a standard open product type.

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

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

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

    world-peace Data.WorldPeace.Product

    No documentation available.

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

    world-peace Data.WorldPeace.Product

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

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

  8. ConsolidateProduct :: ConsolidateFunction

    xlsx Codec.Xlsx.Types.PivotTable

    The product of the values.

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

  10. PortProduct :: String -> [PortName] -> PortName

    clash-prelude Clash.Annotations.TopEntity

    You want to assign ports to fields of a product argument/type The first argument of PortProduct is the name of:

    1. The signal/wire to which the individual ports are aggregated.
    2. The prefix for any unnamed ports below the PortProduct
    You can use an empty String ,"" , in case you want an auto-generated name.

Page 131 of many | Previous | Next