mirror of
https://github.com/mrkkrp/megaparsec.git
synced 2024-12-25 09:12:29 +03:00
Fix some references in the Text.Parsec.Error documentation
This commit is contained in:
parent
92ed4bfbe3
commit
ee69496c3b
@ -40,14 +40,14 @@ import Text.Parsec.Pos
|
||||
-- languages. Each kind of message is generated by different combinators:
|
||||
--
|
||||
-- * A 'SysUnExpect' message is automatically generated by the
|
||||
-- 'satisfy' combinator. The argument is the
|
||||
-- 'Text.Parsec.Combinator.satisfy' combinator. The argument is the
|
||||
-- unexpected input.
|
||||
--
|
||||
-- * A 'UnExpect' message is generated by the 'unexpected'
|
||||
-- * A 'UnExpect' message is generated by the 'Text.Parsec.Prim.unexpected'
|
||||
-- combinator. The argument describes the
|
||||
-- unexpected item.
|
||||
--
|
||||
-- * A 'Expect' message is generated by the '<?>'
|
||||
-- * A 'Expect' message is generated by the 'Text.Parsec.Prim.<?>'
|
||||
-- combinator. The argument describes the expected item.
|
||||
--
|
||||
-- * A 'Message' message is generated by the 'fail'
|
||||
@ -74,7 +74,7 @@ instance Eq Message where
|
||||
-- < Compares two error messages without looking at their content. Only
|
||||
-- the constructors are compared where:
|
||||
--
|
||||
-- > SysUnExpect < UnExpect < Expect < Message
|
||||
-- > 'SysUnExpect' < 'UnExpect' < 'Expect' < 'Message'
|
||||
|
||||
instance Ord Message where
|
||||
compare msg1 msg2 = compare (fromEnum msg1) (fromEnum msg2)
|
||||
@ -90,7 +90,7 @@ messageString (Message s) = s
|
||||
-- | The abstract data type @ParseError@ represents parse errors. It
|
||||
-- provides the source position ('SourcePos') of the error
|
||||
-- and a list of error messages ('Message'). A @ParseError@
|
||||
-- can be returned by the function 'parse'. @ParseError@ is an
|
||||
-- can be returned by the function 'Text.Parsec.Prim.parse'. @ParseError@ is an
|
||||
-- instance of the 'Show' class.
|
||||
|
||||
data ParseError = ParseError !SourcePos [Message]
|
||||
|
Loading…
Reference in New Issue
Block a user