Hoogle Search

Within LTS Haskell 24.24 (ghc-9.10.3)

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

  1. validation :: (e -> c) -> (a -> c) -> Validation e a -> c

    valida-base Valida

    Case analysis for Validation, i.e catamorphism. In case of 'Failure e', apply the first function to e; in case of 'Success a', apply the second function to a. This is a more generalized version of the bifoldMap implementation.

    Examples

    >>> validation (const Nothing) Just (Success 'c' :: Validation String Char)
Just 'c'

>>> validation (const Nothing) Just (Failure "error" :: Validation String Char)
Nothing

  2. package validation

    A data-type like Either but with an accumulating Applicative A data-type like Either but with differing properties and type-class instances. Library support is provided for this different representation, include lens-related functions for converting between each and abstracting over their similarities.

    The Validation data type is isomorphic to Either, but has an instance of Applicative that accumulates on the error side. That is to say, if two (or more) errors are encountered, they are appended using a Semigroup operation. As a consequence of this Applicative instance, there is no corresponding Bind or Monad instance. Validation is an example of, "An applicative functor that is not a monad."

  3. validation :: (e -> c) -> (a -> c) -> Validation e a -> c

    validation Data.Validation

    validation is the catamorphism for Validation.

  4. validation :: TemplateParameter -> Maybe ParameterValidation

    gogol-dataproc Gogol.Dataproc

    Optional. Validation rules to be applied to this parameter's value.

  5. validation :: TemplateParameter -> Maybe ParameterValidation

    gogol-dataproc Gogol.Dataproc.Types

    Optional. Validation rules to be applied to this parameter's value.

  6. data ValidationChain

    validity Data.Validity

    No documentation available.

  7. data ValidationCache

    tls Network.TLS

    All the callbacks needed for querying and adding to the cache.

  8. ValidationCache :: ValidationCacheQueryCallback -> ValidationCacheAddCallback -> ValidationCache

    tls Network.TLS

    No documentation available.

  9. type ValidationCacheAddCallback = ServiceID -> Fingerprint -> Certificate -> IO ()

    tls Network.TLS

    Validation cache callback type

  10. ValidationCacheDenied :: String -> ValidationCacheResult

    tls Network.TLS

    cache denied this fingerprint for further validation

Page 5 of many | Previous | Next