�
|�e�� � �n � d Z ddlZddlmZmZmZmZmZmZm Z m
Z
ddlmZm
Z
mZmZmZmZmZmZmZmZ ddlmZ g d�Z G d� de� Z G d � d
e� Z G d� de� Z G d
� de� Z G d� de� Z G d� de� Z G d� de� Z G d� de� Z! G d� de� Z" G d� de� Z# G d� de� Z$y)z�
pygments.lexers.haskell
~~~~~~~~~~~~~~~~~~~~~~~
Lexers for Haskell and related languages.
:copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� N)�Lexer�
RegexLexer�bygroups�
do_insertions�default�include�inherit�line_re)
�Text�Comment�Operator�Keyword�Name�String�Number�Punctuation�Generic�
Whitespace)� unistring)
�HaskellLexer�
HspecLexer�
IdrisLexer� AgdaLexer�CryptolLexer�LiterateHaskellLexer�LiterateIdrisLexer�LiterateAgdaLexer�LiterateCryptolLexer� KokaLexerc � � e Zd ZdZdZdZddgZdgZdgZdZ d Z
g d
ef�dej f�dej d
f�dej df�dej df�dej$ f�ddj' |