Moduleautodocodec-schema-0.2.0.1Haskell2010
Autodocodec.Schema
- 3 types
- 6 values
- Packageautodocodec-schema-0.2.0.1
- Exports9
- LanguageHaskell2010
- LicenceMIT
- SourceSchema.hs
A JSON Schema
http://json-schema.org/understanding-json-schema/reference/index.html
Contrary to a Codec, values of this type should be finite.
NOTE: This schema roundtrips to JSON, but it cannot expres everything that a fully-featured json-schema may be able to express.
Constructors
AnySchemaNullSchemaBoolSchemaStringSchemaIntegerSchema !(Bounds Integer)NumberSchema !(Bounds Scientific)ArraySchema !JSONSchemaMapSchema !JSONSchemaObjectSchema !ObjectSchemaThis needs to be a list because keys should stay in their original ordering.
ValueSchema !ValueAnyOfSchema !(NonEmpty JSONSchema)OneOfSchema !(NonEmpty JSONSchema)CommentSchema !Text !JSONSchemaRefSchema !TextWithDefSchema !(Map Text JSONSchema) !JSONSchema
Instances8Eq, Ord, Show, Generic, FromJSON, ToJSON, …
Eq JSONSchemaDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaOrd JSONSchemaDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaShow JSONSchemaDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaGeneric JSONSchemaDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaFromJSON JSONSchemaDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaToJSON JSONSchemaDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaValidity JSONSchemaDefined in autodocodec-schema-0.2.0.1 · Autodocodec.Schematype Rep JSONSchema = D1 ('MetaDataDefined in autodocodec-schema-0.2.0.1 · Autodocodec.Schema"JSONSchema"
"Autodocodec.Schema"
"autodocodec-schema-0.2.0.1-3YywtqR8rK1JaAAMG11z4r"
'False) (((C1 ('MetaCons"AnySchema"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"NullSchema"
'PrefixI 'False) U1 :+: C1 ('MetaCons"BoolSchema"
'PrefixI 'False) U1)) :+: ((C1 ('MetaCons"StringSchema"
'PrefixI 'False) U1 :+: C1 ('MetaCons"IntegerSchema"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Bounds Integer)))) :+: (C1 ('MetaCons"NumberSchema"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Bounds Scientific))) :+: C1 ('MetaCons"ArraySchema"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 JSONSchema))))) :+: (((C1 ('MetaCons"MapSchema"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 JSONSchema)) :+: C1 ('MetaCons"ObjectSchema"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ObjectSchema))) :+: (C1 ('MetaCons"ValueSchema"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Value)) :+: C1 ('MetaCons"AnyOfSchema"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty JSONSchema))))) :+: ((C1 ('MetaCons"OneOfSchema"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty JSONSchema))) :+: C1 ('MetaCons"CommentSchema"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 JSONSchema))) :+: (C1 ('MetaCons"RefSchema"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons"WithDefSchema"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Text JSONSchema)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 JSONSchema))))))
Instances8Eq, Ord, Show, Generic, FromJSON, ToJSON, …
Eq ObjectSchemaDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaOrd ObjectSchemaDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaShow ObjectSchemaDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaGeneric ObjectSchemaDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaFromJSON ObjectSchemaDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaToJSON ObjectSchemaDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaValidity ObjectSchemaDefined in autodocodec-schema-0.2.0.1 · Autodocodec.Schematype Rep ObjectSchema = D1 ('MetaDataDefined in autodocodec-schema-0.2.0.1 · Autodocodec.Schema"ObjectSchema"
"Autodocodec.Schema"
"autodocodec-schema-0.2.0.1-3YywtqR8rK1JaAAMG11z4r"
'False) ((C1 ('MetaCons"ObjectKeySchema"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 KeyRequirement)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 JSONSchema) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Text)))) :+: C1 ('MetaCons"ObjectAnySchema"
'PrefixI 'False) U1) :+: (C1 ('MetaCons"ObjectAnyOfSchema"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty ObjectSchema))) :+: (C1 ('MetaCons"ObjectOneOfSchema"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty ObjectSchema))) :+: C1 ('MetaCons"ObjectAllOfSchema"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty ObjectSchema))))))
Instances6Eq, Ord, Show, Generic, Validity, Rep
Eq KeyRequirementDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaOrd KeyRequirementDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaShow KeyRequirementDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaGeneric KeyRequirementDefined in autodocodec-schema-0.2.0.1 · Autodocodec.SchemaValidity KeyRequirementDefined in autodocodec-schema-0.2.0.1 · Autodocodec.Schematype Rep KeyRequirement = D1 ('MetaDataDefined in autodocodec-schema-0.2.0.1 · Autodocodec.Schema"KeyRequirement"
"Autodocodec.Schema"
"autodocodec-schema-0.2.0.1-3YywtqR8rK1JaAAMG11z4r"
'False) (C1 ('MetaCons"Required"
'PrefixI 'False) U1 :+: C1 ('MetaCons"Optional"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Value))))