Cryptol.Parser

Documentation

parseModule :: Config -> Text -> Either ParseError (Module PName)

parseProgram :: Layout -> Text -> Either ParseError (Program PName)

parseProgramWith :: Config -> Text -> Either ParseError (Program PName)

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

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

parseDecl :: Text -> Either ParseError (Decl PName)

parseDeclWith :: Config -> Text -> Either ParseError (Decl PName)

parseDecls :: Text -> Either ParseError [Decl PName]

parseDeclsWith :: Config -> Text -> Either ParseError [Decl PName]

parseLetDecl :: Text -> Either ParseError (Decl PName)

parseLetDeclWith :: Config -> Text -> Either ParseError (Decl PName)

parseRepl :: Text -> Either ParseError (ReplInput PName)

parseReplWith :: Config -> Text -> Either ParseError (ReplInput PName)

parseSchema :: Text -> Either ParseError (Schema PName)

parseSchemaWith :: Config -> Text -> Either ParseError (Schema PName)

parseModName :: String -> Maybe ModName

parseHelpName :: String -> Maybe PName

data ParseError

Constructors

HappyError FilePath (Located Token)

HappyErrorMsg Range [String]

HappyUnexpected FilePath (Maybe (Located Token)) String

HappyOutOfTokens FilePath Position

Instances

Show ParseError

Defined in Cryptol.Parser.ParserUtils

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS

Generic ParseError

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

Defined in Cryptol.Parser.ParserUtils

Methods

rnf :: ParseError -> ()

type Rep ParseError

Defined in Cryptol.Parser.ParserUtils

type Rep ParseError = D1 ('MetaData "ParseError" "Cryptol.Parser.ParserUtils" "cryptol-2.12.0-1cEC2pVyc8sLwNRndAigau" '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

data Layout

Constructors

Layout

NoLayout

data Config

Constructors

Config

Fields

• cfgSource :: !FilePath

  File that we are working on

• cfgStart :: !Position

  Starting position for the parser

• cfgLayout :: !Layout

  Settings for layout processing

• cfgPreProc :: PreProc

  Preprocessor settings

• cfgAutoInclude :: [FilePath]

  Implicit includes

• cfgModuleScope :: Bool

  When we do layout processing should we add a vCurly (i.e., are we parsing a list of things).

defaultConfig :: Config

guessPreProc :: FilePath -> PreProc

data PreProc

Constructors

None

Markdown

LaTeX