From 3826d7830b334c1e0049941761c2972239743abb Mon Sep 17 00:00:00 2001 From: Simon Jakobi Date: Sat, 7 Sep 2019 16:48:44 +0200 Subject: [PATCH] Prelude: Include types in the package.dhall files --- Prelude/JSON/package.dhall | 11 ++++++++++- Prelude/Map/package.dhall | 8 +++++++- Prelude/XML/package.dhall | 5 ++++- Prelude/package.dhall | 9 ++++++--- 4 files changed, 27 insertions(+), 6 deletions(-) diff --git a/Prelude/JSON/package.dhall b/Prelude/JSON/package.dhall index e84dbc270..df2d44434 100644 --- a/Prelude/JSON/package.dhall +++ b/Prelude/JSON/package.dhall @@ -1,4 +1,13 @@ -{ keyText = +{ Type = + ./Type sha256:5adb234f5868a5b0eddeb034d690aaba8cb94ea20d0d557003e90334fff6be3e + ? ./Type +, Tagged = + ./Tagged sha256:21feca7d2b23f210d0696131d792e18a7d24fdcc85d41a49ba85b98670eba194 + ? ./Tagged +, Nesting = + ./Nesting sha256:6284802edd41d5d725aa1ec7687e614e21ad1be7e14dd10996bfa9625105c335 + ? ./Nesting +, keyText = ./keyText sha256:f7b6c802ca5764d03d5e9a6e48d9cb167c01392f775d9c2c87b83cdaa60ea0cc ? ./keyText , keyValue = diff --git a/Prelude/Map/package.dhall b/Prelude/Map/package.dhall index 31b410475..5ac5482d1 100644 --- a/Prelude/Map/package.dhall +++ b/Prelude/Map/package.dhall @@ -1,4 +1,10 @@ -{ keys = +{ Type = + ./Type sha256:210c7a9eba71efbb0f7a66b3dcf8b9d3976ffc2bc0e907aadfb6aa29c333e8ed + ? ./Type +, Entry = + ./Entry sha256:f334283bdd9cd88e6ea510ca914bc221fc2dab5fb424d24514b2e0df600d5346 + ? ./Entry +, keys = ./keys sha256:d13ec34e6acf7c349d82272ef09a37c7bdf37f0dab489e9df47a1ff215d9f5e7 ? ./keys , map = diff --git a/Prelude/XML/package.dhall b/Prelude/XML/package.dhall index 2c07d9f0e..9e701bbd1 100644 --- a/Prelude/XML/package.dhall +++ b/Prelude/XML/package.dhall @@ -1,4 +1,7 @@ -{ attribute = +{ Type = + ./Type sha256:461930f3aab769ba537d1a4fd71f411504b0c8d1c1a78d65177be8ded0df8a5c + ? ./Type +, attribute = ./attribute sha256:f7b6c802ca5764d03d5e9a6e48d9cb167c01392f775d9c2c87b83cdaa60ea0cc ? ./attribute , render = diff --git a/Prelude/package.dhall b/Prelude/package.dhall index f3e326675..d23c43043 100644 --- a/Prelude/package.dhall +++ b/Prelude/package.dhall @@ -14,8 +14,11 @@ ./List/package.dhall sha256:108be3af5ebd465f7091039f2216c433e65ae5d25556a9a71786dd84d33ef49a ? ./List/package.dhall , Map = - ./Map/package.dhall sha256:07cc274220c8bdb2c1a0c2d00d90bc1447e73e0ad2e1d72b89773e923f77e71e + ./Map/package.dhall sha256:5e378b6da12f26b64f796f9c1b61d89bcc5a591f3a3dedcf85cb4637bbb8b618 ? ./Map/package.dhall +, Monoid = + ./Monoid sha256:26fafa098600ef7a54ef9dba5ada416bbbdd21df1af306c052420c61553ad4af + ? ./Monoid , Natural = ./Natural/package.dhall sha256:4574df29e6bb82fd894c311f6c2ad9a22574756eb62f06d475aa8306d25006fc ? ./Natural/package.dhall @@ -23,12 +26,12 @@ ./Optional/package.dhall sha256:36a366af67a3c26cd5d196e095d3023f18953c5b5db3a03956fa554609e5442a ? ./Optional/package.dhall , JSON = - ./JSON/package.dhall sha256:34a613c89df3f314c606a813f592d1a09fedb3e5f5e63fcc0ae9c88245e8bdad + ./JSON/package.dhall sha256:0c3c40a63108f2e6ad59f23b789c18eb484d0e9aebc9416c5a4f338c6753084b ? ./JSON/package.dhall , Text = ./Text/package.dhall sha256:0a0ad9f649aed94c2680491efb384925b5b2bb5b353f1b8a7eb134955c1ffe45 ? ./Text/package.dhall , XML = - ./XML/package.dhall sha256:6aed7e845c29bc528ced19b99f860c5bcd50f24a1394631fe66f751999f85361 + ./XML/package.dhall sha256:137e7b106b2e9743970e5d37b21a165f2e40f56ab593a4dd10605c9acd686fc6 ? ./XML/package.dhall }