Text.Parser.Char

Parsers for character streams

Combinators

oneOf :: CharParsing m => [Char] -> m Char

oneOf cs succeeds if the current character is in the supplied list of characters cs. Returns the parsed character. See also satisfy.

  vowel  = oneOf "aeiou"

noneOf :: CharParsing m => [Char] -> m Char

As the dual of oneOf, noneOf cs succeeds if the current character is not in the supplied list of characters cs. Returns the parsed character.

 consonant = noneOf "aeiou"

oneOfSet :: CharParsing m => CharSet -> m Char

oneOfSet cs succeeds if the current character is in the supplied set of characters cs. Returns the parsed character. See also satisfy.

  vowel  = oneOf "aeiou"

noneOfSet :: CharParsing m => CharSet -> m Char

As the dual of oneOf, noneOf cs succeeds if the current character is not in the supplied list of characters cs. Returns the parsed character.

 consonant = noneOf "aeiou"

spaces :: CharParsing m => m ()

Skips zero or more white space characters. See also skipMany.

space :: CharParsing m => m Char

Parses a white space character (any character which satisfies isSpace) Returns the parsed character.

newline :: CharParsing m => m Char

Parses a newline character ('\n'). Returns a newline character.

tab :: CharParsing m => m Char

Parses a tab character ('\t'). Returns a tab character.

upper :: CharParsing m => m Char

Parses an upper case letter. Returns the parsed character.

lower :: CharParsing m => m Char

Parses a lower case character. Returns the parsed character.

alphaNum :: CharParsing m => m Char

Parses a letter or digit. Returns the parsed character.

letter :: CharParsing m => m Char

Parses a letter (an upper case or lower case character). Returns the parsed character.

digit :: CharParsing m => m Char

Parses a digit. Returns the parsed character.

hexDigit :: CharParsing m => m Char

Parses a hexadecimal digit (a digit or a letter between 'a' and 'f' or 'A' and 'F'). Returns the parsed character.

octDigit :: CharParsing m => m Char

Parses an octal digit (a character between '0' and '7'). Returns the parsed character.

satisfyRange :: CharParsing m => Char -> Char -> m Char

Class

class Parsing m => CharParsing m where

Additional functionality needed to parse character streams.

Methods

satisfy :: (Char -> Bool) -> m Char

Parse a single character of the input, with UTF-8 decoding

satisfy :: (MonadTrans t, CharParsing n, Monad n, m ~ t n) => (Char -> Bool) -> m Char

Parse a single character of the input, with UTF-8 decoding

char :: Char -> m Char

char c parses a single character c. Returns the parsed character (i.e. c).

e.g.

semiColon = char ';'

notChar :: Char -> m Char

notChar c parses any single character other than c. Returns the parsed character.

anyChar :: m Char

This parser succeeds for any character. Returns the parsed character.

string :: String -> m String

string s parses a sequence of characters given by s. Returns the parsed string (i.e. s).

 divOrMod    =   string "div"
             <|> string "mod"

text :: Text -> m Text

text t parses a sequence of characters determined by the text t Returns the parsed text fragment (i.e. t).

Using OverloadedStrings:

 divOrMod    =   text "div"
             <|> text "mod"

Instances

CharParsing ReadP

Methods

satisfy :: (Char -> Bool) -> ReadP Char

char :: Char -> ReadP Char

notChar :: Char -> ReadP Char

anyChar :: ReadP Char

string :: String -> ReadP String

text :: Text -> ReadP Text

Chunk t => CharParsing (Parser t)

Methods

satisfy :: (Char -> Bool) -> Parser t Char

char :: Char -> Parser t Char

notChar :: Char -> Parser t Char

anyChar :: Parser t Char

string :: String -> Parser t String

text :: Text -> Parser t Text

CharParsing m => CharParsing (Unlined m)

Methods

satisfy :: (Char -> Bool) -> Unlined m Char

char :: Char -> Unlined m Char

notChar :: Char -> Unlined m Char

anyChar :: Unlined m Char

string :: String -> Unlined m String

text :: Text -> Unlined m Text

CharParsing m => CharParsing (Unspaced m)

Methods

satisfy :: (Char -> Bool) -> Unspaced m Char

char :: Char -> Unspaced m Char

notChar :: Char -> Unspaced m Char

anyChar :: Unspaced m Char

string :: String -> Unspaced m String

text :: Text -> Unspaced m Text

CharParsing m => CharParsing (Unhighlighted m)

Methods

satisfy :: (Char -> Bool) -> Unhighlighted m Char

char :: Char -> Unhighlighted m Char

notChar :: Char -> Unhighlighted m Char

anyChar :: Unhighlighted m Char

string :: String -> Unhighlighted m String

text :: Text -> Unhighlighted m Text

(CharParsing m, MonadPlus m) => CharParsing (StateT s m)

Methods

satisfy :: (Char -> Bool) -> StateT s m Char

char :: Char -> StateT s m Char

notChar :: Char -> StateT s m Char

anyChar :: StateT s m Char

string :: String -> StateT s m String

text :: Text -> StateT s m Text

(CharParsing m, MonadPlus m) => CharParsing (StateT s m)

Methods

satisfy :: (Char -> Bool) -> StateT s m Char

char :: Char -> StateT s m Char

notChar :: Char -> StateT s m Char

anyChar :: StateT s m Char

string :: String -> StateT s m String

text :: Text -> StateT s m Text

(CharParsing m, MonadPlus m, Monoid w) => CharParsing (WriterT w m)

Methods

satisfy :: (Char -> Bool) -> WriterT w m Char

char :: Char -> WriterT w m Char

notChar :: Char -> WriterT w m Char

anyChar :: WriterT w m Char

string :: String -> WriterT w m String

text :: Text -> WriterT w m Text

(CharParsing m, MonadPlus m, Monoid w) => CharParsing (WriterT w m)

Methods

satisfy :: (Char -> Bool) -> WriterT w m Char

char :: Char -> WriterT w m Char

notChar :: Char -> WriterT w m Char

anyChar :: WriterT w m Char

string :: String -> WriterT w m String

text :: Text -> WriterT w m Text

(CharParsing m, MonadPlus m) => CharParsing (IdentityT * m)

Methods

satisfy :: (Char -> Bool) -> IdentityT * m Char

char :: Char -> IdentityT * m Char

notChar :: Char -> IdentityT * m Char

anyChar :: IdentityT * m Char

string :: String -> IdentityT * m String

text :: Text -> IdentityT * m Text

(CharParsing m, MonadPlus m) => CharParsing (ReaderT * e m)

Methods

satisfy :: (Char -> Bool) -> ReaderT * e m Char

char :: Char -> ReaderT * e m Char

notChar :: Char -> ReaderT * e m Char

anyChar :: ReaderT * e m Char

string :: String -> ReaderT * e m String

text :: Text -> ReaderT * e m Text

Stream s m Char => CharParsing (ParsecT s u m)

Methods

satisfy :: (Char -> Bool) -> ParsecT s u m Char

char :: Char -> ParsecT s u m Char

notChar :: Char -> ParsecT s u m Char

anyChar :: ParsecT s u m Char

string :: String -> ParsecT s u m String

text :: Text -> ParsecT s u m Text

(CharParsing m, MonadPlus m, Monoid w) => CharParsing (RWST r w s m)

Methods

satisfy :: (Char -> Bool) -> RWST r w s m Char

char :: Char -> RWST r w s m Char

notChar :: Char -> RWST r w s m Char

anyChar :: RWST r w s m Char

string :: String -> RWST r w s m String

text :: Text -> RWST r w s m Text

(CharParsing m, MonadPlus m, Monoid w) => CharParsing (RWST r w s m)

Methods

satisfy :: (Char -> Bool) -> RWST r w s m Char

char :: Char -> RWST r w s m Char

notChar :: Char -> RWST r w s m Char

anyChar :: RWST r w s m Char

string :: String -> RWST r w s m String

text :: Text -> RWST r w s m Text