Another thing with this library, is there a way to get an `Every<JsonElement, Foo>`?

# arrow

[dave08]

Another thing with this library, is there a way to get an Every<JsonElement, Foo>?

[simon.vergauwen]

I think you should write a Prism for this. cc\ @Alejandro Serrano Mena

[dave08]

string seems to be implemented like this:

private object JsonElementToString : Optional<JsonElement, String> {
  override fun getOrModify(source: JsonElement): Either<JsonElement, String> =
    source.jsonPrimitiveOrNull?.let { json ->
      if (json.isString) json.content.right() else json.left()
    }
      ?: source.left()

  override fun set(source: JsonElement, focus: String): JsonElement =
    if (source is JsonPrimitive && source.isString) JsonPrimitive(focus) else source
}

[dave08]

But when I try using

Optional<JsonElement, Foo>(
    getOrModify = *{*

    *}*, set = *{}*
)

intellij doesn't know what to import...

[Alejandro Serrano Mena]

what are you trying to do exactly?

[dave08]

Given:
[{ "id":1, "name": "this"}, {"id":2, "name": "that"}]
Getting each element in:
data class Foo(id: Int, name: String)
(the actual json could be more complex...)

[dave08]

w/o having to make a complex implementation for making a lens on each such mapping...

[dave08]

If the fields are there the optional returns something, if not than just none... I think that's how string works too, no?

[dave08]

A big plus would be to use the JsonPath DSL to reach those fields in such a mapper...

[dave08]

Ooooh, that's GREAT! I just found _extract_()... 👍🏼