Idris2Doc : IotaTime.Tzdb.Posix

IotaTime.Tzdb.Posix

(source)
Reexports
import public IotaTime.TimeZone.Core
Definitions
data PosixTzError : Type
  Totality: total
  Visibility: public export
  Constructors:
  
ExpectedIdentifier : PosixTzError
  
ExpectedNumber : PosixTzError
  
ExpectedCharacter : Char -> PosixTzError
  
InvalidTime : Integer -> Integer -> Integer -> PosixTzError
  
PosixOffsetOutOfRange : Integer -> PosixTzError
  
PosixRuleOutOfRange : RecurrenceRuleError -> PosixTzError
  
MissingDaylightRules : PosixTzError
  
UnexpectedTrailingInput : String -> PosixTzError
data PosixZone : Type
  Totality: total
  Visibility: public export
  Constructors:
  
PosixFixed : TransitionInfo -> PosixZone
  
PosixRecurring : ZoneRecurrence -> PosixZone
parsePosixZone : String -> Either PosixTzError PosixZone
  Parse one complete POSIX TZ string from a TZif footer.

  Totality: total
  Visibility: public export