Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
SumFusePoly :: Text -> ((Enum a, Num a) => a -> a) -> a -> SumPattern aperf Perf.Algos No documentation available.
SumMono :: Text -> ([Int] -> Int) -> [Int] -> SumPattern aperf Perf.Algos No documentation available.
-
perf Perf.Algos Unification of sum function applications
SumPoly :: Text -> (Num a => [a] -> a) -> [a] -> SumPattern aperf Perf.Algos No documentation available.
class Profunctor p =>
SumProfunctor (p :: Type -> Type -> Type)product-profunctors Data.Profunctor.Product No documentation available.
class Profunctor p =>
SumProfunctor (p :: Type -> Type -> Type)product-profunctors Data.Profunctor.Product No documentation available.
-
No documentation available.
-
sbv Documentation.SBV.Examples.WeakestPreconditions.Sum The state for the sum program, parameterized over a base type a.
-
sbv Documentation.SBV.Examples.WeakestPreconditions.Sum No documentation available.
Summary :: Element "summary" ('[] :: [ContentCategory]) ('Phrasing ':|: 'Heading) ('[] :: [Symbol])type-of-html Html.Type 4.11.2