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