| Server IP : 217.160.0.135 / Your IP : 216.73.217.85 Web Server : Apache System : Linux www 6.18.52-i1-ampere #1203 SMP Mon Sep 14 18:29:59 CEST 2026 aarch64 User : sws1074145052 ( 1074145052) PHP Version : 8.3.32 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /lib/python3/dist-packages/pygments/lexers/__pycache__/ |
Upload File : |
�
�E�c�� � � � 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$dS )z�
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.
� 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 �R � e Zd ZdZdZdZddgZdgZdgZdZ d Z
g d
ef�dej
f�dej d
f�dej df�dej df�dej f�dd� e � � z ej f�dej f�dej z dz ej f�dej z dz ef�dej z dz ej f�dej z dz ej f�dej f�dej f�dej f�dej f�d ej f�d!ej f�d"ef�d#ej f�d$ej f�d%ej f�d&ej f�d'ej f�d(ej f�d)ej! f�d*ej"