parsers-0.12.12: Parsing combinators

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

Text.Parser.LookAhead

Contents

- Parsing Combinators

Description

Parsers that can `lookAhead`.

Synopsis

- class Parsing m => LookAheadParsing (m :: Type -> Type) where
  - lookAhead :: m a -> m a

# Parsing Combinators

class Parsing m => LookAheadParsing (m :: Type -> Type) where Source #

Additional functionality needed to describe parsers independent of input type.

Methods

lookAhead :: m a -> m a Source #

`lookAhead p` parses `p` without consuming any input.

#### Instances

Instances details

LookAheadParsing Get Source # |
Instance details Defined in Text.Parser.LookAhead Methods lookAhead :: Get a -> Get a Source #
LookAheadParsing ReadP Source # |
Instance details Defined in Text.Parser.LookAhead Methods lookAhead :: ReadP a -> ReadP a Source #
Chunk i => LookAheadParsing (Parser i) Source # |
Instance details Defined in Text.Parser.LookAhead Methods lookAhead :: Parser i a -> Parser i a Source #
(LookAheadParsing m, Monad m) => LookAheadParsing (IdentityT m) Source # |
Instance details Defined in Text.Parser.LookAhead Methods lookAhead :: IdentityT m a -> IdentityT m a Source #
(LookAheadParsing m, MonadPlus m) => LookAheadParsing (ReaderT e m) Source # |
Instance details Defined in Text.Parser.LookAhead Methods lookAhead :: ReaderT e m a -> ReaderT e m a Source #
(LookAheadParsing m, MonadPlus m) => LookAheadParsing (StateT s m) Source # |
Instance details Defined in Text.Parser.LookAhead Methods lookAhead :: StateT s m a -> StateT s m a Source #
(LookAheadParsing m, MonadPlus m) => LookAheadParsing (StateT s m) Source # |
Instance details Defined in Text.Parser.LookAhead Methods lookAhead :: StateT s m a -> StateT s m a Source #
(LookAheadParsing m, MonadPlus m, Monoid w) => LookAheadParsing (WriterT w m) Source # |
Instance details Defined in Text.Parser.LookAhead Methods lookAhead :: WriterT w m a -> WriterT w m a Source #
(LookAheadParsing m, MonadPlus m, Monoid w) => LookAheadParsing (WriterT w m) Source # |
Instance details Defined in Text.Parser.LookAhead Methods lookAhead :: WriterT w m a -> WriterT w m a Source #
(Stream s m t, Show t) => LookAheadParsing (ParsecT s u m) Source # |
Instance details Defined in Text.Parser.LookAhead Methods lookAhead :: ParsecT s u m a -> ParsecT s u m a Source #
(LookAheadParsing m, MonadPlus m, Monoid w) => LookAheadParsing (RWST r w s m) Source # |
Instance details Defined in Text.Parser.LookAhead Methods lookAhead :: RWST r w s m a -> RWST r w s m a Source #
(LookAheadParsing m, MonadPlus m, Monoid w) => LookAheadParsing (RWST r w s m) Source # |
Instance details Defined in Text.Parser.LookAhead Methods lookAhead :: RWST r w s m a -> RWST r w s m a Source #