Text.Chatty.Parser

Provides the ChParser typeclass and some methods for input parsing.

Documentation

class ChScanner m => ChParser m where

Typeclass for input parsing.

Methods

pabort :: m a

Abort the parse process.

(??) :: Eq a => m a -> m a -> m a

Provide an alternative if the first choice fails. This version nubs the available forks and thus only works with instances of Eq.

(???) :: m a -> m a -> m a

Provide an alternative if the first choice fails. This version works for everything, but you should use ?? whenever possible.

ptry :: MonadPlus n => m a -> m (n a)

Find all/one solution(s) for the given parsing function

Instances

(MonadPlus m, Foldable m) => ChParser (CarrierT m)

(MonadPlus m, Foldable m) => ChParser (ForkerT m)

request :: ChScanner m => m Char

An prettier alias for mscan1. It scans and removes the next available character.

match :: ChParser m => Char -> m Char

Scan the next character and abort if it does not match the given one.

matchs :: ChParser m => String -> m String

Try to match all of the given characters. Abort otherwise.

white :: ChParser m => m Char

Try to match a whitespace. Abort otherwise.

digit :: ChParser m => m Int

Try to match a digit. Abort otherwise.

alpha :: ChParser m => m Char

Try to match a letter. Abort otherwise.

anum :: ChParser m => m Char

Try to match a letter or digit. Abort otherwise.

possibly :: ChParser m => m a -> m (Maybe a)

Try to run the given parsing function. Return Nothing otherwise.

many :: ChParser m => m a -> m [a]

Try to run the given parsing function as often as possible.

some :: ChParser m => m a -> m [a]

Try to run the given parsing function as often as possible, but at least once. Abort otherwise.

number :: ChParser m => m Int

Try to match a natural decimal number.

fract :: ChParser m => m Double

Try to match a fractional number.