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. gproduct :: (GFoldable t, Num a) => t a -> a

    generic-deriving Generics.Deriving.Foldable

    No documentation available.

  2. getProduct :: Product a -> a

    generic-deriving Generics.Deriving.Monoid

    No documentation available.

  3. oproduct :: (MonoFoldable mono, Num (Element mono)) => mono -> Element mono

    mono-traversable Data.MonoTraversable

    oproduct computes the product of the numbers of a monomorphic container.

  4. biproduct :: (Bifoldable t, Num a) => t a a -> a

    rio RIO.Prelude

    The biproduct function computes the product of the numbers of a structure.

    Examples

    Basic usage:
    >>> biproduct (42, 17)
    714
    
    >>> biproduct (Right 42)
    42
    
    >>> biproduct (BiList [13, 29, 4] [18, 1, 7])
    190008
    
    >>> biproduct (BiList [13, 29, 4] [])
    1508
    
    >>> biproduct (BiList [] [])
    1
    

  5. type IsProductType a (xs :: [Type]) = (Generic a, Code a ~ '[xs])

    generics-sop Generics.SOP

    Constraint that captures that a datatype is a product type, i.e., a type with a single constructor. It also gives access to the code for the arguments of that constructor.

  6. type IsProductType a (xs :: [Type]) = (Generic a, Code a ~ '[xs])

    generics-sop Generics.SOP.Universe

    Constraint that captures that a datatype is a product type, i.e., a type with a single constructor. It also gives access to the code for the arguments of that constructor.

  7. getProduct :: Product a -> a

    relude Relude.Monoid

    No documentation available.

  8. sProduct :: forall a (t1 :: t a) . (SFoldable t, SNum a) => Sing t1 -> Sing (Apply (ProductSym0 :: TyFun (t a) a -> Type) t1)

    singletons-base Data.Foldable.Singletons

    No documentation available.

  9. data SProduct (a1 :: Product f g a)

    singletons-base Data.Functor.Product.Singletons

    No documentation available.

  10. sProduct :: forall a (t1 :: t a) . (SFoldable t, SNum a) => Sing t1 -> Sing (Apply (ProductSym0 :: TyFun (t a) a -> Type) t1)

    singletons-base Data.List.Singletons

    No documentation available.

Page 116 of many | Previous | Next