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

data ParseError Source #

Instances

Instances details
Show ParseError Source # 
Instance details

Defined in Cryptol.Parser.ParserUtils

Generic ParseError Source # 
Instance details

Defined in Cryptol.Parser.ParserUtils

Associated Types

type Rep ParseError :: Type -> Type #

NFData ParseError Source # 
Instance details

Defined in Cryptol.Parser.ParserUtils

Methods

rnf :: ParseError -> () #

type Rep ParseError Source # 
Instance details

Defined in Cryptol.Parser.ParserUtils

data Layout Source #

Constructors

Layout 
NoLayout 

data Config Source #

Constructors

Config 

Fields

data PreProc Source #

Constructors

None 
Markdown 
LaTeX