Safe Haskell	Safe-Inferred
Language	Haskell2010

Keuringsdienst

Documentation

(*||*) :: ValidationRule a -> ValidationRule a -> ValidationRule a infixl 6 Source #

(|??|) :: Maybe a -> ValidationRule a -> ValidationResult infixl 8 Source #

(|?|) :: a -> ValidationRule a -> ValidationResult infixl 8 Source #

type ValidationResult = Validation [ErrMsg] Source #

newtype ValidationRule a Source #

Constructors

ValidationRule
Fields performValidation :: a -> ValidationResult

Instances

Instances details

Monoid (ValidationRule a) Source #
Instance details Defined in Keuringsdienst Methods mempty :: ValidationRule a # mappend :: ValidationRule a -> ValidationRule a -> ValidationRule a # mconcat :: [ValidationRule a] -> ValidationRule a #
Semigroup (ValidationRule x) Source #
Instance details Defined in Keuringsdienst Methods (<>) :: ValidationRule x -> ValidationRule x -> ValidationRule x # sconcat :: NonEmpty (ValidationRule x) -> ValidationRule x # stimes :: Integral b => b -> ValidationRule x -> ValidationRule x #

data Validation err Source #

Constructors

Success
Failure err

Instances

Instances details

Monoid ValidationResult Source #
Instance details Defined in Keuringsdienst Methods mempty :: ValidationResult # mappend :: ValidationResult -> ValidationResult -> ValidationResult # mconcat :: [ValidationResult] -> ValidationResult #
Semigroup ValidationResult Source #
Instance details Defined in Keuringsdienst Methods (<>) :: ValidationResult -> ValidationResult -> ValidationResult # sconcat :: NonEmpty ValidationResult -> ValidationResult # stimes :: Integral b => b -> ValidationResult -> ValidationResult #
FromJSON err => FromJSON (Validation err) Source #
Instance details Defined in Keuringsdienst Methods parseJSON :: Value -> Parser (Validation err) # parseJSONList :: Value -> Parser [Validation err] #
ToJSON err => ToJSON (Validation err) Source #
Instance details Defined in Keuringsdienst Methods toJSON :: Validation err -> Value # toEncoding :: Validation err -> Encoding # toJSONList :: [Validation err] -> Value # toEncodingList :: [Validation err] -> Encoding #
Generic (Validation err) Source #
Instance details Defined in Keuringsdienst Associated Types type Rep (Validation err) :: Type -> Type # Methods from :: Validation err -> Rep (Validation err) x # to :: Rep (Validation err) x -> Validation err #
Show err => Show (Validation err) Source #
Instance details Defined in Keuringsdienst Methods showsPrec :: Int -> Validation err -> ShowS # show :: Validation err -> String # showList :: [Validation err] -> ShowS #
Eq err => Eq (Validation err) Source #
Instance details Defined in Keuringsdienst Methods (==) :: Validation err -> Validation err -> Bool # (/=) :: Validation err -> Validation err -> Bool #
type Rep (Validation err) Source #
Instance details Defined in Keuringsdienst type Rep (Validation err) = D1 ('MetaData "Validation" "Keuringsdienst" "keuringsdienst-0.1.0.2-JlJCUMOgLvcFAUortX9tGl" 'False) (C1 ('MetaCons "Success" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Failure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 err)))

keuren :: a -> ValidationRule a -> ValidationResult Source #

misschienKeuren :: Maybe a -> ValidationRule a -> ValidationResult Source #

validate :: a -> ValidationRule a -> ValidationResult Source #

maybeValidate :: Maybe a -> ValidationRule a -> ValidationResult Source #

ofDitOfDat :: ValidationRule a -> ValidationRule a -> ValidationRule a Source #