Toml.Parser.Core

Reexports from megaparsec

(<?>) :: MonadParsec e s m => m a -> String -> m a

anySingle :: MonadParsec e s m => m (Token s)

match :: MonadParsec e s m => m a -> m (Tokens s, a)

parse :: Parsec e s a -> String -> s -> Either (ParseErrorBundle s e) a

satisfy :: MonadParsec e s m => (Token s -> Bool) -> m (Token s)

errorBundlePretty :: (Stream s, ShowErrorComponent e) => ParseErrorBundle s e -> String

type Parsec e s = ParsecT e s Identity

try :: MonadParsec e s m => m a -> m a

alphaNumChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)

char :: (MonadParsec e s m, Token s ~ Char) => Token s -> m (Token s)

digitChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)

eol :: (MonadParsec e s m, Token s ~ Char) => m (Tokens s)

hexDigitChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)

space :: (MonadParsec e s m, Token s ~ Char) => m ()

space1 :: (MonadParsec e s m, Token s ~ Char) => m ()

tab :: (MonadParsec e s m, Token s ~ Char) => m (Token s)

string :: MonadParsec e s m => Tokens s -> m (Tokens s)

binary :: (MonadParsec e s m, Token s ~ Char, Integral a) => m a

float :: (MonadParsec e s m, Token s ~ Char, RealFloat a) => m a

hexadecimal :: (MonadParsec e s m, Token s ~ Char, Integral a) => m a

octal :: (MonadParsec e s m, Token s ~ Char, Integral a) => m a

signed :: (MonadParsec e s m, Token s ~ Char, Num a) => m () -> m a -> m a

skipLineComment :: (MonadParsec e s m, Token s ~ Char) => Tokens s -> m ()

symbol :: MonadParsec e s m => m () -> Tokens s -> m (Tokens s)

Core parsers for TOML

type Parser = Parsec Void Text

The parser

lexeme :: Parser a -> Parser a

Wrapper for consuming spaces after every lexeme (not before it!). Consumes all characters according to sc parser.

sc :: Parser ()

Space and comment consumer. Currently also consumes newlines.

text :: Text -> Parser Text

Parser for "fixed" string.