cryptol-2.11.0: Cryptol: The Language of Cryptography
Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellTrustworthy
LanguageHaskell2010

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 #

parseExpr :: Text -> Either ParseError (Expr PName) Source #

parseExprWith :: Config -> Text -> Either ParseError (Expr PName) Source #

parseDecl :: Text -> Either ParseError (Decl 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 #

parseRepl :: Text -> Either ParseError (ReplInput 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

Instances details
Show ParseError Source # 
Instance details

Defined in Cryptol.Parser.ParserUtils

Methods

showsPrec :: Int -> ParseError -> ShowS #

show :: ParseError -> String #

showList :: [ParseError] -> ShowS #

Generic ParseError Source # 
Instance details

Defined in Cryptol.Parser.ParserUtils

Associated Types

type Rep ParseError :: Type -> Type #

Methods

from :: ParseError -> Rep ParseError x #

to :: Rep ParseError x -> ParseError #

NFData ParseError Source # 
Instance details

Defined in Cryptol.Parser.ParserUtils

Methods

rnf :: ParseError -> () #

type Rep ParseError Source # 
Instance details

Defined in Cryptol.Parser.ParserUtils

type Rep ParseError = D1 ('MetaData "ParseError" "Cryptol.Parser.ParserUtils" "cryptol-2.11.0-KBQWpCBm4GD4lGHyVVV39L" '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 #

data Layout Source #

Constructors

Layout 
NoLayout 

data Config Source #

Constructors

Config 

Fields

defaultConfig :: Config Source #

guessPreProc :: FilePath -> PreProc Source #

data PreProc Source #

Constructors

None 
Markdown 
LaTeX