Hledger.Utils.Parse

Documentation

type SimpleStringParser a = Parsec MPErr String a

A parser of string to some type.

type SimpleTextParser = Parsec MPErr Text

A parser of strict text to some type.

type TextParser m a = ParsecT MPErr Text m a

A parser of text in some monad.

type JournalParser m a = StateT Journal (ParsecT MPErr Text m) a

A parser of text in some monad, with a journal as state.

type ErroringJournalParser m a = StateT Journal (ParsecT MPErr Text (ExceptT String m)) a

A parser of text in some monad, with a journal as state, that can throw an error string mid-parse.

choice' :: [TextParser m a] -> TextParser m a

Backtracking choice, use this when alternatives share a prefix. Consumes no input if all choices fail.

choiceInState :: [StateT s (ParsecT MPErr Text m) a] -> StateT s (ParsecT MPErr Text m) a

Backtracking choice, use this when alternatives share a prefix. Consumes no input if all choices fail.

parsewith :: Parsec e Text a -> Text -> Either (ParseError Char e) a

parsewithString :: Parsec e String a -> String -> Either (ParseError Char e) a

parseWithState :: Monad m => st -> StateT st (ParsecT MPErr Text m) a -> Text -> m (Either (ParseError Char MPErr) a)

parseWithState' :: Stream s => st -> StateT st (ParsecT e s Identity) a -> s -> Either (ParseError (Token s) e) a

fromparse :: (Show t, Show e) => Either (ParseError t e) a -> a

parseerror :: (Show t, Show e) => ParseError t e -> a

showParseError :: (Show t, Show e) => ParseError t e -> String

showDateParseError :: (Show t, Show e) => ParseError t e -> String

nonspace :: TextParser m Char

spacenonewline :: (Stream s, Char ~ Token s) => ParsecT MPErr s m Char

restofline :: TextParser m String

eolof :: TextParser m ()