|
|
|
|
| Synopsis |
|
| data Pos | | | type ParseError = (Pos, String, [String]) | | | type ParseResult a i = Either ParseError (a, i, ParseError) | | | type ParseBad a i = ParseError -> ParseResult a i | | | type ParseGood a i c = a -> i -> ParseError -> ParseResult c i | | | type Parser a i c = ParseGood a i c -> ParseBad c i -> i -> ParseError -> ParseResult c i | | | initError :: ParseError | | | initBad :: ParseBad a i | | | initGood :: ParseGood a i a | | | parseit :: Parser a i a -> i -> Either ParseError a | | | parse :: a -> Parser a i b | | | ap :: Parser (a -> b) i c -> Parser a i c -> Parser b i c | | | chk :: Parser b i c -> Parser a i c -> Parser b i c | | | orelse :: Parser a i b -> Parser a i b -> Parser a i b | | | into :: Parser a i c -> (a -> Parser b i c) -> Parser b i c | | | token :: Show b => (Pos -> b -> Either String d) -> Parser d [(Pos, b, e, f)] h | | | parseFail :: Parser a i b | | | maxError :: Ord a => (a, b, [a1]) -> (a, b, [a1]) -> (a, b, [a1]) |
|
|
| Documentation |
|
| data Pos |
| abstract type for storing the position of a syntactic construct in a file,
that is, line and column number of both start and end positions.
|  Instances | |
|
|
| type ParseError = (Pos, String, [String]) |
|
| type ParseResult a i = Either ParseError (a, i, ParseError) |
|
| type ParseBad a i = ParseError -> ParseResult a i |
|
| type ParseGood a i c = a -> i -> ParseError -> ParseResult c i |
|
| type Parser a i c = ParseGood a i c -> ParseBad c i -> i -> ParseError -> ParseResult c i |
|
| initError :: ParseError |
|
| initBad :: ParseBad a i |
|
| initGood :: ParseGood a i a |
|
| parseit :: Parser a i a -> i -> Either ParseError a |
|
| parse :: a -> Parser a i b |
|
| ap :: Parser (a -> b) i c -> Parser a i c -> Parser b i c |
|
| chk :: Parser b i c -> Parser a i c -> Parser b i c |
|
| orelse :: Parser a i b -> Parser a i b -> Parser a i b |
|
| into :: Parser a i c -> (a -> Parser b i c) -> Parser b i c |
|
| token :: Show b => (Pos -> b -> Either String d) -> Parser d [(Pos, b, e, f)] h |
|
| parseFail :: Parser a i b |
|
| maxError :: Ord a => (a, b, [a1]) -> (a, b, [a1]) -> (a, b, [a1]) |
|
| Produced by Haddock version 0.8 |
