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

Foldable ParseResult

Methods

fold :: Monoid m => ParseResult m -> m

foldMap :: Monoid m => (a -> m) -> ParseResult a -> m

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

foldr' :: (a -> b -> b) -> b -> ParseResult a -> b

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

foldl' :: (b -> a -> b) -> b -> ParseResult a -> b

foldr1 :: (a -> a -> a) -> ParseResult a -> a

foldl1 :: (a -> a -> a) -> ParseResult a -> a

toList :: ParseResult a -> [a]

null :: ParseResult a -> Bool

length :: ParseResult a -> Int

elem :: Eq a => a -> ParseResult a -> Bool

maximum :: Ord a => ParseResult a -> a

minimum :: Ord a => ParseResult a -> a

sum :: Num a => ParseResult a -> a

product :: Num a => ParseResult a -> a

Traversable ParseResult

Methods

traverse :: Applicative f => (a -> f b) -> ParseResult a -> f (ParseResult b)

sequenceA :: Applicative f => ParseResult (f a) -> f (ParseResult a)

mapM :: Monad m => (a -> m b) -> ParseResult a -> m (ParseResult b)

sequence :: Monad m => ParseResult (m a) -> m (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 ()

toUnion :: USubset s' (s ': ss) (RImage s' (s ': ss)) => Sing (s ': ss) -> Union JsonRepr s' -> JsonRepr (SchemaUnion (s ': ss))

umatch' :: UElem a as i => Sing a -> Union f as -> Maybe (f a)