Data.Schematic.Validation

Documentation

type Validation a = ValidationT ErrorMap Identity a

type ErrorMap = MonoidMap Text [Text]

data ParseResult a

Constructors

Valid a

DecodingError Text

ValidationError ErrorMap

Instances

Functor ParseResult

Methods

fmap :: (a -> b) -> ParseResult a -> ParseResult b

(<$) :: a -> ParseResult b -> ParseResult a

Eq a => Eq (ParseResult a)

Methods

(==) :: ParseResult a -> ParseResult a -> Bool

(/=) :: ParseResult a -> ParseResult a -> Bool

Show a => Show (ParseResult a)

Methods

showsPrec :: Int -> ParseResult a -> ShowS

show :: ParseResult a -> String

showList :: [ParseResult a] -> ShowS

isValid :: ParseResult a -> Bool

isDecodingError :: ParseResult a -> Bool

isValidationError :: ParseResult a -> Bool

validateTextConstraint :: JSONPath -> Text -> Sing (tcs :: TextConstraint) -> Validation ()

validateNumberConstraint :: JSONPath -> Scientific -> Sing (tcs :: NumberConstraint) -> Validation ()

validateArrayConstraint :: JSONPath -> Vector a -> Sing (tcs :: ArrayConstraint) -> Validation ()

validateJsonRepr :: Sing schema -> [DemotedPathSegment] -> JsonRepr schema -> Validation ()