diff docs/schema.txt @ 31:271ec3abdfa3

Use "$type" as the schema's type specifier instead of "type". THIS IS BACKWARDS INCOMPATIBLE.
author Franz Glasner <f.glasner@feldmann-mg.com>
date Tue, 18 Jul 2023 14:28:52 +0200
parents 68286d27f27d
children 5a2fba996773
line wrap: on
line diff
--- a/docs/schema.txt	Sat Jul 08 20:45:36 2023 +0200
+++ b/docs/schema.txt	Tue Jul 18 14:28:52 2023 +0200
@@ -64,7 +64,7 @@
 Typen
 =====
 
-Durch ``type`` (required) gekennzeichnet
+Durch ``$type`` (required) gekennzeichnet
 
 
 Alle Schemata außer den `Schema-Kombinatoren`_ haben auch ein optionales
@@ -91,7 +91,7 @@
   Wenn vorhanden: ein Schema, dem die *Keys* -- auch die `additional-keys` --
   folgen müssen.
 
-  Default: entspricht ``{"type": "string"}``
+  Default: entspricht ``{"$type": "string"}``
 
 - ``additional-keys``