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. sumOffset :: forall (f1 :: BaseType -> Type) (sr :: SemiRing) f2 . Functor f2 => (Coefficient sr -> f2 (Coefficient sr)) -> WeightedSum f1 sr -> f2 (WeightedSum f1 sr)

   what4	What4.Expr.WeightedSum

   Retrieve the constant addend of the weighted sum.

2. sumRepr :: WeightedSum f sr -> SemiRingRepr sr

   what4	What4.Expr.WeightedSum

   Runtime representation of the semiring for this sum.

3. sumExpr :: SupportTermOps v => [v] -> v

   what4	What4.Protocol.SMTWriter

   Add a list of values together.

4. sumPoolFlow :: CashFlowFrame -> PoolSource -> Balance

   Hastructure	Cashflow

   lookup a pool source from a row

5. sumTsCF :: [TsRow] -> Date -> TsRow

   Hastructure	Cashflow

   No documentation available.

6. sumValTs :: Ts -> Amount

   Hastructure	Lib

   No documentation available.

7. sumTxn :: [Txn] -> Balance

   Hastructure	Stmt

   No documentation available.

8. sumV :: [Vec] -> Vec

   LPFP	LPFP

   Add a list of vectors.

9. sumG :: AbstractVector a => [a] -> a

   LPFP	LPFP.ElectricField

   No documentation available.

10. sumF :: [R -> R] -> R -> R

    LPFP	LPFP.Newton2

    No documentation available.

Page 59 of many | Previous | Next