Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 # | |
Foldable ParseResult # | |
Traversable ParseResult # | |
Eq a => Eq (ParseResult a) # | |
Show a => Show (ParseResult a) # | |
withRepr :: Constructor a #
field :: forall fn. KnownSymbol fn => FieldConstructor fn #