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 #
parseModName :: String -> Maybe ModName Source #
parseHelpName :: String -> Maybe PName Source #
data ParseError Source #
Constructors
HappyError FilePath (Located Token) | |
HappyErrorMsg Range String | |
HappyUnexpected FilePath (Maybe (Located Token)) String | |
HappyOutOfTokens FilePath Position |
Instances
Show ParseError Source # | |
Defined in Cryptol.Parser.ParserUtils Methods showsPrec :: Int -> ParseError -> ShowS show :: ParseError -> String showList :: [ParseError] -> ShowS | |
Generic ParseError Source # | |
Defined in Cryptol.Parser.ParserUtils Associated Types type Rep ParseError :: Type -> Type | |
NFData ParseError Source # | |
Defined in Cryptol.Parser.ParserUtils Methods rnf :: ParseError -> () | |
type Rep ParseError Source # | |
Defined in Cryptol.Parser.ParserUtils type Rep ParseError = D1 ('MetaData "ParseError" "Cryptol.Parser.ParserUtils" "cryptol-2.8.0-8MjdO3NUDs4I9u4d2J06AM" 'False) ((C1 ('MetaCons "HappyError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located Token))) :+: C1 ('MetaCons "HappyErrorMsg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "HappyUnexpected" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Located Token))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: C1 ('MetaCons "HappyOutOfTokens" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position)))) |
ppError :: ParseError -> Doc Source #
Constructors
Config | |
Fields
|
guessPreProc :: FilePath -> PreProc Source #