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. resumeHandshake :: (MonadThrow m, Cipher c, DH d, Hash h) => ScrubbedBytes -> NoiseState c d h -> m (HandshakeResult, NoiseState c d h)

   cacophony	Crypto.Noise.Internal.NoiseState

   Resumes a handshake in progress using the given input data.

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

   calligraphy	Calligraphy.Prelude

   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"
   

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

   calligraphy	Calligraphy.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"
   

4. CustomSum :: Text -> DataRepr' -> Size -> [(ConstrRepr', Text)] -> HWType

   clash-lib	Clash.Netlist.Types

   Same as Sum, but with a user specified bit representation. For more info, see: Clash.Annotations.BitRepresentations.

5. isRedundantBySubsumption :: Defn -> Bool

   code-conjure	Conjure.Defn.Redundancy

   Returns whether the given Defn is redundant with regards to subsumption by latter patterns Here is an example of a redundant Defn by this criterium:

   foo 0  =  0
   foo x  =  x
   

6. subsumedWith :: (Expr -> Expr) -> Bndn -> Bndn -> Bool

   code-conjure	Conjure.Defn.Redundancy

   Returns whether a binding is subsumed by another modulo rewriting

   > let normalize = (// [(zero -+- zero, zero)])
   > subsumedWith normalize (ff zero, zero) (ff xx, xx -+- xx)
   True
   

   > subsumedWith normalize (ff zero, zero) (ff xx, xx -+- one)
   False
   

   > subsumedWith normalize (zero -?- xx, zero) (xx -?- yy, xx -+- xx)
   True
   

   (cf. isRedundantModuloRewriting)

7. data Erlang'resume_process

   codec-beam	Codec.Beam.Bifs

   No documentation available.

8. Erlang'resume_process :: Erlang'resume_process

   codec-beam	Codec.Beam.Bifs

   No documentation available.

9. absSum :: (C sh, Floating a) => Vector sh a -> RealOf a

   comfort-blas	Numeric.BLAS.Vector

   Sum of the absolute values of real numbers or components of complex numbers. For real numbers it is equivalent to norm1.

10. absSum :: (C sh, Floating a) => T shA sh a -> RealOf a

    comfort-blas	Numeric.BLAS.Vector.Slice

    Sum of the absolute values of real numbers or components of complex numbers. For real numbers it is equivalent to norm1.

Page 204 of many | Previous | Next