Data.Schematic

Documentation

module Data.Schematic.JsonSchema

module Data.Schematic.Helpers

module Data.Schematic.Lens

module Data.Schematic.Migration

module Data.Schematic.Schema

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

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

parseAndValidateJsonBy :: (FromJSON (JsonRepr schema), TopLevel schema, SingI schema) => proxy schema -> Value -> ParseResult (JsonRepr schema)

parseAndValidateTopVersionJson :: forall proxy (v :: Versioned). SingI (TopVersion (AllVersions v)) => proxy v -> Value -> ParseResult (JsonRepr (TopVersion (AllVersions v)))

parseAndValidateWithMList :: Monad m => MList m revisions -> Value -> m (ParseResult (JsonRepr (Head revisions)))

decodeAndValidateVersionedWithMList :: Monad m => proxy versioned -> MList m (MapSnd (AllVersions versioned)) -> ByteString -> m (ParseResult (JsonRepr (Head (MapSnd (AllVersions versioned)))))

decodeAndValidateVersionedWithPureMList :: proxy versioned -> MList Identity (MapSnd (AllVersions versioned)) -> ByteString -> ParseResult (JsonRepr (Head (MapSnd (AllVersions versioned))))

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

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

withRepr :: Constructor a

field :: forall fn. KnownSymbol fn => FieldConstructor fn