Copyright	(c) Edward Kmett 2011
License	BSD3
Maintainer	ekmett@gmail.com
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Distribution.Compat.CharParsing

Contents

Combinators
Class
Cabal additions

Description

Parsers for character streams

Originally in parsers package.

Synopsis

oneOf :: CharParsing m => [ Char ] -> m Char
noneOf :: CharParsing m => [ Char ] -> m Char
spaces :: CharParsing m => m ()
space :: CharParsing m => m Char
newline :: CharParsing m => m Char
tab :: CharParsing m => m Char
upper :: CharParsing m => m Char
lower :: CharParsing m => m Char
alphaNum :: CharParsing m => m Char
letter :: CharParsing m => m Char
digit :: CharParsing m => m Char
hexDigit :: CharParsing m => m Char
octDigit :: CharParsing m => m Char
satisfyRange :: CharParsing m => Char -> Char -> m Char
class Parsing m => CharParsing m where
- satisfy :: ( Char -> Bool ) -> m Char
- char :: Char -> m Char
- notChar :: Char -> m Char
- anyChar :: m Char
- string :: String -> m String
- text :: Text -> m Text
integral :: ( CharParsing m, Integral a) => m a
munch1 :: CharParsing m => ( Char -> Bool ) -> m String
munch :: CharParsing m => ( Char -> Bool ) -> m String
skipSpaces1 :: CharParsing m => m ()
module Distribution.Compat.Parsing

Combinators

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

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 Source #

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 () Source #

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

space :: CharParsing m => m Char Source #

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

newline :: CharParsing m => m Char Source #

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

tab :: CharParsing m => m Char Source #

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

upper :: CharParsing m => m Char Source #

Parses an upper case letter. Returns the parsed character.

lower :: CharParsing m => m Char Source #

Parses a lower case character. Returns the parsed character.

alphaNum :: CharParsing m => m Char Source #

Parses a letter or digit. Returns the parsed character.

letter :: CharParsing m => m Char Source #

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

digit :: CharParsing m => m Char Source #

Parses a digit. Returns the parsed character.

hexDigit :: CharParsing m => m Char Source #

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 Source #

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

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

Class

class Parsing m => CharParsing m where Source #

Additional functionality needed to parse character streams.

Minimal complete definition

satisfy

Methods

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

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

char :: Char -> m Char Source #

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

e.g.

semiColon = char ';'

notChar :: Char -> m Char Source #

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

anyChar :: m Char Source #

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

string :: String -> m String Source #

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 Source #

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

Instances details

CharParsing ParsecParser Source #
Instance details Defined in Distribution.Parsec Methods satisfy :: ( Char -> Bool ) -> ParsecParser Char Source # char :: Char -> ParsecParser Char Source # notChar :: Char -> ParsecParser Char Source # anyChar :: ParsecParser Char Source # string :: String -> ParsecParser String Source # text :: Text -> ParsecParser Text Source #
( CharParsing m, MonadPlus m) => CharParsing ( IdentityT m) Source #
Instance details Defined in Distribution.Compat.CharParsing Methods satisfy :: ( Char -> Bool ) -> IdentityT m Char Source # char :: Char -> IdentityT m Char Source # notChar :: Char -> IdentityT m Char Source # anyChar :: IdentityT m Char Source # string :: String -> IdentityT m String Source # text :: Text -> IdentityT m Text Source #
( CharParsing m, MonadPlus m) => CharParsing ( ReaderT e m) Source #
Instance details Defined in Distribution.Compat.CharParsing Methods satisfy :: ( Char -> Bool ) -> ReaderT e m Char Source # char :: Char -> ReaderT e m Char Source # notChar :: Char -> ReaderT e m Char Source # anyChar :: ReaderT e m Char Source # string :: String -> ReaderT e m String Source # text :: Text -> ReaderT e m Text Source #
( CharParsing m, MonadPlus m) => CharParsing ( StateT s m) Source #
Instance details Defined in Distribution.Compat.CharParsing Methods satisfy :: ( Char -> Bool ) -> StateT s m Char Source # char :: Char -> StateT s m Char Source # notChar :: Char -> StateT s m Char Source # anyChar :: StateT s m Char Source # string :: String -> StateT s m String Source # text :: Text -> StateT s m Text Source #
( CharParsing m, MonadPlus m) => CharParsing ( StateT s m) Source #
Instance details Defined in Distribution.Compat.CharParsing Methods satisfy :: ( Char -> Bool ) -> StateT s m Char Source # char :: Char -> StateT s m Char Source # notChar :: Char -> StateT s m Char Source # anyChar :: StateT s m Char Source # string :: String -> StateT s m String Source # text :: Text -> StateT s m Text Source #
( CharParsing m, MonadPlus m, Monoid w) => CharParsing ( WriterT w m) Source #
Instance details Defined in Distribution.Compat.CharParsing Methods satisfy :: ( Char -> Bool ) -> WriterT w m Char Source # char :: Char -> WriterT w m Char Source # notChar :: Char -> WriterT w m Char Source # anyChar :: WriterT w m Char Source # string :: String -> WriterT w m String Source # text :: Text -> WriterT w m Text Source #
( CharParsing m, MonadPlus m, Monoid w) => CharParsing ( WriterT w m) Source #
Instance details Defined in Distribution.Compat.CharParsing Methods satisfy :: ( Char -> Bool ) -> WriterT w m Char Source # char :: Char -> WriterT w m Char Source # notChar :: Char -> WriterT w m Char Source # anyChar :: WriterT w m Char Source # string :: String -> WriterT w m String Source # text :: Text -> WriterT w m Text Source #
Stream s m Char => CharParsing ( ParsecT s u m) Source #
Instance details Defined in Distribution.Compat.CharParsing Methods satisfy :: ( Char -> Bool ) -> ParsecT s u m Char Source # char :: Char -> ParsecT s u m Char Source # notChar :: Char -> ParsecT s u m Char Source # anyChar :: ParsecT s u m Char Source # string :: String -> ParsecT s u m String Source # text :: Text -> ParsecT s u m Text Source #
( CharParsing m, MonadPlus m, Monoid w) => CharParsing ( RWST r w s m) Source #
Instance details Defined in Distribution.Compat.CharParsing Methods satisfy :: ( Char -> Bool ) -> RWST r w s m Char Source # char :: Char -> RWST r w s m Char Source # notChar :: Char -> RWST r w s m Char Source # anyChar :: RWST r w s m Char Source # string :: String -> RWST r w s m String Source # text :: Text -> RWST r w s m Text Source #
( CharParsing m, MonadPlus m, Monoid w) => CharParsing ( RWST r w s m) Source #
Instance details Defined in Distribution.Compat.CharParsing Methods satisfy :: ( Char -> Bool ) -> RWST r w s m Char Source # char :: Char -> RWST r w s m Char Source # notChar :: Char -> RWST r w s m Char Source # anyChar :: RWST r w s m Char Source # string :: String -> RWST r w s m String Source # text :: Text -> RWST r w s m Text Source #

Cabal additions

integral :: ( CharParsing m, Integral a) => m a Source #

munch1 :: CharParsing m => ( Char -> Bool ) -> m String Source #

Greedily munch characters while predicate holds. Require at least one character.

munch :: CharParsing m => ( Char -> Bool ) -> m String Source #

Greedely munch characters while predicate holds. Always succeeds.

skipSpaces1 :: CharParsing m => m () Source #

module Distribution.Compat.Parsing