Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. registerConsumer :: forall m (n :: Type -> Type) idx job . (MonadBase IO m, MonadMask m, MonadTime m) => ConsumerConfig n idx job -> ConnectionSourceM m -> m ConsumerID

   consumers	Database.PostgreSQL.Consumers.Consumer

   Register consumer in the consumers table, so that it can reserve jobs using acquired ID.

2. unregisterConsumer :: forall m (n :: Type -> Type) idx job . (MonadBase IO m, MonadMask m) => ConsumerConfig n idx job -> ConnectionSourceM m -> ConsumerID -> m ()

   consumers	Database.PostgreSQL.Consumers.Consumer

   Unregister consumer with a given ID.

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

   control-monad-free	Control.Monad.Free

   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"
   

4. assume :: PropRef Universal -> Proof a

   copilot-theorem	Copilot.Theorem

   Assume that a property, given by reference, holds.

5. Assume :: PropId -> Action

   copilot-theorem	Copilot.Theorem.Prove

   No documentation available.

6. assumptions :: BisimulationProofBundle sym -> [Pred sym]

   copilot-theorem	Copilot.Theorem.What4

   User-provided property assumptions

7. ecPointsMulAndSum :: EcGroup -> [(EcPoint, Integer)] -> EcPoint

   cryptonite-openssl	Crypto.OpenSSL.ECC

   compute sum ((q,m) -> q * m) l

8. ecPointsMulOfPowerAndSum :: EcGroup -> [EcPoint] -> Integer -> EcPoint

   cryptonite-openssl	Crypto.OpenSSL.ECC

   Compute the sum of the point to the nth power

   f [p1,p2,..,pi] n = p1 * (n ^ 0) + p2 * (n ^ 1) + .. + pi * (n ^ i-1)
   

9. ecPointsSum :: EcGroup -> [EcPoint] -> EcPoint

   cryptonite-openssl	Crypto.OpenSSL.ECC

   Add many points together

10. _calC14RangeSummary :: CalC14 -> CalRangeSummary

    currycarbon	Currycarbon

    Summary of the range of the calibrated date

Page 207 of many | Previous | Next