pygments.lexers.haskell.LiterateAgdaLexer

class documentation

class LiterateAgdaLexer(LiterateLexer): (source)

View In Hierarchy

For Literate Agda source. Additional options accepted: `litstyle` If given, must be ``"bird"`` or ``"latex"``. If not given, the style is autodetected: if the first non-whitespace character in the source is a backslash or percent character, LaTeX is assumed, else Bird. .. versionadded:: 2.0

Method __init__ Undocumented
Class Variable aliases Undocumented
Class Variable filenames Undocumented
Class Variable mimetypes Undocumented
Class Variable name Undocumented

Inherited from LiterateLexer:

Method get_tokens_unprocessed Return an iterable of (index, tokentype, value) pairs where "index" is the starting position of the token within the input text.
Class Variable bird_re Undocumented
Instance Variable baselexer Undocumented

Inherited from Lexer (via LiterateLexer):

Method __repr__ Undocumented
Method add_filter Add a new stream filter to this lexer.
Method analyse_text Has to return a float between ``0`` and ``1`` that indicates if a lexer wants to highlight this text. Used by ``guess_lexer``. If this method returns ``0`` it won't highlight it in any case, if it returns ``1`` highlighting with this lexer is guaranteed.
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
Class Variable priority Undocumented
Class Variable url 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
def __init__(self, **options): (source)
overrides pygments.lexers.haskell.LiterateLexer.__init__

Undocumented

aliases: list[str] = (source)
overrides pygments.lexer.Lexer.aliases

Undocumented

filenames: list[str] = (source)
overrides pygments.lexer.Lexer.filenames

Undocumented

mimetypes: list[str] = (source)
overrides pygments.lexer.Lexer.mimetypes

Undocumented

name: str = (source)
overrides pygments.lexer.Lexer.name

Undocumented