Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

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

   validity	Data.Validity

   Construct a valid element from an unchecked element

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

   validity	Data.Validity

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

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

   validity	Data.Validity

   No documentation available.

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

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

   validity	Data.Validity

   Check whether a value is not valid.

   isInvalid = not . isValid
   

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

   validity	Data.Validity

   Check whether a value is valid.

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

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

9. trivialValidation :: a -> Validation

   validity	Data.Validity

   Declare any value to be valid in validation

   trivialValidation a = seq a mempty
   

10. unValidation :: Validation -> [ValidationChain]

    validity	Data.Validity

    No documentation available.

Page 414 of many | Previous | Next