Hoogle Search

Within LTS Haskell 24.63 (ghc-9.10.3)

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

Exact lookup

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

   validity	Data.Validity

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

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

   validity	Data.Validity

   No documentation available.

3. 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
   

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

   validity	Data.Validity

   Check whether a value is not valid.

   isInvalid = not . isValid
   

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

   validity	Data.Validity

   Check whether a value is valid.

6. 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.

7. 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.

8. trivialValidation :: a -> Validation

   validity	Data.Validity

   Declare any value to be valid in validation

   trivialValidation a = seq a mempty
   

9. unValidation :: Validation -> [ValidationChain]

   validity	Data.Validity

   No documentation available.

10. valid :: Validation

    validity	Data.Validity

    No documentation available.

Page 415 of many | Previous | Next