Lexers for Haskell and related languages.
Unknown Field: copyright | |
Copyright 2006-2021 by the Pygments team, see AUTHORS. | |
Unknown Field: license | |
BSD, see LICENSE for details. |
Class | AgdaLexer |
For the Agda dependently typed functional programming language and proof assistant. |
Class | CryptolLexer |
FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report. |
Class | HaskellLexer |
A Haskell lexer based on the lexemes defined in the Haskell 98 Report. |
Class | HspecLexer |
A Haskell lexer with support for Hspec constructs. |
Class | IdrisLexer |
A lexer for the dependently typed programming language Idris. |
Class | KokaLexer |
Lexer for the Koka language. |
Class | LiterateAgdaLexer |
For Literate Agda source. |
Class | LiterateCryptolLexer |
For Literate Cryptol (Bird-style or LaTeX) source. |
Class | LiterateHaskellLexer |
For Literate Haskell (Bird-style or LaTeX) source. |
Class | LiterateIdrisLexer |
For Literate Idris (Bird-style or LaTeX) source. |
Variable | line_re |
Undocumented |
Class | LiterateLexer |
Base class for lexers of literate file formats based on LaTeX or Bird-style (prefixing each code line with ">"). |