Data.Schematic

Documentation

module Data.Schematic.Schema

module Data.Schematic.Utils

decodeAndValidateJson :: forall schema. (FromJSON (JsonRepr schema), TopLevel schema, Known (Sing schema)) => ByteString -> ParseResult (JsonRepr schema)

parseAndValidateJson :: forall schema. (FromJSON (JsonRepr schema), TopLevel schema, Known (Sing schema)) => Value -> ParseResult (JsonRepr schema)

isValid :: ParseResult a -> Bool

isDecodingError :: ParseResult a -> Bool

isValidationError :: ParseResult a -> Bool

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