Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. checkValidity :: Validity a => a -> Either [ValidationChain] a

   validity	Data.Validity

   validate a given value. This function returns either all the reasons why the given value is invalid, in the form of a list of ValidationChains, or it returns Right with the input value, as evidence that it is valid. Note: You may want to use prettyValidation instead, if you want to display these ValidationChains to a user.

2. constructValid :: Validity a => a -> Maybe a

   validity	Data.Validity

   Construct a valid element from an unchecked element

3. constructValidUnsafe :: (Show a, Validity a) => a -> a

   validity	Data.Validity

   Construct a valid element from an unchecked element, throwing error on invalid elements.

4. genericValidate :: (Generic a, GValidity (Rep a)) => a -> Validation

   validity	Data.Validity

   No documentation available.

5. invalid :: String -> Validation

   validity	Data.Validity

   Construct a trivially invalid Validation Example:

   data Wrong
   = Wrong
   | Fine
   deriving (Show, Eq)
   
   instance Validity Wrong where
   validate w =
   case w of
   Wrong -> invalid "Wrong"
   Fine -> valid
   

6. isInvalid :: Validity a => a -> Bool

   validity	Data.Validity

   Check whether a value is not valid.

   isInvalid = not . isValid
   

7. isValid :: Validity a => a -> Bool

   validity	Data.Validity

   Check whether a value is valid.

8. prettyValidate :: Validity a => a -> Either String a

   validity	Data.Validity

   Validate a given value This function will return a nice error if the value is invalid. It will return the original value in Right if it was valid, as evidence that it has been validated.

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 415 of many | Previous | Next