| Copyright | (c) CNRS 2017-present |
|---|---|
| License | AGPL + CECILL v3 |
| Maintainer | team@gargantext.org |
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | None |
| Language | Haskell2010 |
Gargantext.Core.Text.Corpus.Parsers.Date.Parsec
Description
Synopsis
- wrapDST :: Monad m => String -> m Int
- many1NoneOf :: Stream s m Char => [Char] -> ParsecT s u m [Char]
- getMultiplicator :: Int -> Int
- parseGregorian :: Parser Day
- parseTimeOfDay :: Parser TimeOfDay
- parseTimeZone :: Parser TimeZone
- parseZonedTime :: Parser ZonedTime
- fromRFC3339 :: Text -> Either ParseError ZonedTime
Documentation
wrapDST :: Monad m => String -> m Int Source #
Permit to transform a String to an Int in a monadic context
many1NoneOf :: Stream s m Char => [Char] -> ParsecT s u m [Char] Source #
Generic parser which take at least one element not given in argument
getMultiplicator :: Int -> Int Source #
parseGregorian :: Parser Day Source #
Parser for date format y-m-d
parseTimeZone :: Parser TimeZone Source #
Parser for timezone format +hh:mm
fromRFC3339 :: Text -> Either ParseError ZonedTime Source #