cryptol-2.8.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

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

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

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

data ParseError Source #

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.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))))

data Layout Source #

Constructors

Layout 
NoLayout 

data Config Source #

Constructors

Config 

Fields

guessPreProc :: FilePath -> PreProc Source #

data PreProc Source #

Constructors

None 
Markdown 
LaTeX