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 ReadP Source #
Instance details Defined in Text.Parser.LookAhead Methods lookAhead :: ReadP a -> ReadP a Source #
LookAheadParsing Get Source #
Instance details Defined in Text.Parser.LookAhead Methods lookAhead :: Get a -> Get 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 #