{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE MultiWayIf #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Data.Time.FromText (
parseDay,
parseLocalTime,
parseTimeOfDay,
parseTimeZone,
parseUTCTime,
parseZonedTime,
parseYear,
parseMonth,
parseQuarter,
parseQuarterOfYear,
) where
import Data.Bits ((.&.))
import Data.Char (ord, chr)
import Data.Fixed (Fixed (..), Pico)
import Data.Integer.Conversion (textToInteger)
import Data.Text.Array (Array)
import Data.Text.Internal (Text (..))
import GHC.Exts (inline)
import Data.Time.Calendar (Day, fromGregorianValid)
import Data.Time.Calendar.Compat (Year)
import Data.Time.Calendar.Month.Compat (Month, fromYearMonthValid)
import Data.Time.Calendar.Quarter.Compat (Quarter, QuarterOfYear (..),
fromYearQuarter)
import Data.Time.Clock (UTCTime (..))
import qualified Data.Text as T
import qualified Data.Text.Array as A
import qualified Data.Time.LocalTime as Local
parseDay :: Text -> Either String Day
parseDay :: Text -> Either String Day
parseDay = forall r.
(Day -> Text -> Either String r) -> Text -> Either String r
parseDay_ forall r. r -> Text -> Either String r
expectingEOF
parseMonth :: Text -> Either String Month
parseMonth :: Text -> Either String Month
parseMonth = forall r.
(Year -> Int -> Text -> Either String r) -> Text -> Either String r
parseMonth_ forall a b. (a -> b) -> a -> b
$ \Year
y Int
m Text
t ->
case Year -> Int -> Maybe Month
fromYearMonthValid Year
y Int
m of
Maybe Month
Nothing -> forall a b. a -> Either a b
Left forall a b. (a -> b) -> a -> b
$ String
"invalid month:" forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> String
show (Year
y, Int
m)
Just !Month
month -> forall r. r -> Text -> Either String r
expectingEOF Month
month Text
t
parseYear :: Text -> Either String Year
parseYear :: Text -> Either String Year
parseYear = forall r.
(Year -> Either String r)
-> (Year -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseYear_ forall a b. b -> Either a b
Right forall a b. (a -> b) -> a -> b
$ \Year
_ Char
c Text
_ -> forall r. Char -> String -> Either String r
unexpectedChar Char
c String
"end-of-input"
parseQuarter :: Text -> Either String Quarter
parseQuarter :: Text -> Either String Quarter
parseQuarter = forall r.
(Year -> QuarterOfYear -> Text -> Either String r)
-> Text -> Either String r
parseQuarter_ forall a b. (a -> b) -> a -> b
$ \Year
y QuarterOfYear
q Text
t ->
let !quarter :: Quarter
quarter = Year -> QuarterOfYear -> Quarter
fromYearQuarter Year
y QuarterOfYear
q in forall r. r -> Text -> Either String r
expectingEOF Quarter
quarter Text
t
parseQuarterOfYear :: Text -> Either String QuarterOfYear
parseQuarterOfYear :: Text -> Either String QuarterOfYear
parseQuarterOfYear = forall r.
(QuarterOfYear -> Text -> Either String r)
-> Text -> Either String r
parseQuarterOfYear_ forall r. r -> Text -> Either String r
expectingEOF
parseTimeOfDay :: Text -> Either String Local.TimeOfDay
parseTimeOfDay :: Text -> Either String TimeOfDay
parseTimeOfDay = forall r.
(Int -> Int -> Pico -> Either String r)
-> (Int -> Int -> Pico -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseTimeOfDay_ Int -> Int -> Pico -> Either String TimeOfDay
kontEOF forall a b. (a -> b) -> a -> b
$ \Int
_ Int
_ Pico
_ Char
c Text
_ -> forall r. Char -> String -> Either String r
unexpectedChar Char
c String
"end-of-input" where
kontEOF :: Int -> Int -> Pico -> Either String TimeOfDay
kontEOF Int
h Int
m Pico
s = forall r.
Int
-> Int -> Pico -> (TimeOfDay -> Either String r) -> Either String r
makeTimeOfDay Int
h Int
m Pico
s forall a b. b -> Either a b
Right
parseTimeZone :: Text -> Either String Local.TimeZone
parseTimeZone :: Text -> Either String TimeZone
parseTimeZone = forall r. (TimeZone -> Either String r) -> Text -> Either String r
parseTimeZone_ forall a b. b -> Either a b
Right
parseLocalTime :: Text -> Either String Local.LocalTime
parseLocalTime :: Text -> Either String LocalTime
parseLocalTime = forall r.
(LocalTime -> Either String r)
-> (LocalTime -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseLocalTime_ forall a b. b -> Either a b
Right forall a b. (a -> b) -> a -> b
$ \LocalTime
_ Char
c Text
_ -> forall r. Char -> String -> Either String r
unexpectedChar Char
c String
"end-of-input"
parseUTCTime :: Text -> Either String UTCTime
parseUTCTime :: Text -> Either String UTCTime
parseUTCTime = forall r. (UTCTime -> Either String r) -> Text -> Either String r
parseUTCTime_ forall a b. b -> Either a b
Right
parseZonedTime :: Text -> Either String Local.ZonedTime
parseZonedTime :: Text -> Either String ZonedTime
parseZonedTime = forall r. (ZonedTime -> Either String r) -> Text -> Either String r
parseZonedTime_ forall a b. b -> Either a b
Right
{-# INLINE unconsAscii_ #-}
unconsAscii_
:: Array -> Int -> Int
-> Either String r
-> (Char -> Int -> Int -> Either String r)
-> Either String r
unconsAscii_ :: forall r.
Array
-> Int
-> Int
-> Either String r
-> (Char -> Int -> Int -> Either String r)
-> Either String r
unconsAscii_ Array
arr Int
off Int
len Either String r
kontEOF Char -> Int -> Int -> Either String r
kontC
| Int
len forall a. Ord a => a -> a -> Bool
<= Int
0 = forall a. a -> a
inline Either String r
kontEOF
| Word8
c forall a. Ord a => a -> a -> Bool
< Word8
0x80 = forall a. a -> a
inline Char -> Int -> Int -> Either String r
kontC (Int -> Char
chr (forall a b. (Integral a, Num b) => a -> b
fromIntegral Word8
c)) (Int
off forall a. Num a => a -> a -> a
+ Int
1) (Int
len forall a. Num a => a -> a -> a
- Int
1)
| Bool
otherwise = forall a b. a -> Either a b
Left String
"Non-ASCII character"
where
c :: Word8
c = Array -> Int -> Word8
A.unsafeIndex Array
arr Int
off
{-# INLINE unconsAscii #-}
unconsAscii :: Either String r -> (Char -> Text -> Either String r) -> Text -> Either String r
unconsAscii :: forall r.
Either String r
-> (Char -> Text -> Either String r) -> Text -> Either String r
unconsAscii Either String r
kontEOF Char -> Text -> Either String r
kontC (Text Array
arr Int
off Int
len) =
forall r.
Array
-> Int
-> Int
-> Either String r
-> (Char -> Int -> Int -> Either String r)
-> Either String r
unconsAscii_ Array
arr Int
off Int
len Either String r
kontEOF forall a b. (a -> b) -> a -> b
$ \Char
c Int
off' Int
len' ->
forall a. a -> a
inline Char -> Text -> Either String r
kontC Char
c (Array -> Int -> Int -> Text
Text Array
arr Int
off' Int
len')
expectingEOF :: r -> Text -> Either String r
expectingEOF :: forall r. r -> Text -> Either String r
expectingEOF = forall a r. (a -> Either String r) -> a -> Text -> Either String r
expectingEOF_ forall a b. b -> Either a b
Right
{-# INLINE expectingEOF #-}
expectingEOF_ :: (a -> Either String r) -> a -> Text -> Either String r
expectingEOF_ :: forall a r. (a -> Either String r) -> a -> Text -> Either String r
expectingEOF_ a -> Either String r
kont a
a Text
t = case Text -> Maybe (Char, Text)
T.uncons Text
t of
Maybe (Char, Text)
Nothing -> forall a. a -> a
inline a -> Either String r
kont a
a
Just (Char
c, Text
_) -> forall r. Char -> String -> Either String r
unexpectedChar Char
c String
"end-of-input"
{-# INLINE expectingEOF_ #-}
unexpectedEOF :: String -> Either String r
unexpectedEOF :: forall r. String -> Either String r
unexpectedEOF String
expected = forall a b. a -> Either a b
Left forall a b. (a -> b) -> a -> b
$ String
"Unexpected end-of-input, expecting " forall a. [a] -> [a] -> [a]
++ String
expected
unexpectedChar :: Char -> String -> Either String r
unexpectedChar :: forall r. Char -> String -> Either String r
unexpectedChar Char
c String
expected = forall a b. a -> Either a b
Left forall a b. (a -> b) -> a -> b
$ String
"Unexpected '" forall a. [a] -> [a] -> [a]
++ Char
c forall a. a -> [a] -> [a]
: String
"', expecting " forall a. [a] -> [a] -> [a]
++ String
expected
{-# INLINE fromChar #-}
fromChar :: Char -> Int
fromChar :: Char -> Int
fromChar Char
c = Char -> Int
ord Char
c forall a. Bits a => a -> a -> a
.&. Int
0xf
{-# INLINE twoDigits #-}
twoDigits
:: (Int -> Text -> Either String r)
-> Text
-> Either String r
twoDigits :: forall r.
(Int -> Text -> Either String r) -> Text -> Either String r
twoDigits Int -> Text -> Either String r
kont =
forall r.
Either String r
-> (Char -> Text -> Either String r) -> Text -> Either String r
unconsAscii (forall r. String -> Either String r
unexpectedEOF String
"a digit") forall a b. (a -> b) -> a -> b
$ \Char
c1 -> if
| Char
'0' forall a. Ord a => a -> a -> Bool
<= Char
c1, Char
c1 forall a. Ord a => a -> a -> Bool
<= Char
'9' -> forall r.
Either String r
-> (Char -> Text -> Either String r) -> Text -> Either String r
unconsAscii (forall r. String -> Either String r
unexpectedEOF String
"a digit") forall a b. (a -> b) -> a -> b
$ \Char
c2 -> if
| Char
'0' forall a. Ord a => a -> a -> Bool
<= Char
c2, Char
c2 forall a. Ord a => a -> a -> Bool
<= Char
'9' -> forall a. a -> a
inline Int -> Text -> Either String r
kont (Char -> Int
fromChar Char
c1 forall a. Num a => a -> a -> a
* Int
10 forall a. Num a => a -> a -> a
+ Char -> Int
fromChar Char
c2)
| Bool
otherwise -> \Text
_ -> forall r. Char -> String -> Either String r
unexpectedChar Char
c2 String
"a digit"
| Bool
otherwise -> \Text
_ -> forall r. Char -> String -> Either String r
unexpectedChar Char
c1 String
"a digit"
{-# INLINE munchDigits #-}
munchDigits
:: (Text -> Either String r)
-> (Text -> Char -> Text -> Either String r)
-> Text
-> Either String r
munchDigits :: forall r.
(Text -> Either String r)
-> (Text -> Char -> Text -> Either String r)
-> Text
-> Either String r
munchDigits Text -> Either String r
kontEOF Text -> Char -> Text -> Either String r
kontC (Text Array
arr Int
off Int
len) =
forall r.
(Text -> Either String r)
-> (Text -> Char -> Text -> Either String r)
-> Array
-> Int
-> Int
-> Int
-> Either String r
munchDigits_ Text -> Either String r
kontEOF Text -> Char -> Text -> Either String r
kontC Array
arr Int
off Int
off Int
len
{-# INLINE munchDigits_ #-}
munchDigits_
:: (Text -> Either String r)
-> (Text -> Char -> Text -> Either String r)
-> Array
-> Int
-> Int
-> Int
-> Either String r
munchDigits_ :: forall r.
(Text -> Either String r)
-> (Text -> Char -> Text -> Either String r)
-> Array
-> Int
-> Int
-> Int
-> Either String r
munchDigits_ Text -> Either String r
kontEOF Text -> Char -> Text -> Either String r
kontC Array
arr = Int -> Int -> Int -> Either String r
loop where
loop :: Int -> Int -> Int -> Either String r
loop Int
off0 Int
off Int
len = forall r.
Array
-> Int
-> Int
-> Either String r
-> (Char -> Int -> Int -> Either String r)
-> Either String r
unconsAscii_ Array
arr Int
off Int
len (forall a. a -> a
inline Text -> Either String r
kontEOF (Array -> Int -> Int -> Text
Text Array
arr Int
off0 (Int
off forall a. Num a => a -> a -> a
- Int
off0))) forall a b. (a -> b) -> a -> b
$ \Char
c Int
off' Int
len' -> if
| Char
'0' forall a. Ord a => a -> a -> Bool
<= Char
c, Char
c forall a. Ord a => a -> a -> Bool
<= Char
'9' -> Int -> Int -> Int -> Either String r
loop Int
off0 Int
off' Int
len'
| Bool
otherwise -> forall a. a -> a
inline Text -> Char -> Text -> Either String r
kontC (Array -> Int -> Int -> Text
Text Array
arr Int
off0 (Int
off forall a. Num a => a -> a -> a
- Int
off0)) Char
c (Array -> Int -> Int -> Text
Text Array
arr Int
off' Int
len')
utcTimeZone :: Local.TimeZone
utcTimeZone :: TimeZone
utcTimeZone = Int -> Bool -> String -> TimeZone
Local.TimeZone Int
0 Bool
False String
""
{-# INLINE parseYear_ #-}
parseYear_
:: forall r. (Year -> Either String r)
-> (Year -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseYear_ :: forall r.
(Year -> Either String r)
-> (Year -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseYear_ Year -> Either String r
kontEOF Year -> Char -> Text -> Either String r
kontC (Text Array
arr Int
offS Int
lenS) = Int -> Int -> Either String r
start Int
offS Int
lenS where
start :: Int -> Int -> Either String r
start :: Int -> Int -> Either String r
start !Int
off !Int
len = forall r.
Array
-> Int
-> Int
-> Either String r
-> (Char -> Int -> Int -> Either String r)
-> Either String r
unconsAscii_ Array
arr Int
off Int
len
(forall r. String -> Either String r
unexpectedEOF String
"-, +, or a digit") forall a b. (a -> b) -> a -> b
$ \Char
c Int
off' Int
len' -> case Char
c of
Char
'-' -> (Year -> Year) -> Int -> Int -> Int -> Either String r
loop forall a. Num a => a -> a
negate Int
off' Int
off' Int
len'
Char
'+' -> (Year -> Year) -> Int -> Int -> Int -> Either String r
loop forall a. a -> a
id Int
off' Int
off' Int
len'
Char
_
| Char
'0' forall a. Ord a => a -> a -> Bool
<= Char
c, Char
c forall a. Ord a => a -> a -> Bool
<= Char
'9' -> (Year -> Year) -> Int -> Int -> Int -> Either String r
loop forall a. a -> a
id Int
off Int
off' Int
len'
| Bool
otherwise -> forall a b. a -> Either a b
Left forall a b. (a -> b) -> a -> b
$ String
"Unexpected '" forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> String
show Char
c forall a. [a] -> [a] -> [a]
++ String
", expecting -, +, or a digit"
loop :: (Integer -> Integer) -> Int -> Int -> Int -> Either String r
loop :: (Year -> Year) -> Int -> Int -> Int -> Either String r
loop !Year -> Year
posNeg !Int
off0 !Int
off !Int
len = forall r.
Array
-> Int
-> Int
-> Either String r
-> (Char -> Int -> Int -> Either String r)
-> Either String r
unconsAscii_ Array
arr Int
off Int
len ((Year -> Year) -> Int -> Int -> Either String r
finishEOF Year -> Year
posNeg Int
off0 Int
off) forall a b. (a -> b) -> a -> b
$ \Char
c Int
off' Int
len' -> if
| Char
'0' forall a. Ord a => a -> a -> Bool
<= Char
c, Char
c forall a. Ord a => a -> a -> Bool
<= Char
'9' -> (Year -> Year) -> Int -> Int -> Int -> Either String r
loop Year -> Year
posNeg Int
off0 Int
off' Int
len'
| Bool
otherwise -> (Year -> Year)
-> Char -> Int -> Int -> Int -> Int -> Either String r
finishC Year -> Year
posNeg Char
c Int
off0 Int
off Int
off' Int
len'
finishEOF :: (Integer -> Integer) -> Int -> Int -> Either String r
finishEOF :: (Year -> Year) -> Int -> Int -> Either String r
finishEOF !Year -> Year
posNeg !Int
off0 !Int
off
| Int
len0 forall a. Ord a => a -> a -> Bool
>= Int
4
= Year
year seq :: forall a b. a -> b -> b
`seq` Year -> Either String r
kontEOF Year
year
| Bool
otherwise
= forall a b. a -> Either a b
Left String
"expected year with at least 4 digits"
where
len0 :: Int
len0 = Int
off forall a. Num a => a -> a -> a
- Int
off0
year :: Year
year = Year -> Year
posNeg (Text -> Year
textToInteger (Array -> Int -> Int -> Text
Text Array
arr Int
off0 Int
len0))
{-# INLINE finishEOF #-}
finishC :: (Integer -> Integer) -> Char -> Int -> Int -> Int -> Int-> Either String r
finishC :: (Year -> Year)
-> Char -> Int -> Int -> Int -> Int -> Either String r
finishC !Year -> Year
posNeg Char
c !Int
off0 !Int
off !Int
off' !Int
len'
| Int
len0 forall a. Ord a => a -> a -> Bool
>= Int
4
= Year
year seq :: forall a b. a -> b -> b
`seq` Year -> Char -> Text -> Either String r
kontC Year
year Char
c (Array -> Int -> Int -> Text
Text Array
arr Int
off' Int
len')
| Bool
otherwise
= forall a b. a -> Either a b
Left String
"expected year with at least 4 digits"
where
len0 :: Int
len0 = Int
off forall a. Num a => a -> a -> a
- Int
off0
year :: Year
year = Year -> Year
posNeg (Text -> Year
textToInteger (Array -> Int -> Int -> Text
Text Array
arr Int
off0 Int
len0))
{-# INLINE finishC #-}
{-# INLINE parseYear__ #-}
parseYear__
:: forall r. (Year -> Text -> Either String r)
-> Text
-> Either String r
parseYear__ :: forall r.
(Year -> Text -> Either String r) -> Text -> Either String r
parseYear__ Year -> Text -> Either String r
kont =
forall r.
(Year -> Either String r)
-> (Year -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseYear_ (\Year
_ -> forall r. String -> Either String r
unexpectedEOF String
"a dash after a year part") forall a b. (a -> b) -> a -> b
$ \ !Year
y Char
c Text
t ->
if Char
c forall a. Eq a => a -> a -> Bool
== Char
'-'
then Year -> Text -> Either String r
kont Year
y Text
t
else forall r. Char -> String -> Either String r
unexpectedChar Char
c String
"a dash after a year part"
{-# INLINE parseMonth_ #-}
parseMonth_
:: forall r. (Year -> Int -> Text -> Either String r)
-> Text
-> Either String r
parseMonth_ :: forall r.
(Year -> Int -> Text -> Either String r) -> Text -> Either String r
parseMonth_ Year -> Int -> Text -> Either String r
kont =
forall r.
(Year -> Text -> Either String r) -> Text -> Either String r
parseYear__ forall a b. (a -> b) -> a -> b
$ \ !Year
y ->
forall r.
(Int -> Text -> Either String r) -> Text -> Either String r
twoDigits forall a b. (a -> b) -> a -> b
$ \ !Int
m ->
Year -> Int -> Text -> Either String r
kont Year
y Int
m
{-# INLINE parseDay_ #-}
parseDay_
:: forall r. (Day -> Text -> Either String r)
-> Text
-> Either String r
parseDay_ :: forall r.
(Day -> Text -> Either String r) -> Text -> Either String r
parseDay_ Day -> Text -> Either String r
kont =
forall r.
(Year -> Int -> Text -> Either String r) -> Text -> Either String r
parseMonth_ forall a b. (a -> b) -> a -> b
$ \Year
y Int
m ->
forall r. (Text -> Either String r) -> Text -> Either String r
skipDash forall a b. (a -> b) -> a -> b
$
forall r.
(Int -> Text -> Either String r) -> Text -> Either String r
twoDigits forall a b. (a -> b) -> a -> b
$ \Int
d ->
case Year -> Int -> Int -> Maybe Day
fromGregorianValid Year
y Int
m Int
d of
Maybe Day
Nothing -> \Text
_ -> forall a b. a -> Either a b
Left forall a b. (a -> b) -> a -> b
$ String
"invalid day:" forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> String
show (Year
y, Int
m, Int
d)
Just !Day
day -> forall a. a -> a
inline Day -> Text -> Either String r
kont Day
day
{-# INLINE parseQuarter_ #-}
parseQuarter_
:: forall r. (Year -> QuarterOfYear -> Text -> Either String r)
-> Text
-> Either String r
parseQuarter_ :: forall r.
(Year -> QuarterOfYear -> Text -> Either String r)
-> Text -> Either String r
parseQuarter_ Year -> QuarterOfYear -> Text -> Either String r
kont =
forall r.
(Year -> Text -> Either String r) -> Text -> Either String r
parseYear__ forall a b. (a -> b) -> a -> b
$ \Year
y ->
forall r.
(QuarterOfYear -> Text -> Either String r)
-> Text -> Either String r
parseQuarterOfYear_ forall a b. (a -> b) -> a -> b
$ \QuarterOfYear
q ->
forall a. a -> a
inline Year -> QuarterOfYear -> Text -> Either String r
kont Year
y QuarterOfYear
q
{-# INLINE parseQuarterOfYear_ #-}
parseQuarterOfYear_
:: forall r. (QuarterOfYear -> Text -> Either String r)
-> Text
-> Either String r
parseQuarterOfYear_ :: forall r.
(QuarterOfYear -> Text -> Either String r)
-> Text -> Either String r
parseQuarterOfYear_ QuarterOfYear -> Text -> Either String r
kont =
forall r.
Either String r
-> (Char -> Text -> Either String r) -> Text -> Either String r
unconsAscii (forall r. String -> Either String r
unexpectedEOF String
"QuarterOfYear") forall a b. (a -> b) -> a -> b
$ \Char
c -> if
| Char
'Q' forall a. Eq a => a -> a -> Bool
== Char
c Bool -> Bool -> Bool
|| Char
'q' forall a. Eq a => a -> a -> Bool
== Char
c -> forall r.
Either String r
-> (Char -> Text -> Either String r) -> Text -> Either String r
unconsAscii (forall r. String -> Either String r
unexpectedEOF String
"Quarter digit") forall a b. (a -> b) -> a -> b
$ \Char
c' -> case Char
c' of
Char
'1' -> forall a. a -> a
inline QuarterOfYear -> Text -> Either String r
kont QuarterOfYear
Q1
Char
'2' -> forall a. a -> a
inline QuarterOfYear -> Text -> Either String r
kont QuarterOfYear
Q2
Char
'3' -> forall a. a -> a
inline QuarterOfYear -> Text -> Either String r
kont QuarterOfYear
Q3
Char
'4' -> forall a. a -> a
inline QuarterOfYear -> Text -> Either String r
kont QuarterOfYear
Q4
Char
_ -> \Text
_ -> forall r. Char -> String -> Either String r
unexpectedChar Char
c' String
"QuarterOfYear digit"
| Bool
otherwise -> \Text
_ -> forall r. Char -> String -> Either String r
unexpectedChar Char
c String
"QuarterOfYear"
{-# INLINE skipDash #-}
skipDash
:: forall r. (Text -> Either String r)
-> Text
-> Either String r
skipDash :: forall r. (Text -> Either String r) -> Text -> Either String r
skipDash Text -> Either String r
kont = forall r.
Either String r
-> (Char -> Text -> Either String r) -> Text -> Either String r
unconsAscii (forall r. String -> Either String r
unexpectedEOF String
"a dash, -") forall a b. (a -> b) -> a -> b
$ \Char
c ->
if Char
c forall a. Eq a => a -> a -> Bool
== Char
'-'
then forall a. a -> a
inline Text -> Either String r
kont
else \Text
_ -> forall r. Char -> String -> Either String r
unexpectedChar Char
c String
"a dash, -"
{-# INLINE parseTimeOfDay_ #-}
parseTimeOfDay_
:: (Int -> Int -> Pico -> Either String r)
-> (Int -> Int -> Pico -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseTimeOfDay_ :: forall r.
(Int -> Int -> Pico -> Either String r)
-> (Int -> Int -> Pico -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseTimeOfDay_ Int -> Int -> Pico -> Either String r
kontEOF Int -> Int -> Pico -> Char -> Text -> Either String r
kontC =
forall r.
(Int -> Text -> Either String r) -> Text -> Either String r
twoDigits forall a b. (a -> b) -> a -> b
$ \Int
h ->
forall r. (Text -> Either String r) -> Text -> Either String r
skipColon forall a b. (a -> b) -> a -> b
$
forall r.
(Int -> Text -> Either String r) -> Text -> Either String r
twoDigits forall a b. (a -> b) -> a -> b
$ \Int
m -> forall r.
Either String r
-> (Char -> Text -> Either String r) -> Text -> Either String r
unconsAscii (forall a. a -> a
inline Int -> Int -> Pico -> Either String r
kontEOF Int
h Int
m Pico
0) forall a b. (a -> b) -> a -> b
$ \ Char
c ->
if Char
c forall a. Eq a => a -> a -> Bool
== Char
':'
then forall r.
(Pico -> Either String r)
-> (Pico -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseSeconds_ (forall a. a -> a
inline Int -> Int -> Pico -> Either String r
kontEOF Int
h Int
m) (forall a. a -> a
inline Int -> Int -> Pico -> Char -> Text -> Either String r
kontC Int
h Int
m)
else forall a. a -> a
inline Int -> Int -> Pico -> Char -> Text -> Either String r
kontC Int
h Int
m Pico
0 Char
c
{-# INLINE parseTimeOfDay__ #-}
parseTimeOfDay__
:: (Local.TimeOfDay -> Either String r)
-> (Local.TimeOfDay -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseTimeOfDay__ :: forall r.
(TimeOfDay -> Either String r)
-> (TimeOfDay -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseTimeOfDay__ TimeOfDay -> Either String r
kontEOF TimeOfDay -> Char -> Text -> Either String r
kontC = forall r.
(Int -> Int -> Pico -> Either String r)
-> (Int -> Int -> Pico -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseTimeOfDay_
(\Int
h Int
m Pico
s -> forall r.
Int
-> Int -> Pico -> (TimeOfDay -> Either String r) -> Either String r
makeTimeOfDay Int
h Int
m Pico
s TimeOfDay -> Either String r
kontEOF)
(\Int
h Int
m Pico
s Char
c Text
t -> forall r.
Int
-> Int -> Pico -> (TimeOfDay -> Either String r) -> Either String r
makeTimeOfDay Int
h Int
m Pico
s forall a b. (a -> b) -> a -> b
$ \TimeOfDay
l -> forall a. a -> a
inline TimeOfDay -> Char -> Text -> Either String r
kontC TimeOfDay
l Char
c Text
t)
{-# INLINE makeTimeOfDay #-}
makeTimeOfDay :: Int -> Int -> Pico -> (Local.TimeOfDay -> Either String r) -> Either String r
makeTimeOfDay :: forall r.
Int
-> Int -> Pico -> (TimeOfDay -> Either String r) -> Either String r
makeTimeOfDay Int
h Int
m Pico
s TimeOfDay -> Either String r
kont =
if Int
h forall a. Ord a => a -> a -> Bool
< Int
24 Bool -> Bool -> Bool
&& Int
m forall a. Ord a => a -> a -> Bool
< Int
60 Bool -> Bool -> Bool
&& Pico
s forall a. Ord a => a -> a -> Bool
< Pico
61
then forall a. a -> a
inline TimeOfDay -> Either String r
kont (Int -> Int -> Pico -> TimeOfDay
Local.TimeOfDay Int
h Int
m Pico
s)
else forall a b. a -> Either a b
Left forall a b. (a -> b) -> a -> b
$ String
"Invalid time of day:" forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> String
show (Int
h,Int
m,Pico
s)
{-# INLINE parseSeconds_ #-}
parseSeconds_
:: (Pico -> Either String r)
-> (Pico -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseSeconds_ :: forall r.
(Pico -> Either String r)
-> (Pico -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseSeconds_ Pico -> Either String r
kontEOF Pico -> Char -> Text -> Either String r
kontC =
forall r.
(Int -> Text -> Either String r) -> Text -> Either String r
twoDigits forall a b. (a -> b) -> a -> b
$ \Int
real ->
forall r.
Either String r
-> (Char -> Text -> Either String r) -> Text -> Either String r
unconsAscii (forall a. a -> a
inline Pico -> Either String r
kontEOF (forall a b. (Integral a, Num b) => a -> b
fromIntegral Int
real)) forall a b. (a -> b) -> a -> b
$ \Char
c ->
if Char
c forall a. Eq a => a -> a -> Bool
== Char
'.'
then forall r.
(Text -> Either String r)
-> (Text -> Char -> Text -> Either String r)
-> Text
-> Either String r
munchDigits (\Text
i -> forall r.
Int -> (Pico -> Either String r) -> Text -> Either String r
makeSeconds Int
real Pico -> Either String r
kontEOF Text
i) (\Text
i Char
c' Text
t -> forall r.
Int -> (Pico -> Either String r) -> Text -> Either String r
makeSeconds Int
real (\Pico
j -> forall a. a -> a
inline Pico -> Char -> Text -> Either String r
kontC Pico
j Char
c' Text
t) Text
i)
else Pico -> Char -> Text -> Either String r
kontC (forall k (a :: k). Year -> Fixed a
MkFixed forall a b. (a -> b) -> a -> b
$ forall a. Integral a => a -> Year
toInteger Int
real forall a. Num a => a -> a -> a
* Year
pico) Char
c
{-# INLINE makeSeconds #-}
makeSeconds :: Int -> (Pico -> Either String r) -> Text -> Either String r
makeSeconds :: forall r.
Int -> (Pico -> Either String r) -> Text -> Either String r
makeSeconds Int
real Pico -> Either String r
kont t :: Text
t@(Text Array
_arr Int
_off Int
len)
| Int
len forall a. Eq a => a -> a -> Bool
== Int
0
= forall a b. a -> Either a b
Left String
"Expecting at least one decimal after a dot"
| Int
len forall a. Ord a => a -> a -> Bool
> Int
12
= forall a b. a -> Either a b
Left String
"Unexpectedly over twelve decimals"
| Bool
otherwise
= forall a. a -> a
inline Pico -> Either String r
kont (forall k (a :: k). Year -> Fixed a
MkFixed (forall a. Integral a => a -> Year
toInteger Int
real forall a. Num a => a -> a -> a
* Year
pico forall a. Num a => a -> a -> a
+ Text -> Year
textToInteger Text
t forall a. Num a => a -> a -> a
* Year
10 forall a b. (Num a, Integral b) => a -> b -> a
^ Int
expo))
where
expo :: Int
expo = Int
12 forall a. Num a => a -> a -> a
- Int
len
{-# INLINE parseTimeZone_ #-}
parseTimeZone_
:: (Local.TimeZone -> Either String r)
-> Text
-> Either String r
parseTimeZone_ :: forall r. (TimeZone -> Either String r) -> Text -> Either String r
parseTimeZone_ TimeZone -> Either String r
kont =
forall a. a -> a
inline forall r.
Either String r
-> (Char -> Text -> Either String r) -> Text -> Either String r
unconsAscii (forall r. String -> Either String r
unexpectedEOF String
"timezone: Z, +HH:MM or -HH:MM") forall a b. (a -> b) -> a -> b
$ \Char
c Text
t ->
forall a r.
a
-> (a -> TimeZone -> Either String r)
-> Char
-> Text
-> Either String r
parseTimeZone__ () (\()
_ -> forall a. a -> a
inline TimeZone -> Either String r
kont) Char
c Text
t
pico :: Integer
pico :: Year
pico = Year
1000000000000
{-# INLINE parseTimeZone__ #-}
parseTimeZone__
:: a
-> (a -> Local.TimeZone -> Either String r)
-> Char
-> Text
-> Either String r
parseTimeZone__ :: forall a r.
a
-> (a -> TimeZone -> Either String r)
-> Char
-> Text
-> Either String r
parseTimeZone__ a
x a -> TimeZone -> Either String r
kont Char
c Text
t0 = case Char
c of
Char
'-' -> a -> (Int -> Int) -> Text -> Either String r
hhmm a
x forall a. Num a => a -> a
negate Text
t0
Char
'+' -> a -> (Int -> Int) -> Text -> Either String r
hhmm a
x forall a. a -> a
id Text
t0
Char
'Z' -> forall a r. (a -> Either String r) -> a -> Text -> Either String r
expectingEOF_ (forall a. a -> a
inline a -> TimeZone -> Either String r
kont a
x) TimeZone
utcTimeZone Text
t0
Char
_ -> forall r. Char -> String -> Either String r
unexpectedChar Char
c String
"timezone: Z, +HH:MM or -HH:MM"
where
hhmm :: a -> (Int -> Int) -> Text -> Either String r
hhmm a
y Int -> Int
posNeg =
forall r.
(Int -> Text -> Either String r) -> Text -> Either String r
twoDigits forall a b. (a -> b) -> a -> b
$ \Int
hh ->
forall r.
Either String r
-> (Char -> Text -> Either String r) -> Text -> Either String r
unconsAscii (forall b.
(Int -> Int)
-> Int -> Int -> (TimeZone -> Either String b) -> Either String b
withResult Int -> Int
posNeg Int
hh Int
0 (a -> TimeZone -> Either String r
kont a
y)) forall a b. (a -> b) -> a -> b
$ \Char
c1 -> case Char
c1 of
Char
':' ->
forall r.
(Int -> Text -> Either String r) -> Text -> Either String r
twoDigits forall a b. (a -> b) -> a -> b
$ \Int
mm ->
forall a r. (a -> Either String r) -> a -> Text -> Either String r
expectingEOF_ (\Int
mm' -> forall b.
(Int -> Int)
-> Int -> Int -> (TimeZone -> Either String b) -> Either String b
withResult Int -> Int
posNeg Int
hh Int
mm' (a -> TimeZone -> Either String r
kont a
y)) Int
mm
Char
_ | Char
'0' forall a. Ord a => a -> a -> Bool
<= Char
c1, Char
c1 forall a. Ord a => a -> a -> Bool
<= Char
'9' ->
forall r.
Either String r
-> (Char -> Text -> Either String r) -> Text -> Either String r
unconsAscii (forall r. String -> Either String r
unexpectedEOF String
"a digit") forall a b. (a -> b) -> a -> b
$ \Char
c2 ->
if Char
'0' forall a. Ord a => a -> a -> Bool
<= Char
c2 Bool -> Bool -> Bool
&& Char
c2 forall a. Ord a => a -> a -> Bool
<= Char
'9'
then forall a r. (a -> Either String r) -> a -> Text -> Either String r
expectingEOF_ (\Int
mm' -> forall b.
(Int -> Int)
-> Int -> Int -> (TimeZone -> Either String b) -> Either String b
withResult Int -> Int
posNeg Int
hh Int
mm' (a -> TimeZone -> Either String r
kont a
y)) (Char -> Int
fromChar Char
c1 forall a. Num a => a -> a -> a
* Int
10 forall a. Num a => a -> a -> a
+ Char -> Int
fromChar Char
c2)
else \Text
_ -> forall r. Char -> String -> Either String r
unexpectedChar Char
c2 String
"a digit"
Char
_ -> \Text
_ -> forall r. Char -> String -> Either String r
unexpectedChar Char
c1 String
"colon or a digit"
withResult :: (Int -> Int) -> Int -> Int -> (Local.TimeZone -> Either String b) -> Either String b
withResult :: forall b.
(Int -> Int)
-> Int -> Int -> (TimeZone -> Either String b) -> Either String b
withResult Int -> Int
posNeg Int
hh Int
mm TimeZone -> Either String b
kontR =
if Int
hh forall a. Ord a => a -> a -> Bool
< Int
24 Bool -> Bool -> Bool
&& Int
mm forall a. Ord a => a -> a -> Bool
< Int
60
then TimeZone -> Either String b
kontR (Int -> TimeZone
Local.minutesToTimeZone (Int -> Int
posNeg (Int
hh forall a. Num a => a -> a -> a
* Int
60 forall a. Num a => a -> a -> a
+ Int
mm)))
else forall a b. a -> Either a b
Left forall a b. (a -> b) -> a -> b
$ String
"Invalid TimeZone:" forall a. [a] -> [a] -> [a]
++ forall a. Show a => a -> String
show (Int
hh, Int
mm)
{-# INLINE parseLocalTime_ #-}
parseLocalTime_
:: (Local.LocalTime -> Either String r)
-> (Local.LocalTime -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseLocalTime_ :: forall r.
(LocalTime -> Either String r)
-> (LocalTime -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseLocalTime_ LocalTime -> Either String r
kontEOF LocalTime -> Char -> Text -> Either String r
kontC =
forall r.
(Day -> Text -> Either String r) -> Text -> Either String r
parseDay_ forall a b. (a -> b) -> a -> b
$ \Day
d ->
forall r. (Text -> Either String r) -> Text -> Either String r
skipDaySeparator forall a b. (a -> b) -> a -> b
$
forall r.
(TimeOfDay -> Either String r)
-> (TimeOfDay -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseTimeOfDay__
(\TimeOfDay
l -> forall a. a -> a
inline LocalTime -> Either String r
kontEOF (Day -> TimeOfDay -> LocalTime
Local.LocalTime Day
d TimeOfDay
l))
(\TimeOfDay
l Char
c Text
t -> forall a. a -> a
inline LocalTime -> Char -> Text -> Either String r
kontC (Day -> TimeOfDay -> LocalTime
Local.LocalTime Day
d TimeOfDay
l) Char
c Text
t)
{-# INLINE parseUTCTime_ #-}
parseUTCTime_
:: (UTCTime -> Either String r)
-> Text
-> Either String r
parseUTCTime_ :: forall r. (UTCTime -> Either String r) -> Text -> Either String r
parseUTCTime_ UTCTime -> Either String r
kont = forall r. (ZonedTime -> Either String r) -> Text -> Either String r
parseZonedTime_ forall a b. (a -> b) -> a -> b
$ \ZonedTime
zt -> forall a. a -> a
inline UTCTime -> Either String r
kont (ZonedTime -> UTCTime
Local.zonedTimeToUTC ZonedTime
zt)
{-# INLINE parseZonedTime_ #-}
parseZonedTime_
:: (Local.ZonedTime -> Either String r)
-> Text
-> Either String r
parseZonedTime_ :: forall r. (ZonedTime -> Either String r) -> Text -> Either String r
parseZonedTime_ ZonedTime -> Either String r
kont =
forall r.
(LocalTime -> Either String r)
-> (LocalTime -> Char -> Text -> Either String r)
-> Text
-> Either String r
parseLocalTime_ (\LocalTime
_ -> forall r. String -> Either String r
unexpectedEOF String
"timezone") forall a b. (a -> b) -> a -> b
$ \LocalTime
lt Char
c ->
forall r.
(ZonedTime -> Either String r)
-> LocalTime -> Char -> Text -> Either String r
parseZT ZonedTime -> Either String r
kont LocalTime
lt Char
c
{-# INLINE parseZT #-}
parseZT
:: (Local.ZonedTime -> Either String r)
-> Local.LocalTime
-> Char -> Text -> Either String r
parseZT :: forall r.
(ZonedTime -> Either String r)
-> LocalTime -> Char -> Text -> Either String r
parseZT ZonedTime -> Either String r
kont LocalTime
lt = forall a r.
a
-> (a -> TimeZone -> Either String r)
-> Char
-> Text
-> Either String r
parseTimeZone__ LocalTime
lt forall a b. (a -> b) -> a -> b
$ \LocalTime
lt' TimeZone
tz -> forall a. a -> a
inline ZonedTime -> Either String r
kont (LocalTime -> TimeZone -> ZonedTime
Local.ZonedTime LocalTime
lt' TimeZone
tz)
{-# INLINE skipColon #-}
skipColon
:: (Text -> Either String r)
-> Text
-> Either String r
skipColon :: forall r. (Text -> Either String r) -> Text -> Either String r
skipColon Text -> Either String r
kont = forall r.
Either String r
-> (Char -> Text -> Either String r) -> Text -> Either String r
unconsAscii (forall r. String -> Either String r
unexpectedEOF String
"a colon, :") forall a b. (a -> b) -> a -> b
$ \Char
c ->
if Char
c forall a. Eq a => a -> a -> Bool
== Char
':'
then forall a. a -> a
inline Text -> Either String r
kont
else \Text
_ -> forall r. Char -> String -> Either String r
unexpectedChar Char
c String
"a colon, :"
{-# INLINE skipDaySeparator #-}
skipDaySeparator
:: (Text -> Either String r)
-> Text
-> Either String r
skipDaySeparator :: forall r. (Text -> Either String r) -> Text -> Either String r
skipDaySeparator Text -> Either String r
kont = forall r.
Either String r
-> (Char -> Text -> Either String r) -> Text -> Either String r
unconsAscii (forall r. String -> Either String r
unexpectedEOF String
"a day separator, T or space") forall a b. (a -> b) -> a -> b
$ \Char
c ->
if Char
c forall a. Eq a => a -> a -> Bool
== Char
'T' Bool -> Bool -> Bool
|| Char
c forall a. Eq a => a -> a -> Bool
== Char
' '
then forall a. a -> a
inline Text -> Either String r
kont
else \Text
_ -> forall r. Char -> String -> Either String r
unexpectedChar Char
c String
"a day separator, T or space"