Keuringsdienst

Documentation

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

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

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

type ValidationResult = Validation [ErrMsg]

newtype ValidationRule a

Constructors

ValidationRule

Fields

• performValidation :: a -> ValidationResult

Instances

Monoid (ValidationRule a)

Defined in Keuringsdienst

Methods

mempty :: ValidationRule a

mappend :: ValidationRule a -> ValidationRule a -> ValidationRule a

mconcat :: [ValidationRule a] -> ValidationRule a

Semigroup (ValidationRule x)

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

Constructors

Success

Failure err

Instances

Monoid ValidationResult

Defined in Keuringsdienst

Methods

mempty :: ValidationResult

mappend :: ValidationResult -> ValidationResult -> ValidationResult

mconcat :: [ValidationResult] -> ValidationResult

Semigroup ValidationResult

Defined in Keuringsdienst

Methods

(<>) :: ValidationResult -> ValidationResult -> ValidationResult

sconcat :: NonEmpty ValidationResult -> ValidationResult

stimes :: Integral b => b -> ValidationResult -> ValidationResult

FromJSON err => FromJSON (Validation err)

Defined in Keuringsdienst

Methods

parseJSON :: Value -> Parser (Validation err)

parseJSONList :: Value -> Parser [Validation err]

ToJSON err => ToJSON (Validation err)

Defined in Keuringsdienst

Methods

toJSON :: Validation err -> Value

toEncoding :: Validation err -> Encoding

toJSONList :: [Validation err] -> Value

toEncodingList :: [Validation err] -> Encoding

Generic (Validation err)

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)

Defined in Keuringsdienst

Methods

showsPrec :: Int -> Validation err -> ShowS

show :: Validation err -> String

showList :: [Validation err] -> ShowS

Eq err => Eq (Validation err)

Defined in Keuringsdienst

Methods

(==) :: Validation err -> Validation err -> Bool

(/=) :: Validation err -> Validation err -> Bool

type Rep (Validation err)

Defined in Keuringsdienst

type Rep (Validation err) = D1 ('MetaData "Validation" "Keuringsdienst" "keuringsdienst-0.1.0.3-3xqTvYYwDk73Uo6EgNV2rx" '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

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

validate :: a -> ValidationRule a -> ValidationResult

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

ofDitOfDat :: ValidationRule a -> ValidationRule a -> ValidationRule a