Idris2Doc : IotaTime

IotaTime

(source)
Reexports
import public IotaTime.Duration
import public IotaTime.TimeZone
import public IotaTime.Instant
import public IotaTime.Clock
import public IotaTime.Interval
import public IotaTime.Offset
import public IotaTime.OffsetDateTime
import public IotaTime.Period
import public IotaTime.ZonedDateTime
import public IotaTime.LocalTime
import public IotaTime.Calendar
import public IotaTime.Calendar.Gregorian
import public IotaTime.Calendar.Julian
import public IotaTime.Calendar.Coptic
import public IotaTime.Calendar.Islamic
import public IotaTime.Calendar.Persian
import public IotaTime.Calendar.Hebrew
import public IotaTime.Locale
import public IotaTime.Pattern
import public IotaTime.Pattern.Scalar
import public IotaTime.Pattern.Calendar
import public IotaTime.Pattern.CalendarDate
import public IotaTime.Pattern.LocalTime
import public IotaTime.Pattern.Offset
import public IotaTime.Pattern.Duration
import public IotaTime.Pattern.Instant
import public IotaTime.Pattern.CalendarDateTime
import public IotaTime.Pattern.OffsetDateTime
import public IotaTime.Pattern.ZonedDateTime
import public IotaTime.Pattern.Locale
import public IotaTime.CalendarDateTime