SimpleParser.Common

Common parsers. See Text.Megaparsec.Char.Lexer.

Documentation

data TextLabel

Enumeration of common labels in textual parsing.

Constructors

TextLabelSpace

TextLabelHSpace

TextLabelDigit

Instances

Show TextLabel

Defined in SimpleParser.Common

Methods

showsPrec :: Int -> TextLabel -> ShowS

show :: TextLabel -> String

showList :: [TextLabel] -> ShowS

Eq TextLabel

Defined in SimpleParser.Common

Methods

(==) :: TextLabel -> TextLabel -> Bool

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

EmbedTextLabel TextLabel

Defined in SimpleParser.Common

Methods

embedTextLabel :: TextLabel -> TextLabel

ExplainLabel TextLabel

Defined in SimpleParser.Explain

Methods

explainLabel :: TextLabel -> Builder

explainLabelText :: TextLabel -> Text

class EmbedTextLabel l where

Methods

embedTextLabel :: TextLabel -> l

Instances

EmbedTextLabel TextLabel

Defined in SimpleParser.Common

Methods

embedTextLabel :: TextLabel -> TextLabel

EmbedTextLabel AstLabel

Defined in SimpleParser.Examples.Direct.Ast

Methods

embedTextLabel :: TextLabel -> AstLabel

EmbedTextLabel SexpLabel

Defined in SimpleParser.Examples.Direct.Sexp

Methods

embedTextLabel :: TextLabel -> SexpLabel

EmbedTextLabel SexpTokLabel

Defined in SimpleParser.Examples.Lexed.Sexp

Methods

embedTextLabel :: TextLabel -> SexpTokLabel

EmbedTextLabel (CompoundTextLabel l)

Defined in SimpleParser.Common

Methods

embedTextLabel :: TextLabel -> CompoundTextLabel l

data CompoundTextLabel l

Union of text and custom labels

Constructors

CompoundTextLabelText !TextLabel

CompoundTextLabelCustom !l

Instances

Foldable CompoundTextLabel

Defined in SimpleParser.Common

Methods

fold :: Monoid m => CompoundTextLabel m -> m

foldMap :: Monoid m => (a -> m) -> CompoundTextLabel a -> m

foldMap' :: Monoid m => (a -> m) -> CompoundTextLabel a -> m

foldr :: (a -> b -> b) -> b -> CompoundTextLabel a -> b

foldr' :: (a -> b -> b) -> b -> CompoundTextLabel a -> b

foldl :: (b -> a -> b) -> b -> CompoundTextLabel a -> b

foldl' :: (b -> a -> b) -> b -> CompoundTextLabel a -> b

foldr1 :: (a -> a -> a) -> CompoundTextLabel a -> a

foldl1 :: (a -> a -> a) -> CompoundTextLabel a -> a

toList :: CompoundTextLabel a -> [a]

null :: CompoundTextLabel a -> Bool

length :: CompoundTextLabel a -> Int

elem :: Eq a => a -> CompoundTextLabel a -> Bool

maximum :: Ord a => CompoundTextLabel a -> a

minimum :: Ord a => CompoundTextLabel a -> a

sum :: Num a => CompoundTextLabel a -> a

product :: Num a => CompoundTextLabel a -> a

Traversable CompoundTextLabel

Defined in SimpleParser.Common

Methods

traverse :: Applicative f => (a -> f b) -> CompoundTextLabel a -> f (CompoundTextLabel b)

sequenceA :: Applicative f => CompoundTextLabel (f a) -> f (CompoundTextLabel a)

mapM :: Monad m => (a -> m b) -> CompoundTextLabel a -> m (CompoundTextLabel b)

sequence :: Monad m => CompoundTextLabel (m a) -> m (CompoundTextLabel a)

Functor CompoundTextLabel

Defined in SimpleParser.Common

Methods

fmap :: (a -> b) -> CompoundTextLabel a -> CompoundTextLabel b

(<$) :: a -> CompoundTextLabel b -> CompoundTextLabel a

Show l => Show (CompoundTextLabel l)

Defined in SimpleParser.Common

Methods

showsPrec :: Int -> CompoundTextLabel l -> ShowS

show :: CompoundTextLabel l -> String

showList :: [CompoundTextLabel l] -> ShowS

Eq l => Eq (CompoundTextLabel l)

Defined in SimpleParser.Common

Methods

(==) :: CompoundTextLabel l -> CompoundTextLabel l -> Bool

(/=) :: CompoundTextLabel l -> CompoundTextLabel l -> Bool

EmbedTextLabel (CompoundTextLabel l)

Defined in SimpleParser.Common

Methods

embedTextLabel :: TextLabel -> CompoundTextLabel l

ExplainLabel l => ExplainLabel (CompoundTextLabel l)

Defined in SimpleParser.Explain

Methods

explainLabel :: CompoundTextLabel l -> Builder

explainLabelText :: CompoundTextLabel l -> Text

sepByParser

Arguments

:: (Chunked seq elem, Monad m)

=> ParserT l s e m elem

How to parse item

-> ParserT l s e m ()

How to parse separator

-> ParserT l s e m seq

Yields the maximal list of separated items. May return an empty list.

betweenParser

Arguments

:: Monad m

=> ParserT l s e m ()

How to parse start

-> ParserT l s e m ()

How to parse end

-> ParserT l s e m a

How to parse inside

-> ParserT l s e m a

Parses between start and end markers.

lexemeParser

Arguments

:: Monad m

=> ParserT l s e m ()

How to consume white space after lexeme

-> ParserT l s e m a

How to parse actual lexeme

-> ParserT l s e m a

A wrapper for lexemes (equivalent to Megaparsec's lexeme).

newlineParser :: (Stream s, Token s ~ Char, Monad m) => ParserT l s e m ()

Consumes a newline character.

spaceParser :: (Stream s, Token s ~ Char, Monad m) => ParserT l s e m ()

Consumes 0 or more space characters.

hspaceParser :: (Stream s, Token s ~ Char, Monad m) => ParserT l s e m ()

Consumes 0 or more non-line-break space characters

spaceParser1 :: (EmbedTextLabel l, Stream s, Token s ~ Char, Monad m) => ParserT l s e m ()

Consumes 1 or more space characters.

hspaceParser1 :: (EmbedTextLabel l, Stream s, Token s ~ Char, Monad m) => ParserT l s e m ()

Consumes 1 or more non-line-break space characters

decimalParser :: (EmbedTextLabel l, Stream s, Token s ~ Char, Monad m, Num a) => ParserT l s e m a

Parses an integer in decimal representation (equivalent to Megaparsec's decimal).

signedNumStartPred :: Char -> Bool

Predicate for satisfying the start of signed numbers

scientificParser :: (EmbedTextLabel l, Stream s, Token s ~ Char, Monad m) => ParserT l s e m Scientific

Parses a floating point value as a Scientific number (equivalent to Megaparsec's scientific).

numParser :: (EmbedTextLabel l, Stream s, Token s ~ Char, Monad m) => ParserT l s e m (Either Integer Scientific)

Parses a number as a literal integer or a Scientific number. Though Scientific can represent integers, this allows you to distinugish integer literals from scientific literals since that information is lost after parsing.

data Sign

Constructors

SignPos

SignNeg

Instances

Show Sign

Defined in SimpleParser.Common

Methods

showsPrec :: Int -> Sign -> ShowS

show :: Sign -> String

showList :: [Sign] -> ShowS

Eq Sign

Defined in SimpleParser.Common

Methods

(==) :: Sign -> Sign -> Bool

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

signParser :: (Stream s, Token s ~ Char, Monad m) => ParserT l s e m (Maybe Sign)

Consumes an optional + or - representing the sign of a number.

applySign :: Num a => Maybe Sign -> a -> a

Optionally negate the number according to the sign (treating Nothing as positive sign).

signedParser

Arguments

:: (Stream s, Token s ~ Char, Monad m, Num a)

=> ParserT l s e m ()

How to consume white space after the sign

-> ParserT l s e m a

How to parse the number itself

-> ParserT l s e m a

Parser for signed numbers

Parses an optional sign character followed by a number and yields a correctly-signed number (equivalend to Megaparsec's signed).

escapedStringParser :: (Stream s, Token s ~ Char, Monad m) => Char -> ParserT l s e m (Chunk s)

Given a quote charcter (like a single or double quote), yields the contents of the string bounded by those quotes. The contents may contain backslash-escaped quotes. Returns nothing if outside quotes are missing or the stream ends before unquote.

spanParser :: (PosStream s, Monad m) => (Span (Pos s) -> a -> b) -> ParserT l s e m a -> ParserT l s e m b

Adds span information to parsed values.

getStreamPos :: (PosStream s, Monad m) => ParserT l s e m (Pos s)

Gets the current stream position