Hledger.Utils.Parse

Documentation

type SimpleStringParser a = Parsec CustomErr String a

A parser of string to some type.

type SimpleTextParser = Parsec CustomErr Text

A parser of strict text to some type.

type TextParser m a = ParsecT CustomErr Text m a

A parser of text that runs in some monad.

data SourcePos

The data type SourcePos represents source positions. It contains the name of the source file, a line number, and a column number. Source line and column positions change intensively during parsing, so we need to make them strict to avoid memory leaks.

Constructors

SourcePos

Fields

• sourceName :: FilePath

  Name of source file

• sourceLine :: !Pos

  Line number

• sourceColumn :: !Pos

  Column number

Instances

Eq SourcePos

Defined in Text.Megaparsec.Pos

Methods

(==) :: SourcePos -> SourcePos -> Bool

(/=) :: SourcePos -> SourcePos -> Bool

Data SourcePos

Defined in Text.Megaparsec.Pos

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourcePos -> c SourcePos

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourcePos

toConstr :: SourcePos -> Constr

dataTypeOf :: SourcePos -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourcePos)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourcePos)

gmapT :: (forall b. Data b => b -> b) -> SourcePos -> SourcePos

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r

gmapQ :: (forall d. Data d => d -> u) -> SourcePos -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SourcePos -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos

Ord SourcePos

Defined in Text.Megaparsec.Pos

Methods

compare :: SourcePos -> SourcePos -> Ordering

(<) :: SourcePos -> SourcePos -> Bool

(<=) :: SourcePos -> SourcePos -> Bool

(>) :: SourcePos -> SourcePos -> Bool

(>=) :: SourcePos -> SourcePos -> Bool

max :: SourcePos -> SourcePos -> SourcePos

min :: SourcePos -> SourcePos -> SourcePos

Read SourcePos

Defined in Text.Megaparsec.Pos

Methods

readsPrec :: Int -> ReadS SourcePos

readList :: ReadS [SourcePos]

readPrec :: ReadPrec SourcePos

readListPrec :: ReadPrec [SourcePos]

Show SourcePos

Defined in Text.Megaparsec.Pos

Methods

showsPrec :: Int -> SourcePos -> ShowS

show :: SourcePos -> String

showList :: [SourcePos] -> ShowS

Generic SourcePos

Defined in Text.Megaparsec.Pos

Associated Types

type Rep SourcePos :: Type -> Type

Methods

from :: SourcePos -> Rep SourcePos x

to :: Rep SourcePos x -> SourcePos

ToJSON SourcePos

Defined in Hledger.Data.Json

Methods

toJSON :: SourcePos -> Value

toEncoding :: SourcePos -> Encoding

toJSONList :: [SourcePos] -> Value

toEncodingList :: [SourcePos] -> Encoding

FromJSON SourcePos

Defined in Hledger.Data.Json

Methods

parseJSON :: Value -> Parser SourcePos

parseJSONList :: Value -> Parser [SourcePos]

NFData SourcePos

Defined in Text.Megaparsec.Pos

Methods

rnf :: SourcePos -> ()

type Rep SourcePos

Defined in Text.Megaparsec.Pos

type Rep SourcePos = D1 ('MetaData "SourcePos" "Text.Megaparsec.Pos" "megaparsec-9.1.0-Ds4tCNLNpdOgMAq5l7mGz" 'False) (C1 ('MetaCons "SourcePos" 'PrefixI 'True) (S1 ('MetaSel ('Just "sourceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Just "sourceLine") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Pos) :*: S1 ('MetaSel ('Just "sourceColumn") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Pos))))

mkPos :: Int -> Pos

Construction of Pos from Int. The function throws InvalidPosException when given a non-positive argument.

Since: megaparsec-6.0.0

unPos :: Pos -> Int

Extract Int from Pos.

Since: megaparsec-6.0.0

initialPos :: FilePath -> SourcePos

Construct initial position (line 1, column 1) given name of source file.

SourcePos

showSourcePosPair :: (SourcePos, SourcePos) -> String

Render a pair of source position in human-readable form.

showSourcePos :: SourcePos -> String

Render source position in human-readable form.

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 CustomErr Text m) a] -> StateT s (ParsecT CustomErr Text m) a

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

surroundedBy :: Applicative m => m openclose -> m a -> m a

parsewith :: Parsec e Text a -> Text -> Either (ParseErrorBundle Text e) a

runTextParser :: TextParser Identity a -> Text -> Either (ParseErrorBundle Text CustomErr) a

Run a text parser in the identity monad. See also: parseWithState.

rtp :: TextParser Identity a -> Text -> Either (ParseErrorBundle Text CustomErr) a

Run a text parser in the identity monad. See also: parseWithState.

parsewithString :: Parsec e String a -> String -> Either (ParseErrorBundle String e) a

parseWithState :: Monad m => st -> StateT st (ParsecT CustomErr Text m) a -> Text -> m (Either (ParseErrorBundle Text CustomErr) a)

Run a stateful parser with some initial state on a text. See also: runTextParser, runJournalParser.

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

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

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

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

nonspace :: TextParser m Char

isNewline :: Char -> Bool

isNonNewlineSpace :: Char -> Bool

restofline :: TextParser m String

eolof :: TextParser m ()

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

skipNonNewlineSpaces :: (Stream s, Token s ~ Char) => ParsecT CustomErr s m ()

skipNonNewlineSpaces1 :: (Stream s, Token s ~ Char) => ParsecT CustomErr s m ()

skipNonNewlineSpaces' :: (Stream s, Token s ~ Char) => ParsecT CustomErr s m Bool

re-exports

data CustomErr

A custom error type for the parser. The type is specialized to parsers of Text streams.

Instances

Eq CustomErr

Defined in Text.Megaparsec.Custom

Methods

(==) :: CustomErr -> CustomErr -> Bool

(/=) :: CustomErr -> CustomErr -> Bool

Ord CustomErr

Defined in Text.Megaparsec.Custom

Methods

compare :: CustomErr -> CustomErr -> Ordering

(<) :: CustomErr -> CustomErr -> Bool

(<=) :: CustomErr -> CustomErr -> Bool

(>) :: CustomErr -> CustomErr -> Bool

(>=) :: CustomErr -> CustomErr -> Bool

max :: CustomErr -> CustomErr -> CustomErr

min :: CustomErr -> CustomErr -> CustomErr

Show CustomErr

Defined in Text.Megaparsec.Custom

Methods

showsPrec :: Int -> CustomErr -> ShowS

show :: CustomErr -> String

showList :: [CustomErr] -> ShowS

ShowErrorComponent CustomErr

Defined in Text.Megaparsec.Custom

Methods

showErrorComponent :: CustomErr -> String

errorComponentLen :: CustomErr -> Int

Ord (ParseError Text CustomErr)

Defined in Text.Megaparsec.Custom

Methods

compare :: ParseError Text CustomErr -> ParseError Text CustomErr -> Ordering

(<) :: ParseError Text CustomErr -> ParseError Text CustomErr -> Bool

(<=) :: ParseError Text CustomErr -> ParseError Text CustomErr -> Bool

(>) :: ParseError Text CustomErr -> ParseError Text CustomErr -> Bool

(>=) :: ParseError Text CustomErr -> ParseError Text CustomErr -> Bool

max :: ParseError Text CustomErr -> ParseError Text CustomErr -> ParseError Text CustomErr

min :: ParseError Text CustomErr -> ParseError Text CustomErr -> ParseError Text CustomErr