|
|
|
|
|
| Documentation |
|
| data ParseResult a |
|
|
| type P a = String -> Int -> ParseResult a |
|
| thenP :: P a -> (a -> P b) -> P b |
|
| returnP :: a -> P a |
|
| failP :: String -> P a |
|
| getCoreModuleName :: FilePath -> IO String |
|
| data Token |
| Constructors | | TKmodule | | | TKdata | | | TKnewtype | | | TKforall | | | TKrec | | | TKlet | | | TKin | | | TKcase | | | TKof | | | TKcast | | | TKnote | | | TKexternal | | | TKlocal | | | TKwild | | | TKoparen | | | TKcparen | | | TKobrace | | | TKcbrace | | | TKhash | | | TKeq | | | TKcolon | | | TKcoloncolon | | | TKcoloneqcolon | | | TKstar | | | TKrarrow | | | TKlambda | | | TKat | | | TKdot | | | TKquestion | | | TKsemicolon | | | TKname String | | | TKcname String | | | TKinteger Integer | | | TKrational Rational | | | TKstring String | | | TKchar Char | | | TKEOF | |
|
|
|
| Produced by Haddock version 2.7.2 |