Hoogle Search

Within LTS Haskell 24.25 (ghc-9.10.3)

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

Exact lookup

1. validationFailure :: e -> Validation e a

   opt-env-conf	OptEnvConf.Validation

   No documentation available.

2. validationTFailure :: forall (m :: Type -> Type) e a . Applicative m => e -> ValidationT e m a

   opt-env-conf	OptEnvConf.Validation

   No documentation available.

3. validationToEither :: Validation e a -> Either (NonEmpty e) a

   opt-env-conf	OptEnvConf.Validation

   No documentation available.

4. validationConst :: p -> p -> Validation e a -> p

   valida	Valida

   Case analysis for Validation, with replacer. This is similar to validation, but takes in replacers instead of functions. In case of Failure, return the first argument; otherwise, return the second argument.

   validationConst e a = validation (const e) (const a)
   

   Examples

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

5. validationConst :: p -> p -> Validation e a -> p

   valida-base	Valida

   Case analysis for Validation, with replacer. This is similar to validation, but takes in replacers instead of functions. In case of Failure, return the first argument; otherwise, return the second argument.

   validationConst e a = validation (const e) (const a)
   

   Examples

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

6. validationNel :: Either e a -> Validation (NonEmpty e) a

   validation	Data.Validation

   validationNel is liftError specialised to NonEmpty lists, since they are a common semigroup to use.

7. validationed :: Validate v => (v e a -> v e' a') -> Validation e a -> Validation e' a'

   validation	Data.Validation

   Run a function on anything with a Validate instance (usually Either) as if it were a function on Validation This can be thought of as having the type

   (Either e a -> Either e' a') -> Validation e a -> Validation e' a'
   

8. data HeadersValidationResult

   http-client	Network.HTTP.Client.Internal

   No documentation available.

9. prettyValidation :: Validation -> Maybe String

   validity	Data.Validity

   Render a Validation in a somewhat pretty way. This function will return Nothing if the Validation concerned a valid value.

10. trivialValidation :: a -> Validation

    validity	Data.Validity

    Declare any value to be valid in validation

    trivialValidation a = seq a mempty
    

Page 13 of many | Previous | Next