packages feed

medea 1.1.0 → 1.1.1

raw patch · 107 files changed

+712/−1 lines, 107 filesbinary-added

Files

CHANGELOG.md view
@@ -1,5 +1,9 @@ # Dev +# 1.1.1++- Ship our conformance suite as part of the sdist+ # 1.1.0  - Widen bounds on ``parser-combinators``.
+ conformance/parser/fail/additional-property-schema-without-allowed.medea view
@@ -0,0 +1,3 @@+$schema foo+    $properties+        $additional-property-schema foo
+ conformance/parser/fail/array-elems-w-tuple.medea view
@@ -0,0 +1,9 @@+$schema foo+    $type+        $array+    $element-type+        $string+    $tuple+        $string+        $number+
+ conformance/parser/fail/array-tuple-w-elems.medea view
@@ -0,0 +1,7 @@+$schema foo+    $tuple+        $string+        $number+    $element-type+        $string+
+ conformance/parser/fail/array-tuple-w-length.medea view
@@ -0,0 +1,8 @@+$schema foo+    $type+        $array+    $length+        $maximum 42+    $tuple+        $string+        $number
+ conformance/parser/fail/array-tuple-w-length2.medea view
@@ -0,0 +1,6 @@+$schema $start+    $length+        $minimum 1+    $tuple+        $string+        $number
+ conformance/parser/fail/empty-file.medea view
+ conformance/parser/fail/empty-length.medea view
@@ -0,0 +1,2 @@+$schema start+    $length
+ conformance/parser/fail/extra-words-type-header.medea view
@@ -0,0 +1,3 @@+$schema $start+    $type foo+        $number
+ conformance/parser/fail/no-properties-sigil.medea view
@@ -0,0 +1,2 @@+$schema $start+    properties
+ conformance/parser/fail/no-schema-sigil.medea view
@@ -0,0 +1,3 @@+schema $start+    $type+        $number
+ conformance/parser/fail/no-type-sigil.medea view
@@ -0,0 +1,3 @@+$schema $start+    type+        $number
+ conformance/parser/fail/not-utf8.medea view

binary file changed (absent → 84 bytes)

+ conformance/parser/fail/reserved-identifier-schema-name.medea view
@@ -0,0 +1,3 @@+schema $foo+    $type+        $number
+ conformance/parser/fail/reserved-identifier-type-name.medea view
@@ -0,0 +1,3 @@+schema $start+    $type+        $foo
+ conformance/parser/fail/stringVals.medea view
@@ -0,0 +1,4 @@+$schema $start+    $type+        $string+    $string-values
+ conformance/parser/fail/three-word-schema-header.medea view
@@ -0,0 +1,3 @@+$schema $start foo+    $type+        $number
+ conformance/parser/fail/wrong-indentation-schema-header.medea view
@@ -0,0 +1,3 @@+ $schema $start+    $type+        $number
+ conformance/parser/fail/wrong-indentation-type-header.medea view
@@ -0,0 +1,3 @@+$schema $start+   $type+        $number
+ conformance/parser/fail/wrong-indentation-type-specifier.medea view
@@ -0,0 +1,3 @@+$schema $start+    $type+       $number
+ conformance/parser/pass/additional-properties-allowed-1.medea view
@@ -0,0 +1,3 @@+$schema $start+    $properties+        $additional-properties-allowed
+ conformance/parser/pass/additional-properties-allowed-2.medea view
@@ -0,0 +1,6 @@+$schema $start+    $properties+        $property-name "foo"+        $property-name "bar"+        $property-name "bazz"+        $additional-properties-allowed
+ conformance/parser/pass/additional-properties-allowed-3.medea view
@@ -0,0 +1,6 @@+$schema $start+    $properties+        $property-name "foo"+        $property-schema $null+        $optional-property+        $additional-properties-allowed
+ conformance/parser/pass/additional-properties-allowed-4.medea view
@@ -0,0 +1,5 @@+$schema $start+    $properties+        $property-name "foo"+        $property-schema $null+        $additional-properties-allowed
+ conformance/parser/pass/additional-properties-allowed-5.medea view
@@ -0,0 +1,5 @@+$schema $start+    $properties+        $property-name "foo"+        $optional-property+        $additional-properties-allowed
+ conformance/parser/pass/additional-properties-allowed-6.medea view
@@ -0,0 +1,6 @@+$schema $start+    $properties+        $property-name "foo"+        $optional-property+        $additional-properties-allowed+        $additional-property-schema $null
+ conformance/parser/pass/all-specifiers-1.medea view
@@ -0,0 +1,8 @@+$schema $start+    $type+        $null+        $boolean+    $properties+        $property-name "foo"+        $property-name "bar"+    $max-length 42
+ conformance/parser/pass/all-specifiers-2.medea view
@@ -0,0 +1,8 @@+$schema $start+    $max-length 42+    $type+        $null+        $boolean+    $properties+        $property-name "foo"+        $property-name "bar"
+ conformance/parser/pass/all-specifiers-3.medea view
@@ -0,0 +1,8 @@+$schema $start+    $properties+        $property-name "foo"+        $property-name "bar"+    $max-length 42+    $type+        $null+        $boolean
+ conformance/parser/pass/array-elems.medea view
@@ -0,0 +1,5 @@+$schema $start+    $type+        $array+    $element-type+        $string
+ conformance/parser/pass/array-tuple1.medea view
@@ -0,0 +1,4 @@+$schema foo+    $tuple+        $string+        $number
+ conformance/parser/pass/array-tuple2.medea view
@@ -0,0 +1,10 @@+$schema foo+    $type+        $array+    $tuple+        $string+        bar++$schema bar+    $type+        $number
+ conformance/parser/pass/maximum-and-minimum-length.medea view
@@ -0,0 +1,3 @@+$schema foo+    $max-length 42+    $min-length 1
+ conformance/parser/pass/maximum-length.medea view
@@ -0,0 +1,2 @@+$schema foo+    $max-length 42
+ conformance/parser/pass/minimum-and-maximum-length.medea view
@@ -0,0 +1,3 @@+$schema foo+    $min-length 1+    $max-length 42
+ conformance/parser/pass/minimum-length.medea view
@@ -0,0 +1,2 @@+$schema foo+    $min-length 2
+ conformance/parser/pass/multiple-properties-1.medea view
@@ -0,0 +1,5 @@+$schema $start+    $properties+        $property-name "foo"+        $property-name "bar"+        $property-name "bazz"
+ conformance/parser/pass/multiple-properties-2.medea view
@@ -0,0 +1,6 @@+$schema $start+    $properties+        $property-name "foo"+        $property-schema $null+        $property-name "bar"+        $optional-property
+ conformance/parser/pass/multiple-schemata-with-types.medea view
@@ -0,0 +1,12 @@+$schema foo+    $type+        $number+        $boolean+        $object++$schema bar++$schema bazz+    $type+        $array+        $object
+ conformance/parser/pass/multiple-schemata.medea view
@@ -0,0 +1,5 @@+$schema foo++$schema bar++$schema bazz
+ conformance/parser/pass/single-schema.medea view
@@ -0,0 +1,1 @@+$schema foo
+ conformance/parser/pass/single-schemata-with-types.medea view
@@ -0,0 +1,5 @@+$schema foo+    $type+        $number+        $boolean+        $object
+ conformance/parser/pass/stringVals.medea view
@@ -0,0 +1,6 @@+$schema $start+    $type+        $string+    $string-values+        "bar"+        "baz"
+ conformance/schema-builder/fail/duplicate-prop.medea view
@@ -0,0 +1,6 @@+$schema $start+    $type+        $object+    $properties+        $property-name "foo"+        $property-name "foo"
+ conformance/schema-builder/fail/duplicate-schemata.medea view
@@ -0,0 +1,11 @@+$schema $start+    $type+        $number++$schema foo+    $type+        $boolean++$schema foo+    $type+        $string
+ conformance/schema-builder/fail/indirect-self-typing.medea view
@@ -0,0 +1,7 @@+$schema $start+    $type+        foo++$schema foo+    $type+        $start
+ conformance/schema-builder/fail/isolated-schemata.medea view
@@ -0,0 +1,7 @@+$schema $start+    $type+        foo++$schema foo++$schema bar
+ conformance/schema-builder/fail/list-spec-without-array-1.medea view
@@ -0,0 +1,9 @@+$schema $start+    $type+        $object+        $string+        foo+    $element-type+        $array++$schema foo
+ conformance/schema-builder/fail/list-spec-without-array-2.medea view
@@ -0,0 +1,8 @@+$schema $start+    $type+        $object+        $string+        foo+    $min-length 3++$schema foo
+ conformance/schema-builder/fail/list-spec-without-array-3.medea view
@@ -0,0 +1,8 @@+$schema $start+    $type+        $object+        $string+        foo+    $max-length 3++$schema foo
+ conformance/schema-builder/fail/list-spec-without-array-4.medea view
@@ -0,0 +1,10 @@+$schema $start+    $type+        $object+        $string+        foo+    $element-type+        $array+    $max-length 3++$schema foo
+ conformance/schema-builder/fail/missing-additional-prop-schema.medea view
@@ -0,0 +1,6 @@+$schema $start+    $type+        $object+    $properties+        $additional-properties-allowed+        $additional-property-schema foo
+ conformance/schema-builder/fail/missing-list-schema.medea view
@@ -0,0 +1,10 @@+$schema $start+    $type+        foo++$schema foo+    $type+        $array+    $tuple+        $number+        bar
+ conformance/schema-builder/fail/missing-prop-schema.medea view
@@ -0,0 +1,6 @@+$schema $start+    $type+        $object+    $properties+        $property-name "foo"+        $property-schema bar
+ conformance/schema-builder/fail/missing-schema.medea view
@@ -0,0 +1,3 @@+$schema $start+    $type+        foo
+ conformance/schema-builder/fail/missing-tuple-schema.medea view
@@ -0,0 +1,9 @@+$schema $start+    $type+        $array+    $tuple+        $number+        foo+        bar++$schema foo
+ conformance/schema-builder/fail/no-start-schema.medea view
@@ -0,0 +1,3 @@+$schema foo+    $type+        $number
+ conformance/schema-builder/fail/property-spec-without-object-1.medea view
@@ -0,0 +1,6 @@+$schema $start+    $type+        $null+        $number+    $properties+        $property-name "foo"
+ conformance/schema-builder/fail/property-spec-without-object-2.medea view
@@ -0,0 +1,7 @@+$schema $start+    $type+        $null+        $number+    $properties+        $property-name "foo"+        $additional-properties-allowed
+ conformance/schema-builder/fail/property-spec-without-object-3.medea view
@@ -0,0 +1,6 @@+$schema $start+    $type+        $null+        $number+    $properties+        $additional-properties-allowed
+ conformance/schema-builder/fail/property-spec-without-object-4.medea view
@@ -0,0 +1,5 @@+$schema $start+    $type+        $null+        $number+    $properties
+ conformance/schema-builder/fail/reserved-redefined.medea view
@@ -0,0 +1,3 @@+$schema $start++$schema $boolean
+ conformance/schema-builder/fail/self-typing.medea view
@@ -0,0 +1,3 @@+$schema $start+    $type+        $start
+ conformance/schema-builder/fail/stringVals-without-string.medea view
@@ -0,0 +1,7 @@+$schema $start+    $type+        $array+        $object+    $string-values+        "foo"+        "bar"
+ conformance/schema-builder/fail/tuple-spec-without-array.medea view
@@ -0,0 +1,6 @@+$schema $start+    $type+        $object+        $number+    $tuple+        $array
+ conformance/schema-builder/fail/type-length.medea view
@@ -0,0 +1,5 @@+$schema $start+    $type+        $array+    $min-length 3+    $max-length 2
+ conformance/schema-builder/pass/referenced-in-additional-property-only.medea view
@@ -0,0 +1,8 @@+$schema $start+    $type+        $object+    $properties+        $additional-properties-allowed+        $additional-property-schema foo++$schema foo
+ conformance/schema-builder/pass/referenced-in-list-only.medea view
@@ -0,0 +1,7 @@+$schema $start+    $type+        $array+    $element-type+        foo++$schema foo
+ conformance/schema-builder/pass/referenced-in-property-only.medea view
@@ -0,0 +1,8 @@+$schema $start+    $type+        $object+    $properties+        $property-name "foo"+        $property-schema foo++$schema foo
+ conformance/schema-builder/pass/referenced-in-tuple-only.medea view
@@ -0,0 +1,10 @@+$schema $start+    $type+        $array+    $tuple+        foo+        bar++$schema foo++$schema bar
+ conformance/validation/1-property-additional-1.medea view
@@ -0,0 +1,7 @@+$schema $start+    $type+        $object+    $properties+        $property-name "foo"+        $property-schema $string+        $additional-properties-allowed
+ conformance/validation/1-property-additional-2.medea view
@@ -0,0 +1,11 @@+$schema $start+    $type+        foo++$schema foo+    $type+        $object+    $properties+        $property-name "foo"+        $property-schema $number+        $additional-properties-allowed
+ conformance/validation/1-property-additional-3.medea view
@@ -0,0 +1,12 @@+$schema $start+    $type+        foo++$schema foo+    $type+        $object+    $properties+        $property-name "foo"+        $property-schema $object+        $optional-property+        $additional-properties-allowed
+ conformance/validation/1-property-no-additional-1.medea view
@@ -0,0 +1,6 @@+$schema $start+    $type+        $object+    $properties+        $property-name "foo"+        $property-schema $boolean
+ conformance/validation/1-property-no-additional-2.medea view
@@ -0,0 +1,10 @@+$schema $start+    $type+        foo++$schema foo+    $type+        $object+    $properties+        $property-name "foo"+        $property-schema $null
+ conformance/validation/1-property-no-additional-3.medea view
@@ -0,0 +1,7 @@+$schema $start+    $type+        $object+    $properties+        $property-name "foo"+        $property-schema $array+        $optional-property
+ conformance/validation/2-tuple.medea view
@@ -0,0 +1,20 @@+$schema $start+    $type+        foo++$schema foo+    $type+        $array+    $tuple+        bar+        bazz++$schema bar+    $type+        $object+        $null++$schema bazz+    $type+        $string+        $number
+ conformance/validation/3-property-additional-allowed-1.medea view
@@ -0,0 +1,10 @@+$schema $start+    $type+        $object+    $properties+        $property-name "foo"+        $property-schema $boolean+        $property-name "bar"+        $property-name "bazz"+        $property-schema $string+        $additional-properties-allowed
+ conformance/validation/3-property-additional-allowed-2.medea view
@@ -0,0 +1,15 @@+$schema $start+    $type+        foo++$schema foo+    $type+        $object+    $properties+        $property-name "foo"+        $property-schema $number+        $optional-property+        $property-name "bar"+        $property-name "bazz"+        $property-schema $null+        $additional-properties-allowed
+ conformance/validation/3-property-no-additional-1.medea view
@@ -0,0 +1,19 @@+$schema $start+    $type+        $object+    $properties+        $property-name "foo"+        $property-schema foo+        $property-name "bar"+        $property-name "bazz"+        $property-schema bazz++$schema foo+    $type+        $number+        $array++$schema bazz+    $type+        $null+        $boolean
+ conformance/validation/3-property-no-additional-2.medea view
@@ -0,0 +1,24 @@+$schema $start+    $type+        bar++$schema bar+    $type+        $object+    $properties+        $property-name "foo"+        $property-schema foo+        $optional-property+        $property-name "bar"+        $property-name "bazz"+        $property-schema bazz++$schema foo+    $type+        $number+        $array++$schema bazz+    $type+        $null+        $boolean
+ conformance/validation/3-tuple.medea view
@@ -0,0 +1,14 @@+$schema $start+    $type+        $array+    $tuple+        foo+        $boolean+        any++$schema foo+    $type+        $number+        $array++$schema any
+ conformance/validation/any.medea view
@@ -0,0 +1,1 @@+$schema $start
+ conformance/validation/array.medea view
@@ -0,0 +1,3 @@+$schema $start+    $type+        $array
+ conformance/validation/boolean.medea view
@@ -0,0 +1,3 @@+$schema $start+    $type+        $boolean
+ conformance/validation/list-1.medea view
@@ -0,0 +1,11 @@+$schema $start+    $type+        $array+    $element-type+        bar++$schema bar+    $type+        $number+        $boolean+        $object
+ conformance/validation/list-2.medea view
@@ -0,0 +1,15 @@+$schema $start+    $type+        foo++$schema foo+    $type+        $array+    $element-type+        bar++$schema bar+    $type+        $number+        $boolean+        $object
+ conformance/validation/list-3.medea view
@@ -0,0 +1,4 @@+$schema $start+    $type+        $array+    $min-length 2
+ conformance/validation/list-4.medea view
@@ -0,0 +1,4 @@+$schema $start+    $type+        $array+    $max-length 5
+ conformance/validation/list-5.medea view
@@ -0,0 +1,5 @@+$schema $start+    $type+        $array+    $max-length 5+    $min-length 3
+ conformance/validation/list-6.medea view
@@ -0,0 +1,13 @@+$schema $start+    $type+        $array+    $max-length 3+    $min-length 2+    $element-type+        foo++$schema foo+    $type+        $null+        $boolean+        $number
+ conformance/validation/list-7.medea view
@@ -0,0 +1,17 @@+$schema $start+    $type+        bar++$schema bar+    $type+        $array+    $max-length 3+    $min-length 2+    $element-type+        foo++$schema foo+    $type+        $null+        $boolean+        $number
+ conformance/validation/map-number-bool.medea view
@@ -0,0 +1,11 @@+$schema $start+    $type+        $object+    $properties+        $additional-properties-allowed+        $additional-property-schema foo++$schema foo+    $type+        $number+        $boolean
+ conformance/validation/map-with-1-specified.medea view
@@ -0,0 +1,18 @@+$schema $start+    $type+        $object+    $properties+        $property-name "foo"+        $property-schema foo+        $additional-properties-allowed+        $additional-property-schema bar++$schema foo+    $type+        $array+        $object++$schema bar+    $type+        $boolean+        $number
+ conformance/validation/map-with-2-specified.medea view
@@ -0,0 +1,20 @@+$schema $start+    $type+        $object+    $properties+        $property-name "foo"+        $property-schema foo+        $property-name "bazz"+        $optional-property+        $additional-properties-allowed+        $additional-property-schema bar++$schema foo+    $type+        $array+        $object++$schema bar+    $type+        $boolean+        $number
+ conformance/validation/null.medea view
@@ -0,0 +1,3 @@+$schema $start+    $type+        $null
+ conformance/validation/nullable-array.medea view
@@ -0,0 +1,4 @@+$schema $start+    $type+        $array+        $null
+ conformance/validation/nullable-boolean.medea view
@@ -0,0 +1,4 @@+$schema $start+    $type+        $boolean+        $null
+ conformance/validation/nullable-number.medea view
@@ -0,0 +1,4 @@+$schema $start+    $type+        $number+        $null
+ conformance/validation/nullable-object.medea view
@@ -0,0 +1,4 @@+$schema $start+    $type+        $object+        $null
+ conformance/validation/nullable-string.medea view
@@ -0,0 +1,4 @@+$schema $start+    $type+        $string+        $null
+ conformance/validation/number.medea view
@@ -0,0 +1,3 @@+$schema $start+    $type+        $number
+ conformance/validation/object.medea view
@@ -0,0 +1,3 @@+$schema $start+    $type+        $object
+ conformance/validation/string.medea view
@@ -0,0 +1,3 @@+$schema $start+    $type+        $string
+ conformance/validation/stringVals.medea view
@@ -0,0 +1,6 @@+$schema $start+    $type+        $string+    $string-values+        "bar"+        "baz"
+ conformance/validation/stringVals2.medea view
@@ -0,0 +1,8 @@+$schema $start+    $type+        $string+    $string-values+        "accountant"+        "barber"+        "bishop"+        "baker"
medea.cabal view
@@ -1,6 +1,6 @@ cabal-version:      2.2 name:               medea-version:            1.1.0+version:            1.1.1 synopsis:           A schema language for JSON. description:   A reference implementation of a schema language, together with a conformance@@ -23,6 +23,11 @@   README.md   SPEC.md   TUTORIAL.md+  conformance/parser/pass/*.medea+  conformance/parser/fail/*.medea+  conformance/schema-builder/pass/*.medea+  conformance/schema-builder/fail/*.medea+  conformance/validation/*.medea  source-repository head   type:     git