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.

Exact lookup

1. data CalRangeSummary

   currycarbon	Currycarbon.Types

   A data type to store a simple range summary of the calibrated date, including the median age

2. CalRangeSummary :: YearBCAD -> YearBCAD -> YearBCAD -> YearBCAD -> YearBCAD -> CalRangeSummary

   currycarbon	Currycarbon.Types

   No documentation available.

3. _calC14RangeSummary :: CalC14 -> CalRangeSummary

   currycarbon	Currycarbon.Types

   Summary of the range of the calibrated date

4. histSum :: Metric -> Double

   data-prometheus	Data.Prometheus.Types

   No documentation available.

5. newtype FakeDSum (f :: k -> Type) (g :: k -> Type)

   dependent-monoidal-map	Data.Dependent.Map.Monoidal

   No documentation available.

6. FakeDSum :: DSum f g -> FakeDSum (f :: k -> Type) (g :: k -> Type)

   dependent-monoidal-map	Data.Dependent.Map.Monoidal

   No documentation available.

7. unFakeDSum :: FakeDSum (f :: k -> Type) (g :: k -> Type) -> DSum f g

   dependent-monoidal-map	Data.Dependent.Map.Monoidal

   No documentation available.

8. msum :: (Foldable t, MonadPlus m) => t (m a) -> m a

   distribution-opensuse	OpenSuse.Prelude

   The sum of a collection of actions using (<|>), generalizing concat. msum is just like asum, but specialised to MonadPlus.

   Examples

   Basic usage, using the MonadPlus instance for Maybe:

   >>> msum [Just "Hello", Nothing, Just "World"]
   Just "Hello"
   

9. elimSum :: forall k (f :: k -> Type) (g :: k -> Type) (a :: k) (p :: Sum f g a ~> Type) (s :: Sum f g a) . Sing s -> (forall (f0 :: f a) . () => Sing f0 -> Apply p ('InL f0 :: Sum f g a)) -> (forall (f0 :: g a) . () => Sing f0 -> Apply p ('InR f0 :: Sum f g a)) -> Apply p s

   eliminators	Data.Eliminator.Functor

   No documentation available.

10. elimSum :: forall a (p :: Sum a ~> Type) (s :: Sum a) . Sing s -> (forall (f0 :: a) . () => Sing f0 -> Apply p ('Sum f0)) -> Apply p s

    eliminators	Data.Eliminator.Monoid

    No documentation available.

Page 208 of many | Previous | Next