Parsing to Json

We can decode from a String, a File, etc:

import arrow.core.*
import helios.*
import helios.core.*
import helios.typeclasses.*
val jsonStr =
"""{
     "name": "Simon",
     "age": 30
   }"""

val jsonFromString : Json =
  Json.parseFromString(jsonStr).getOrHandle {
    println("Failed creating the Json ${it.localizedMessage}, creating an empty one")
    JsString("")
  }

jsonFromString.spaces2()

From Json to the ADT

Once we have a Json, we can parse it to an ADT:

val personOrError: Either<DecodingError, Person> = Person.decoder().decode(jsonFromString)

personOrError.fold({
  "Something went wrong during decoding: $it"
}, {
  "Successfully decode the json: $it"
})

Encoding to a Json

We can also encode from a data class instance to a Json:

val person = Person("Raul", 34)

val jsonFromPerson = with(Person.encoder()) {
  person.encode()
}

jsonFromPerson.noSpaces()