Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Cryptol.Parser
Documentation
parseModule :: Config -> String -> Either ParseError Module Source
parseProgram :: Layout -> String -> Either ParseError Program Source
parseProgramWith :: Config -> String -> Either ParseError Program Source
parseExprWith :: Config -> String -> Either ParseError Expr Source
parseDeclWith :: Config -> String -> Either ParseError Decl Source
parseDecls :: String -> Either ParseError [Decl] Source
parseDeclsWith :: Config -> String -> Either ParseError [Decl] Source
parseLetDecl :: String -> Either ParseError Decl Source
parseLetDeclWith :: Config -> String -> Either ParseError Decl Source
parseReplWith :: Config -> String -> Either ParseError ReplInput Source
parseSchemaWith :: Config -> String -> Either ParseError Schema Source
parseModName :: String -> Maybe ModName Source
data ParseError Source
Constructors
HappyError FilePath Position (Maybe Token) | |
HappyErrorMsg Range String |
Instances
ppError :: ParseError -> Doc Source
Constructors
Config | |
Fields
|
guessPreProc :: FilePath -> PreProc Source