dhall-json-1.6.2: tasty/data/toArbitraryJSON_13_0_0.dhall

  λ(_ : Type)
→ λ ( _
    : { array : List _ → _@1
      , bool : Bool → _@1
      , null : _
      , double : Double → _@1
      , integer : Integer → _@1
      , object : List { mapKey : Text, mapValue : _ } → _@1
      , string : Text → _@1
      }
    )
→ _.object
    [ { mapKey = "array", mapValue = _.array ([] : List _@1) }
    , { mapKey = "bool", mapValue = _.bool False }
    , { mapKey = "null", mapValue = _.null }
    , { mapKey = "double", mapValue = _.double 1.0 }
    , { mapKey = "integer", mapValue = _.integer +1 }
    , { mapKey = "string", mapValue = _.string "ABC" }
    ]