Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

  1. c_constTimeEq :: Ptr CChar -> Ptr CChar -> CInt -> IO CInt

    crypto-api Crypto.Util

    No documentation available.

  2. constTimeEq :: ByteString -> ByteString -> Bool

    crypto-api Crypto.Util

    Checks two bytestrings for equality without breaches for timing attacks. Semantically, constTimeEq = (==). However, x == y takes less time when the first byte is different than when the first byte is equal. This side channel allows an attacker to mount a timing attack. On the other hand, constTimeEq always takes the same time regardless of the bytestrings' contents, unless they are of difference size. You should always use constTimeEq when comparing secrets, otherwise you may leave a significant security hole (cf. http://codahale.com/a-lesson-in-timing-attacks/).

  3. leftIdentityOnElemWithEquality :: (b -> a -> a) -> (a -> a -> Bool) -> b -> a -> Bool

    genvalidity-property Test.Validity.Operations.Identity

  4. leftIdentityOnGenWithEquality :: Show a => (b -> a -> a) -> (a -> a -> Bool) -> b -> Gen a -> (a -> [a]) -> Property

    genvalidity-property Test.Validity.Operations.Identity

    No documentation available.

  5. rightIdentityOnElemWithEquality :: (a -> b -> a) -> (a -> a -> Bool) -> b -> a -> Bool

    genvalidity-property Test.Validity.Operations.Identity

  6. rightIdentityOnGenWithEquality :: Show a => (a -> b -> a) -> (a -> a -> Bool) -> b -> Gen a -> (a -> [a]) -> Property

    genvalidity-property Test.Validity.Operations.Identity

    No documentation available.

  7. antisymmetricOnElemsWithEquality :: (a -> a -> Bool) -> (a -> a -> Bool) -> a -> a -> Bool

    genvalidity-property Test.Validity.Property

  8. antisymmetryOnGensWithEquality :: Show a => (a -> a -> Bool) -> Gen (a, a) -> (a -> a -> Bool) -> (a -> [a]) -> Property

    genvalidity-property Test.Validity.Property

    No documentation available.

  9. leftIdentityOnElemWithEquality :: (b -> a -> a) -> (a -> a -> Bool) -> b -> a -> Bool

    genvalidity-property Test.Validity.Property

  10. leftIdentityOnGenWithEquality :: Show a => (b -> a -> a) -> (a -> a -> Bool) -> b -> Gen a -> (a -> [a]) -> Property

    genvalidity-property Test.Validity.Property

    No documentation available.

Page 310 of many | Previous | Next