2014-03-24 05:07:39 +04:00
|
|
|
{-|
|
|
|
|
|
Module : Text.Parsec
|
|
|
|
|
Copyright : (c) Daan Leijen 1999-2001, (c) Paolo Martini 2007
|
|
|
|
|
License : BSD-style (see the LICENSE file)
|
|
|
|
|
|
|
|
|
|
Maintainer : aslatter@gmail.com
|
|
|
|
|
Stability : provisional
|
|
|
|
|
Portability : portable
|
|
|
|
|
|
|
|
|
|
This module includes everything you need to get started writing a
|
|
|
|
|
parser.
|
|
|
|
|
|
|
|
|
|
By default this module is set up to parse character data. If you'd like
|
|
|
|
|
to parse the result of your own tokenizer you should start with the following
|
|
|
|
|
imports:
|
|
|
|
|
|
|
|
|
|
@
|
|
|
|
|
import Text.Parsec.Prim
|
|
|
|
|
import Text.Parsec.Combinator
|
|
|
|
|
@
|
|
|
|
|
|
|
|
|
|
Then you can implement your own version of 'satisfy' on top of the 'tokenPrim'
|
|
|
|
|
primitive.
|
|
|
|
|
|
|
|
|
|
-}
|
2008-01-13 20:53:15 +03:00
|
|
|
|
|
|
|
|
module Text.Parsec
|
2014-03-24 05:07:39 +04:00
|
|
|
( -- * Parsers
|
|
|
|
|
ParsecT
|
|
|
|
|
, Parsec
|
|
|
|
|
, token
|
|
|
|
|
, tokens
|
|
|
|
|
, runParserT
|
|
|
|
|
, runParser
|
|
|
|
|
, parse
|
|
|
|
|
, parseTest
|
|
|
|
|
, getPosition
|
|
|
|
|
, getInput
|
|
|
|
|
, getState
|
|
|
|
|
, putState
|
|
|
|
|
, modifyState
|
|
|
|
|
-- * Combinators
|
|
|
|
|
, (<|>)
|
|
|
|
|
, (<?>)
|
|
|
|
|
, label
|
|
|
|
|
, labels
|
|
|
|
|
, try
|
|
|
|
|
, unexpected
|
|
|
|
|
, choice
|
|
|
|
|
, many
|
|
|
|
|
, many1
|
|
|
|
|
, skipMany
|
|
|
|
|
, skipMany1
|
|
|
|
|
, count
|
|
|
|
|
, between
|
|
|
|
|
, option
|
|
|
|
|
, optionMaybe
|
|
|
|
|
, optional
|
|
|
|
|
, sepBy
|
|
|
|
|
, sepBy1
|
|
|
|
|
, endBy
|
|
|
|
|
, endBy1
|
|
|
|
|
, sepEndBy
|
|
|
|
|
, sepEndBy1
|
|
|
|
|
, chainl
|
|
|
|
|
, chainl1
|
|
|
|
|
, chainr
|
|
|
|
|
, chainr1
|
|
|
|
|
, eof
|
|
|
|
|
, notFollowedBy
|
|
|
|
|
, manyTill
|
|
|
|
|
, lookAhead
|
|
|
|
|
, anyToken
|
|
|
|
|
-- * Character Parsing
|
2008-01-13 20:53:15 +03:00
|
|
|
, module Text.Parsec.Char
|
2014-03-24 05:07:39 +04:00
|
|
|
-- * Error messages
|
2008-01-13 20:53:15 +03:00
|
|
|
, ParseError
|
|
|
|
|
, errorPos
|
2014-03-24 05:07:39 +04:00
|
|
|
-- * Position
|
2008-01-13 20:53:15 +03:00
|
|
|
, SourcePos
|
|
|
|
|
, SourceName, Line, Column
|
|
|
|
|
, sourceName, sourceLine, sourceColumn
|
|
|
|
|
, incSourceLine, incSourceColumn
|
|
|
|
|
, setSourceLine, setSourceColumn, setSourceName
|
2014-03-24 05:07:39 +04:00
|
|
|
-- * Low-level operations
|
|
|
|
|
, manyAccum
|
|
|
|
|
, tokenPrim
|
|
|
|
|
, tokenPrimEx
|
|
|
|
|
, runPT
|
|
|
|
|
, unknownError
|
|
|
|
|
, sysUnExpectError
|
|
|
|
|
, mergeErrorReply
|
|
|
|
|
, getParserState
|
|
|
|
|
, setParserState
|
|
|
|
|
, updateParserState
|
2015-01-10 05:33:05 +03:00
|
|
|
, Stream (..)
|
2014-03-24 05:07:39 +04:00
|
|
|
, runParsecT
|
|
|
|
|
, mkPT
|
2015-01-10 05:33:05 +03:00
|
|
|
, Consumed (..)
|
|
|
|
|
, Reply (..)
|
|
|
|
|
, State (..)
|
2014-03-24 05:07:39 +04:00
|
|
|
, setPosition
|
|
|
|
|
, setInput
|
|
|
|
|
-- * Other stuff
|
|
|
|
|
, setState
|
|
|
|
|
, updateState
|
|
|
|
|
, parsecMap
|
|
|
|
|
, parserReturn
|
|
|
|
|
, parserBind
|
|
|
|
|
, parserFail
|
|
|
|
|
, parserZero
|
|
|
|
|
, parserPlus
|
2008-01-13 20:53:15 +03:00
|
|
|
) where
|
|
|
|
|
|
|
|
|
|
import Text.Parsec.Pos
|
|
|
|
|
import Text.Parsec.Error
|
|
|
|
|
import Text.Parsec.Prim
|
|
|
|
|
import Text.Parsec.Char
|
|
|
|
|
import Text.Parsec.Combinator
|
