Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type Validation a = ValidationT ErrorMap Identity a Source #
data ParseResult a Source #
Functor ParseResult Source # | |
Foldable ParseResult Source # | |
Traversable ParseResult Source # | |
Eq a => Eq (ParseResult a) Source # | |
Show a => Show (ParseResult a) Source # | |
isValid :: ParseResult a -> Bool Source #
isDecodingError :: ParseResult a -> Bool Source #
isValidationError :: ParseResult a -> Bool Source #
validateTextConstraint :: JSONPath -> Text -> Sing (tcs :: TextConstraint) -> Validation () Source #
validateNumberConstraint :: JSONPath -> Scientific -> Sing (tcs :: NumberConstraint) -> Validation () Source #
validateArrayConstraint :: JSONPath -> Vector a -> Sing (tcs :: ArrayConstraint) -> Validation () Source #
validateJsonRepr :: Sing schema -> [DemotedPathSegment] -> JsonRepr schema -> Validation () Source #