pygments.lexers.haskell.CryptolLexer

class documentation

class CryptolLexer(RegexLexer):

FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report.

New in version 2.0.

Constant	`EXTRA_KEYWORDS`	Undocumented
Method	`get_tokens_unprocessed`	Split `text` into (tokentype, text) pairs.
Class Variable	`aliases`	Undocumented
Class Variable	`ascii`	Undocumented
Class Variable	`filenames`	Undocumented
Class Variable	`mimetypes`	Undocumented
Class Variable	`name`	Undocumented
Class Variable	`reserved`	Undocumented
Class Variable	`tokens`	Undocumented

Inherited from Lexer (via RegexLexer):

Method	`analyse_text`	No summary
Method	`get_tokens`	Return an iterable of (tokentype, value) pairs generated from `text`. If `unfiltered` is set to `True`, the filtering mechanism is bypassed even if filters are defined.
Class Variable	`alias_filenames`	Undocumented
Method	`__init__`	Undocumented
Method	`__repr__`	Undocumented
Method	`add_filter`	Add a new stream filter to this lexer.
Class Variable	`priority`	Undocumented
Instance Variable	`encoding`	Undocumented
Instance Variable	`ensurenl`	Undocumented
Instance Variable	`filters`	Undocumented
Instance Variable	`options`	Undocumented
Instance Variable	`stripall`	Undocumented
Instance Variable	`stripnl`	Undocumented
Instance Variable	`tabsize`	Undocumented

EXTRA_KEYWORDS: set[str] =

Undocumented

Value

set(['join',
     'split',
     'reverse',
     'transpose',
     'width',
     'length',
     'tail',
...

def get_tokens_unprocessed(self, text):

overrides pygments.lexer.RegexLexer.get_tokens_unprocessed

Split text into (tokentype, text) pairs.

stack is the inital stack (default: ['root'])

aliases: list[str] =

overrides pygments.lexer.Lexer.aliases

Undocumented

ascii: tuple[str, ...] =

Undocumented

filenames: list[str] =

overrides pygments.lexer.Lexer.filenames

Undocumented

mimetypes: list[str] =

overrides pygments.lexer.Lexer.mimetypes

Undocumented

name: str =

overrides pygments.lexer.Lexer.name

Undocumented

reserved: tuple[str, ...] =

Undocumented

tokens =

overrides pygments.lexer.RegexLexer.tokens

Undocumented