Text.Parser.Deterministic

Deterministic parsers can be restricted to succeed with a single parsing result.

Documentation

class Parsing m => DeterministicParsing m where

Combinator methods for constructing deterministic parsers, i.e., parsers that can succeed with only a single result.

Minimal complete definition

Nothing

Methods

(<<|>) :: m a -> m a -> m a infixl 3

Left-biased choice: if the left alternative succeeds, the right one is never tried.

takeOptional :: m a -> m (Maybe a)

Like optional, but never succeeds with Nothing if the argument parser can succeed.

takeMany :: m a -> m [a]

Like many, but always consuming the longest matching sequence of input.

takeSome :: m a -> m [a]

Like some, but always consuming the longest matching sequence of input.

concatAll :: Monoid a => m a -> m a

Like concatMany, but always consuming the longest matching sequence of input.

skipAll :: m a -> m ()

Like skipMany, but always consuming the longest matching sequence of input.

Instances

DeterministicParsing Parser

Defined in Text.Parser.Deterministic

Methods

(<<|>) :: Parser a -> Parser a -> Parser a

takeOptional :: Parser a -> Parser (Maybe a)

takeMany :: Parser a -> Parser [a]

takeSome :: Parser a -> Parser [a]

concatAll :: Monoid a => Parser a -> Parser a

skipAll :: Parser a -> Parser ()

DeterministicParsing Parser

Defined in Text.Parser.Deterministic

Methods

(<<|>) :: Parser a -> Parser a -> Parser a

takeOptional :: Parser a -> Parser (Maybe a)

takeMany :: Parser a -> Parser [a]

takeSome :: Parser a -> Parser [a]

concatAll :: Monoid a => Parser a -> Parser a

skipAll :: Parser a -> Parser ()

DeterministicParsing ReadP

Defined in Text.Parser.Deterministic

Methods

(<<|>) :: ReadP a -> ReadP a -> ReadP a

takeOptional :: ReadP a -> ReadP (Maybe a)

takeMany :: ReadP a -> ReadP [a]

takeSome :: ReadP a -> ReadP [a]

concatAll :: Monoid a => ReadP a -> ReadP a

skipAll :: ReadP a -> ReadP ()

DeterministicParsing (Strict Get)

Defined in Text.Parser.Deterministic

Methods

(<<|>) :: Strict Get a -> Strict Get a -> Strict Get a

takeOptional :: Strict Get a -> Strict Get (Maybe a)

takeMany :: Strict Get a -> Strict Get [a]

takeSome :: Strict Get a -> Strict Get [a]

concatAll :: Monoid a => Strict Get a -> Strict Get a

skipAll :: Strict Get a -> Strict Get ()

DeterministicParsing (Lazy Get)

Defined in Text.Parser.Deterministic

Methods

(<<|>) :: Lazy Get a -> Lazy Get a -> Lazy Get a

takeOptional :: Lazy Get a -> Lazy Get (Maybe a)

takeMany :: Lazy Get a -> Lazy Get [a]

takeSome :: Lazy Get a -> Lazy Get [a]

concatAll :: Monoid a => Lazy Get a -> Lazy Get a

skipAll :: Lazy Get a -> Lazy Get ()

(Monad m, DeterministicParsing m) => DeterministicParsing (IdentityT m)

Defined in Text.Parser.Deterministic

Methods

(<<|>) :: IdentityT m a -> IdentityT m a -> IdentityT m a

takeOptional :: IdentityT m a -> IdentityT m (Maybe a)

takeMany :: IdentityT m a -> IdentityT m [a]

takeSome :: IdentityT m a -> IdentityT m [a]

concatAll :: Monoid a => IdentityT m a -> IdentityT m a

skipAll :: IdentityT m a -> IdentityT m ()

(MonadPlus m, DeterministicParsing m) => DeterministicParsing (ReaderT e m)

Defined in Text.Parser.Deterministic

Methods

(<<|>) :: ReaderT e m a -> ReaderT e m a -> ReaderT e m a

takeOptional :: ReaderT e m a -> ReaderT e m (Maybe a)

takeMany :: ReaderT e m a -> ReaderT e m [a]

takeSome :: ReaderT e m a -> ReaderT e m [a]

concatAll :: Monoid a => ReaderT e m a -> ReaderT e m a

skipAll :: ReaderT e m a -> ReaderT e m ()

(MonadPlus m, DeterministicParsing m, Monoid w) => DeterministicParsing (StateT w m)

Defined in Text.Parser.Deterministic

Methods

(<<|>) :: StateT w m a -> StateT w m a -> StateT w m a

takeOptional :: StateT w m a -> StateT w m (Maybe a)

takeMany :: StateT w m a -> StateT w m [a]

takeSome :: StateT w m a -> StateT w m [a]

concatAll :: Monoid a => StateT w m a -> StateT w m a

skipAll :: StateT w m a -> StateT w m ()

(MonadPlus m, DeterministicParsing m, Monoid w) => DeterministicParsing (StateT w m)

Defined in Text.Parser.Deterministic

Methods

(<<|>) :: StateT w m a -> StateT w m a -> StateT w m a

takeOptional :: StateT w m a -> StateT w m (Maybe a)

takeMany :: StateT w m a -> StateT w m [a]

takeSome :: StateT w m a -> StateT w m [a]

concatAll :: Monoid a => StateT w m a -> StateT w m a

skipAll :: StateT w m a -> StateT w m ()

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

Defined in Text.Parser.Deterministic

Methods

(<<|>) :: WriterT w m a -> WriterT w m a -> WriterT w m a

takeOptional :: WriterT w m a -> WriterT w m (Maybe a)

takeMany :: WriterT w m a -> WriterT w m [a]

takeSome :: WriterT w m a -> WriterT w m [a]

concatAll :: Monoid a => WriterT w m a -> WriterT w m a

skipAll :: WriterT w m a -> WriterT w m ()

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

Defined in Text.Parser.Deterministic

Methods

(<<|>) :: WriterT w m a -> WriterT w m a -> WriterT w m a

takeOptional :: WriterT w m a -> WriterT w m (Maybe a)

takeMany :: WriterT w m a -> WriterT w m [a]

takeSome :: WriterT w m a -> WriterT w m [a]

concatAll :: Monoid a => WriterT w m a -> WriterT w m a

skipAll :: WriterT w m a -> WriterT w m ()

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

Defined in Text.Parser.Deterministic

Methods

(<<|>) :: RWST r w s m a -> RWST r w s m a -> RWST r w s m a

takeOptional :: RWST r w s m a -> RWST r w s m (Maybe a)

takeMany :: RWST r w s m a -> RWST r w s m [a]

takeSome :: RWST r w s m a -> RWST r w s m [a]

concatAll :: Monoid a => RWST r w s m a -> RWST r w s m a

skipAll :: RWST r w s m a -> RWST r w s m ()

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

Defined in Text.Parser.Deterministic

Methods

(<<|>) :: RWST r w s m a -> RWST r w s m a -> RWST r w s m a

takeOptional :: RWST r w s m a -> RWST r w s m (Maybe a)

takeMany :: RWST r w s m a -> RWST r w s m [a]

takeSome :: RWST r w s m a -> RWST r w s m [a]

concatAll :: Monoid a => RWST r w s m a -> RWST r w s m a

skipAll :: RWST r w s m a -> RWST r w s m ()