summaryrefslogtreecommitdiff
path: root/tasty/data/emptyList.dhall
blob: f94e0f9616d419638fac52aa14f0ebbb5d4f618c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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.array ([] : List JSON)