Format for dealing with points in time stored as the number of milliseconds since Epoch.
Format for dealing with points in time stored as the number of milliseconds since Epoch.
prop> import com.gu.scanamo.DynamoFormat prop> import java.time.Instant prop> import com.gu.scanamo.time.JavaTimeFormats.instantAsLongFormat prop> import com.gu.scanamo.time.TimeGenerators.instantAsLongArb prop> (x: Instant) => | DynamoFormat[Instant].read(DynamoFormat[Instant].write(x)) == Right(x)
Format for dealing with date-times with an offset from UTC.
Format for dealing with date-times with an offset from UTC.
prop> import com.gu.scanamo.DynamoFormat prop> import java.time.OffsetDateTime prop> import com.gu.scanamo.time.JavaTimeFormats.offsetDateTimeFormat prop> import com.gu.scanamo.time.TimeGenerators.offsetDateTimeArb prop> (x: OffsetDateTime) => | DynamoFormat[OffsetDateTime].read(DynamoFormat[OffsetDateTime].write(x)) == Right(x)
Format for dealing with date-times with a time zone in the ISO-8601 calendar system.
Format for dealing with date-times with a time zone in the ISO-8601 calendar system.
prop> import com.gu.scanamo.DynamoFormat prop> import java.time.ZonedDateTime prop> import com.gu.scanamo.time.JavaTimeFormats.zonedDateTimeFormat prop> import com.fortysevendeg.scalacheck.datetime.jdk8.ArbitraryJdk8._ prop> (x: ZonedDateTime) => | DynamoFormat[ZonedDateTime].read(DynamoFormat[ZonedDateTime].write(x)) == Right(x)