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.

Exact lookup

1. data SumS a

   sbv	Documentation.SBV.Examples.WeakestPreconditions.Sum

   The state for the sum program, parameterized over a base type a.

2. SumS :: a -> a -> a -> SumS a

   sbv	Documentation.SBV.Examples.WeakestPreconditions.Sum

   No documentation available.

3. Summary :: Element "summary" ('[] :: [ContentCategory]) ('Phrasing ':|: 'Heading) ('[] :: [Symbol])

   type-of-html	Html.Type

   4.11.2

4. class Negatable a => Summable a

   typst	Typst.Types

   No documentation available.

5. data SumEncoding

   Agda	Agda.Interaction.JSON

   Specifies how to encode constructors of a sum datatype.

6. data SumTypeFormat

   aeson-typescript	Data.Aeson.TypeScript.TH

   TODO: docstrings here

7. module Sound.Audacity.Project.Track.Wave.Summary

   No documentation available.

8. SumAgg :: SumAggregation -> Aggregation

   bloodhound	Database.Bloodhound.Common.Types

   No documentation available.

9. newtype SumAggregation

   bloodhound	Database.Bloodhound.Common.Types

   No documentation available.

10. SumAggregation :: FieldName -> SumAggregation

    bloodhound	Database.Bloodhound.Common.Types

    No documentation available.

Page 30 of many | Previous | Next