Data.Schematic

Documentation

module Data.Schematic.Schema

module Data.Schematic.Migration

module Data.Schematic.Utils

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)

parseAndValidateVersionedJson :: forall proxy v. (SingI (AllVersions v), Migratable (AllVersions v)) => proxy v -> Value -> ParseResult (JsonRepr (Snd (Head (AllVersions v))))

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

decodeAndValidateVersionedJson :: (Migratable (AllVersions versioned), SingI (AllVersions versioned)) => proxy versioned -> ByteString -> ParseResult (JsonRepr (Snd (Head (AllVersions versioned))))

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

decodeAndValidateVersionedWithMList :: proxy versioned -> MList (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

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

class Migratable revisions

Minimal complete definition

mparse

Instances

(Migratable (Tail (Revision, Schema) revisions), MigrateSchema (Snd Revision Schema (Head (Revision, Schema) (Tail (Revision, Schema) revisions))) (Snd Revision Schema (Head (Revision, Schema) revisions)), SingI Schema (Snd Revision Schema (Head (Revision, Schema) revisions))) => Migratable revisions

Methods

mparse :: Sing [(Revision, Schema)] revisions -> Value -> ParseResult (JsonRepr (Snd Revision Schema (Head (Revision, Schema) revisions)))

(TopLevel (Snd Revision Schema rev), SingI Schema (Snd Revision Schema rev)) => Migratable ((:) (Revision, Schema) rev ([] (Revision, Schema)))

Methods

mparse :: Sing [(Revision, Schema)] (((Revision, Schema) ': rev) [(Revision, Schema)]) -> Value -> ParseResult (JsonRepr (Snd Revision Schema (Head (Revision, Schema) (((Revision, Schema) ': rev) [(Revision, Schema)]))))