Text.Time.Lexer

Definitions

readInt : Integer -> List Char -> Maybe Integer

Visibility: public export

readYear : List Char -> Maybe Year

Visibility: public export

readMonth : List Char -> Maybe Month

Visibility: public export

readDay : List Char -> Maybe (Day m)

Visibility: public export

readHour : List Char -> Maybe Hour

Visibility: public export

readMinute : List Char -> Maybe Minute

Visibility: public export

readSecond : List Char -> Maybe Second

Visibility: public export

date : StrictTok e Date

Visibility: export

prec' : Hour -> Minute -> Second -> Nat -> Nat -> SafeTok LocalTime

Visibility: export

prec : Hour -> Minute -> Second -> AutoTok e LocalTime

Visibility: export

localTime : StrictTok e LocalTime

Visibility: export

offsetTime : StrictTok e OffsetTime

Visibility: export

anyTime : StrictTok e AnyTime

Visibility: export