cryptol-2.3.0: Cryptol: The Language of Cryptography

Copyright(c) 2015-2016 Galois, Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Cryptol.Utils.Ident

Description

 

Synopsis

Documentation

type ModName = Text Source

Module names are just text.

data Ident Source

Identifiers, along with a flag that indicates whether or not they're infix operators. The boolean is present just as cached information from the lexer, and never used during comparisons.

Constructors

Ident Bool Text