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.

  1. DerivErrEnumOrProduct :: DeriveInstanceErrReason -> DeriveInstanceErrReason -> DeriveInstanceErrReason

    ghc GHC.Tc.Errors.Types

    We couldn't derive an instance either because the type was not an enum type or because it did have more than one constructor.

  2. gproduct :: (GFoldable t, Num a) => t a -> a

    generic-deriving Generics.Deriving.Foldable

    No documentation available.

  3. getProduct :: Product a -> a

    generic-deriving Generics.Deriving.Monoid

    No documentation available.

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

    mono-traversable Data.MonoTraversable

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

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

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

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

  8. getProduct :: Product a -> a

    relude Relude.Monoid

    No documentation available.

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

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

    singletons-base Data.Functor.Product.Singletons

    No documentation available.

Page 116 of many | Previous | Next