cryptol-2.9.1: 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
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.9.1-EDtcoHURvveHmx5M6ZZjMK" 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