lucuma.schemas.decoders.CoreModelDecoders.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of lucuma-schemas-model_3 Show documentation

model

There is a newer version: 0.110.3

Show newest version

// Copyright (c) 2016-2023 Association of Universities for Research in Astronomy, Inc. (AURA)
// For license information see LICENSE or https://opensource.org/licenses/BSD-3-Clause

package lucuma.schemas.decoders

import coulomb.*
import coulomb.syntax.*
import eu.timepit.refined.types.numeric.PosInt
import io.circe.Decoder
import io.circe.DecodingFailure
import io.circe.Encoder
import io.circe.refined.*
import lucuma.core.math.WavelengthDelta
import lucuma.core.math.WavelengthDither
import lucuma.core.math.dimensional.*
import lucuma.core.model.Semester
import lucuma.core.util.*

trait CoreModelDecoders:
  given quantityDecoder[N: Decoder, U]: Decoder[Quantity[N, U]] =
    Decoder.instance(_.as[N].map(_.withUnit[U]))

  given taggedMeasureDecoder[N: Decoder, T](using
    unitDecoder: Decoder[Units Of T]
  ): Decoder[Measure[N] Of T] =
    Decoder.instance: c =>
      for
        v <- c.downField("value").as[N]
        u <- c.downField("units").as[Units Of T]
      yield u.withValueTagged(v)

  given Decoder[WavelengthDither] = Decoder.instance:
    _.downField("picometers").as[Int].map(WavelengthDither.intPicometers.get)

  given Decoder[WavelengthDelta] = Decoder.instance(
    _.downField("picometers").as[PosInt].map(WavelengthDelta.apply)
  )

  // TODO: This needs to be to a common location for schemas and ODB. Currently it is private within the ODB
  given Decoder[Semester] =
    Decoder.instance:
      _.as[String].flatMap: s =>
        Semester.fromString.getOption(s).toRight(DecodingFailure(s"Invalid Semester `$s`", List()))

  given Encoder[Semester] =
    Encoder.encodeString.contramap[Semester](_.format)

  given Decoder[TimestampInterval] = Decoder.instance: c =>
    for
      start <- c.downField("start").as[Timestamp]
      end   <- c.downField("end").as[Timestamp]
    yield TimestampInterval.between(start, end)