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 :: * -> *

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.6.0-24w5HMDd2znGLrodkM4xJM" 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

• 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