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. tot_sumsq_m :: Double -> Vector Double -> Double

   hmatrix-gsl-stats	Numeric.GSL.Statistics

   the total sum of squares about the precomputed mean

2. tot_sumsq_w :: Vector Double -> Vector Double -> Double

   hmatrix-gsl-stats	Numeric.GSL.Statistics

   the weighted total sum of squares about the mean

3. tot_sumsq_w_m :: Double -> Vector Double -> Vector Double -> Double

   hmatrix-gsl-stats	Numeric.GSL.Statistics

   the weighted total sum of squares about the precomputed mean

4. asum :: (Foldable t, Alternative f) => t (f a) -> f a

   incipit-base	Incipit.Foldable

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

   Examples

   Basic usage:

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

5. class InputParsing m => ConsumedInputParsing (m :: Type -> Type)

   input-parsers	Text.Parser.Input

   Parsers that keep track of the consumed input.

6. nonLinearSubsume :: (a, a) -> (a, a)

   linear-base	Simple.Pure

   No documentation available.

7. knSummary :: Knowledge -> ![(Symbol, Int)]

   liquid-fixpoint	Language.Fixpoint.Solver.Interpreter

   summary of functions to be evaluates (knSims and knAsms) with their arity

8. knSummary :: Knowledge -> ![(Symbol, Int)]

   liquid-fixpoint	Language.Fixpoint.Solver.PLE

   summary of functions to be evaluates (knSims and knAsms) with their arity

9. makeAssumeReflectAxioms :: GhcSrc -> Env -> TycEnv -> GhcSpecSig -> BareSpec -> Lookup [(Var, LocSpecType, Equation)]

   liquidhaskell-boot	Language.Haskell.Liquid.Bare.Axiom

   No documentation available.

10. Assumed :: a -> Template a

    liquidhaskell-boot	Language.Haskell.Liquid.Constraint.Template

    No documentation available.

Page 173 of many | Previous | Next