A modern programming language that makes developers happier.

kotlinlang

Hey, is there a way to specify the format for a property of a dto in the OpenAPI json? E.g. I'm trying to make it specify a property `startDate` is a date. Currently in my swagger.json it has:
```"startDate": {
  "example": "2021-01-01",
  "description": null,
  "type": "string"
},```
but (i think) i'm expecting:
```"startDate": {
  "example": "2021-01-01",
  "description": null,
  "type": "string",
  "format": "date"
},```
I've defined my bidi lens as:
```BiDiMapping&lt;String, LocalDate&gt;({ LocalDate.parse(it) }, { it.format(DateTimeFormatter.ISO_LOCAL_DATE) })```


Sorry - Unfortunately not out of the box, because the base lens actually doesn't know anything about the type - it's just a string as far as the renderer is concerned.

It's possible that you could do something with annotations, but without building a custom renderer ... (And it's complicated enough! :joy:)

Ah sad times, well I'll leave it for now then