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 #