summaryrefslogtreecommitdiff
path: root/tasty/data/emptyListSchema.dhall
diff options
context:
space:
mode:
Diffstat (limited to 'tasty/data/emptyListSchema.dhall')
-rw-r--r--tasty/data/emptyListSchema.dhall17
1 files changed, 17 insertions, 0 deletions
diff --git a/tasty/data/emptyListSchema.dhall b/tasty/data/emptyListSchema.dhall
new file mode 100644
index 0000000..c7e5c09
--- /dev/null
+++ b/tasty/data/emptyListSchema.dhall
@@ -0,0 +1,17 @@
+ ∀(JSON : Type)
+→ ∀ ( json
+ : { array :
+ List JSON → JSON
+ , bool :
+ Bool → JSON
+ , null :
+ JSON
+ , number :
+ Double → JSON
+ , object :
+ List { mapKey : Text, mapValue : JSON } → JSON
+ , string :
+ Text → JSON
+ }
+ )
+→ JSON