Copyright | (c) 2013-2016 Galois Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Cryptol.Parser
Description
Documentation
parseModule :: Config -> Text -> Either ParseError [Module PName] Source #
parseProgram :: Layout -> Text -> Either ParseError (Program PName) Source #
parseProgramWith :: Config -> Text -> Either ParseError (Program PName) Source #
parseExprWith :: Config -> Text -> Either ParseError (Expr PName) Source #
parseDeclWith :: Config -> Text -> Either ParseError (Decl PName) Source #
parseDecls :: Text -> Either ParseError [Decl PName] Source #
parseDeclsWith :: Config -> Text -> Either ParseError [Decl PName] Source #
parseLetDecl :: Text -> Either ParseError (Decl PName) Source #
parseLetDeclWith :: Config -> Text -> Either ParseError (Decl PName) Source #
parseReplWith :: Config -> Text -> Either ParseError (ReplInput PName) Source #
parseSchema :: Text -> Either ParseError (Schema PName) Source #
parseSchemaWith :: Config -> Text -> Either ParseError (Schema PName) Source #
data ParseError Source #
Constructors
HappyError FilePath (Located Token) | |
HappyErrorMsg Range [String] | |
HappyUnexpected FilePath (Maybe (Located Token)) String | |
HappyOutOfTokens FilePath Position |
Instances
ppError :: ParseError -> Doc Source #
Constructors
Config | |
Fields
|
guessPreProc :: FilePath -> PreProc Source #