pygments.lexers.haskell

module documentation
(source)

pygments.lexers.haskell ~~~~~~~~~~~~~~~~~~~~~~~ Lexers for Haskell and related languages. :copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS. :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.
Class LiterateLexer Base class for lexers of literate file formats based on LaTeX or Bird-style (prefixing each code line with ">").