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 org.scanamo.DynamoFormat prop> import java.time.Instant prop> import org.scanamo.time.JavaTimeFormats.instantAsLongFormat prop> import org.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 org.scanamo.DynamoFormat prop> import java.time.OffsetDateTime prop> import org.scanamo.time.JavaTimeFormats.offsetDateTimeFormat prop> import org.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 org.scanamo.DynamoFormat prop> import java.time.ZonedDateTime prop> import org.scanamo.time.JavaTimeFormats.zonedDateTimeFormat prop> import com.fortysevendeg.scalacheck.datetime.jdk8.ArbitraryJdk8._ prop> (x: ZonedDateTime) => | DynamoFormat[ZonedDateTime].read(DynamoFormat[ZonedDateTime].write(x)) == Right(x)