Hoogle Search
Within LTS Haskell 24.25 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
math-functions Numeric.Sum A class for summation of floating point numbers.
class Num a =>
SumCancellative amonoid-subclasses Data.Semigroup.Cancellative Helper class to avoid FlexibleInstances
type family
SumLen (a :: k -> Type) :: Natgeneric-arbitrary Test.QuickCheck.Arbitrary.Generic Calculates count of constructors encoded by particular :+:. Internal use only.
data
SumSym0 (a1 :: TyFun t a a)singletons-base Data.Foldable.Singletons No documentation available.
type family
SumSym1 (a6989586621680407301 :: t a) :: asingletons-base Data.Foldable.Singletons No documentation available.
data
SumSym0 (a1 :: TyFun t a a)singletons-base Data.List.Singletons No documentation available.
type family
SumSym1 (a6989586621680407301 :: t a) :: asingletons-base Data.List.Singletons No documentation available.
data
SumSym0 (a1 :: TyFun a Sum a)singletons-base Data.Monoid.Singletons No documentation available.
type family
SumSym1 (a6989586621679696626 :: a) :: Sum asingletons-base Data.Monoid.Singletons No documentation available.
data
SumSym0 (a1 :: TyFun a Sum a)singletons-base Data.Semigroup.Singletons No documentation available.