I have a

class SimpleObject(val id: String, val attrs: Map<String, Any?>,
                        val created: ZonedDateTime,
                        val updated: ZonedDateTime
)

If I use

with( Header.zonedDateTime().required("last-modified") of obj.created)

, I end up with multiple attributes like

"created":{"dateTime":{"date":{"year":2018,"month":3,...

). I think it should be a single String attribute, based on my understanding of

this.map(ZonedDateTime::parse, DateTimeFormatter.ISO_ZONED_DATE_TIME::format)

in file lensSpec.kt

@elifarley the lenSpec mapping you're referring to is used in other lenses (query/header etc). The Body.auto relies on the underlying

Json

implementation

Sorry, I pasted the wrong part of the code

Which http4k json library are you using?

Pronto, editei lá.

I've tried

import org.http4k.core.Method
import org.http4k.core.Request
import org.http4k.core.with
import org.http4k.lens.Header
import org.http4k.lens.zonedDateTime
import java.time.ZonedDateTime

class SimpleObject(val id: String, val attrs: Map<String, Any?>,
                   val created: ZonedDateTime,
                   val updated: ZonedDateTime)

fun main(args: Array<String>) {
    val obj = SimpleObject("foo", emptyMap(), ZonedDateTime.now(), ZonedDateTime.now())
    val request = Request(Method.GET, "/")
        .with(Header.zonedDateTime().required("last-modified") of obj.created)
    println(request)
}

and got

request = GET / HTTP/1.1
last-modified: 2018-03-06T21:56:51.882Z[Europe/London]

Here's my function:

customerService[id]?.let { obj ->

                Response(OK).with(
                        bodySimpleObject of obj
                ).with(headerLastModified of obj.updated)

            } ?: Response(Status.NOT_FOUND)

That generates a message like

HTTP/1.1 200 OK
content-type: application/json; charset=utf-8
last-modified: 2018-03-06T22:05:09.644Z[Europe/London]

{"id":"foo","attrs":{},"created":{"dateTime":{"date":{"year":2018,"month":3,"day":6},"time":{"hour":22,"minute":5,"second":9,"nano":644000000}},"offset":{"totalSeconds":0},"zone":{"id":"Europe/London"}},"updated":{"dateTime":{"date":{"year":2018,"month":3,"day":6},"time":{"hour":22,"minute":5,"second":9,"nano":717000000}},"offset":{"totalSeconds":0},"zone":{"id":"Europe/London"}}}

indeed. How can I get

2018-03-06T21:56:51.882Z[Europe/London]

?

The json serialisation is dependent on how the json library is configure to handle

ZonedDateTimes

. We're using a very vanilla config

but why your first example worked ?

It works for headers because we configure the serialisation in the lensSpec

Hmm.. But I think I'm using it on the header, not with json, so it should work... ?

Regarding the body serialisation, if you want to generate the dates in JSON in the same way as the header, you need to customise the Gson adapter. I've put together an example here: https://gist.github.com/s4nchez/9a7e65630c8a71cf6a72b0691fd80a0f

Hey, that's really great, thank you!!

You're welcome 🙂

Hmmm.. how do I link it so that it'll be called by Body.auto ?