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. module Database.PostgreSQL.Consumers.Consumer

   No documentation available.

2. data ConsumerID

   consumers	Database.PostgreSQL.Consumers.Consumer

   ID of a consumer.

3. 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.

4. 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.

5. 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"
   

6. assume :: PropRef Universal -> Proof a

   copilot-theorem	Copilot.Theorem

   Assume that a property, given by reference, holds.

7. Assume :: PropId -> Action

   copilot-theorem	Copilot.Theorem.Prove

   No documentation available.

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

   copilot-theorem	Copilot.Theorem.What4

   User-provided property assumptions

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

   cryptonite-openssl	Crypto.OpenSSL.ECC

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

10. 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)
    

Page 206 of many | Previous | Next