dhall-json-1.6.4: tasty/data/potpourri.dhall

[ { arbitraryJSON =
      λ(JSON : Type) →
      λ ( json
        : { array : List JSON → JSON
          , bool : Bool → JSON
          , double : Double → JSON
          , integer : Integer → JSON
          , null : JSON
          , object : List { mapKey : Text, mapValue : JSON } → JSON
          , string : Text → JSON
          }
        ) →
        json.integer +1
  , bool = True
  , double = 0.0
  , extraField = None Bool
  , integer = +0
  , natural = 0
  , null = None <>
  , optional = Some 1
  , preferDouble = 0.0
  , preferInteger = +0
  , text = "abc"
  , unifyEmpty = [] : List Natural
  , unifySimple = < Bool : Bool | Text : Text >.Bool True
  }
, { arbitraryJSON =
      λ(JSON : Type) →
      λ ( json
        : { array : List JSON → JSON
          , bool : Bool → JSON
          , double : Double → JSON
          , integer : Integer → JSON
          , null : JSON
          , object : List { mapKey : Text, mapValue : JSON } → JSON
          , string : Text → JSON
          }
        ) →
        json.array ([] : List JSON)
  , bool = False
  , double = 1.1
  , extraField = Some True
  , integer = -1
  , natural = 1
  , null = None <>
  , optional = None Natural
  , preferDouble = 1.1
  , preferInteger = -1
  , text = "def"
  , unifyEmpty = [ 1 ]
  , unifySimple = < Bool : Bool | Text : Text >.Text "abc"
  }
]