keuringsdienst-0.1.0.4: Data validation in Haskell made easy.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Keuringsdienst

Documentation

data Validation err Source #

Constructors

Success 
Failure err 

Instances

Instances details
Monoid ValidationResult Source # 
Instance details

Defined in Keuringsdienst

Semigroup ValidationResult Source # 
Instance details

Defined in Keuringsdienst

FromJSON err => FromJSON (Validation err) Source # 
Instance details

Defined in Keuringsdienst

ToJSON err => ToJSON (Validation err) Source # 
Instance details

Defined in Keuringsdienst

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.4-2ez7XiIPrDj5jsTYw3FDX" 'False) (C1 ('MetaCons "Success" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Failure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 err)))