Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Schematic.Validation
Documentation
type Validation a = ValidationT ErrorMap Identity a #
data ParseResult a #
Constructors
Valid a | |
DecodingError Text | |
ValidationError ErrorMap |
Instances
Functor ParseResult # | |
Foldable ParseResult # | |
Traversable ParseResult # | |
Eq a => Eq (ParseResult a) # | |
Show a => Show (ParseResult a) # | |
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 () #