/usr/lib/rads/venv/lib/python3.13/site-packages/pygments/lexers/__pycache__
NameSizeModeActions
actionscript.cpython-313.pyc111400644editdlrm
ada.cpython-313.pyc55130644editdlrm
agile.cpython-313.pyc12700644editdlrm
algebra.cpython-313.pyc112060644editdlrm
ambient.cpython-313.pyc31370644editdlrm
amdgpu.cpython-313.pyc22540644editdlrm
ampl.cpython-313.pyc40900644editdlrm
apdlexer.cpython-313.pyc190310644editdlrm
apl.cpython-313.pyc25290644editdlrm
archetype.cpython-313.pyc92450644editdlrm
arrow.cpython-313.pyc35790644editdlrm
arturo.cpython-313.pyc96770644editdlrm
asc.cpython-313.pyc20700644editdlrm
asm.cpython-313.pyc362770644editdlrm
asn1.cpython-313.pyc44750644editdlrm
automation.cpython-313.pyc184390644editdlrm
bare.cpython-313.pyc28860644editdlrm
basic.cpython-313.pyc270940644editdlrm
bdd.cpython-313.pyc20910644editdlrm
berry.cpython-313.pyc35510644editdlrm
bibtex.cpython-313.pyc52570644editdlrm
blueprint.cpython-313.pyc53230644editdlrm
boa.cpython-313.pyc35210644editdlrm
bqn.cpython-313.pyc25590644editdlrm
business.cpython-313.pyc221580644editdlrm
capnproto.cpython-313.pyc24180644editdlrm
carbon.cpython-313.pyc35900644editdlrm
cddl.cpython-313.pyc42240644editdlrm
chapel.cpython-313.pyc42460644editdlrm
clean.cpython-313.pyc60710644editdlrm
codeql.cpython-313.pyc27460644editdlrm
comal.cpython-313.pyc32080644editdlrm
compiled.cpython-313.pyc19610644editdlrm
configs.cpython-313.pyc448790644editdlrm
console.cpython-313.pyc42770644editdlrm
cplint.cpython-313.pyc17690644editdlrm
crystal.cpython-313.pyc151280644editdlrm
csound.cpython-313.pyc142180644editdlrm
css.cpython-313.pyc221490644editdlrm
c_cpp.cpython-313.pyc160490644editdlrm
c_like.cpython-313.pyc276200644editdlrm
d.cpython-313.pyc83570644editdlrm
dalvik.cpython-313.pyc46040644editdlrm
data.cpython-313.pyc216580644editdlrm
dax.cpython-313.pyc62420644editdlrm
devicetree.cpython-313.pyc40520644editdlrm
diff.cpython-313.pyc57150644editdlrm
dns.cpython-313.pyc37920644editdlrm
dotnet.cpython-313.pyc352770644editdlrm
dsls.cpython-313.pyc338510644editdlrm
dylan.cpython-313.pyc97990644editdlrm
ecl.cpython-313.pyc55870644editdlrm
eiffel.cpython-313.pyc30020644editdlrm
elm.cpython-313.pyc32400644editdlrm
elpi.cpython-313.pyc72500644editdlrm
email.cpython-313.pyc60110644editdlrm
erlang.cpython-313.pyc205610644editdlrm
esoteric.cpython-313.pyc98130644editdlrm
ezhil.cpython-313.pyc38540644editdlrm
factor.cpython-313.pyc168750644editdlrm
fantom.cpython-313.pyc79380644editdlrm
felix.cpython-313.pyc82230644editdlrm
fift.cpython-313.pyc19770644editdlrm
floscript.cpython-313.pyc29950644editdlrm
forth.cpython-313.pyc53780644editdlrm
fortran.cpython-313.pyc87310644editdlrm
foxpro.cpython-313.pyc208210644editdlrm
freefem.cpython-313.pyc128010644editdlrm
func.cpython-313.pyc33210644editdlrm
functional.cpython-313.pyc10110644editdlrm
futhark.cpython-313.pyc40930644editdlrm
gcodelexer.cpython-313.pyc13330644editdlrm
gdscript.cpython-313.pyc72500644editdlrm
gleam.cpython-313.pyc27190644editdlrm
go.cpython-313.pyc33820644editdlrm
grammar_notation.cpython-313.pyc76800644editdlrm
graph.cpython-313.pyc38170644editdlrm
graphics.cpython-313.pyc296970644editdlrm
graphql.cpython-313.pyc44240644editdlrm
graphviz.cpython-313.pyc22340644editdlrm
gsql.cpython-313.pyc37880644editdlrm
hare.cpython-313.pyc29610644editdlrm
haskell.cpython-313.pyc306110644editdlrm
haxe.cpython-313.pyc223790644editdlrm
hdl.cpython-313.pyc174600644editdlrm
hexdump.cpython-313.pyc36200644editdlrm
html.cpython-313.pyc209630644editdlrm
idl.cpython-313.pyc124820644editdlrm
igor.cpython-313.pyc256810644editdlrm
inferno.cpython-313.pyc32670644editdlrm
installers.cpython-313.pyc138980644editdlrm
int_fiction.cpython-313.pyc483410644editdlrm
iolang.cpython-313.pyc22280644editdlrm
j.cpython-313.pyc43080644editdlrm
javascript.cpython-313.pyc571940644editdlrm
jmespath.cpython-313.pyc24180644editdlrm
jslt.cpython-313.pyc37280644editdlrm
json5.cpython-313.pyc29000644editdlrm
jsonnet.cpython-313.pyc48760644editdlrm
jsx.cpython-313.pyc29560644editdlrm
julia.cpython-313.pyc110300644editdlrm
jvm.cpython-313.pyc641480644editdlrm
kuin.cpython-313.pyc98560644editdlrm
kusto.cpython-313.pyc28620644editdlrm
ldap.cpython-313.pyc64640644editdlrm
lean.cpython-313.pyc79960644editdlrm
lilypond.cpython-313.pyc83870644editdlrm
lisp.cpython-313.pyc1218620644editdlrm
macaulay2.cpython-313.pyc231570644editdlrm
make.cpython-313.pyc67560644editdlrm
maple.cpython-313.pyc49770644editdlrm
markup.cpython-313.pyc604050644editdlrm
math.cpython-313.pyc10070644editdlrm
matlab.cpython-313.pyc559460644editdlrm
maxima.cpython-313.pyc32130644editdlrm
meson.cpython-313.pyc35020644editdlrm
mime.cpython-313.pyc101140644editdlrm
minecraft.cpython-313.pyc107370644editdlrm
mips.cpython-313.pyc34200644editdlrm
ml.cpython-313.pyc262640644editdlrm
modeling.cpython-313.pyc122210644editdlrm
modula2.cpython-313.pyc263760644editdlrm
mojo.cpython-313.pyc143630644editdlrm
monte.cpython-313.pyc50940644editdlrm
mosel.cpython-313.pyc69540644editdlrm
ncl.cpython-313.pyc459070644editdlrm
nimrod.cpython-313.pyc64750644editdlrm
nit.cpython-313.pyc27670644editdlrm
nix.cpython-313.pyc55350644editdlrm
numbair.cpython-313.pyc21420644editdlrm
oberon.cpython-313.pyc37500644editdlrm
objective.cpython-313.pyc195600644editdlrm
ooc.cpython-313.pyc31270644editdlrm
openscad.cpython-313.pyc37350644editdlrm
other.cpython-313.pyc24170644editdlrm
parasail.cpython-313.pyc29020644editdlrm
parsers.cpython-313.pyc248670644editdlrm
pascal.cpython-313.pyc248500644editdlrm
pawn.cpython-313.pyc79170644editdlrm
pddl.cpython-313.pyc28120644editdlrm
perl.cpython-313.pyc392040644editdlrm
phix.cpython-313.pyc184050644editdlrm
php.cpython-313.pyc143340644editdlrm
pointless.cpython-313.pyc23060644editdlrm
pony.cpython-313.pyc34230644editdlrm
praat.cpython-313.pyc102490644editdlrm
procfile.cpython-313.pyc16380644editdlrm
prolog.cpython-313.pyc105990644editdlrm
promql.cpython-313.pyc33210644editdlrm
prql.cpython-313.pyc83710644editdlrm
ptx.cpython-313.pyc37830644editdlrm
python.cpython-313.pyc429700644editdlrm
q.cpython-313.pyc58690644editdlrm
qlik.cpython-313.pyc35030644editdlrm
qvt.cpython-313.pyc53450644editdlrm
r.cpython-313.pyc61750644editdlrm
rdf.cpython-313.pyc123130644editdlrm
rebol.cpython-313.pyc197450644editdlrm
rego.cpython-313.pyc18790644editdlrm
resource.cpython-313.pyc36240644editdlrm
ride.cpython-313.pyc44930644editdlrm
rita.cpython-313.pyc14860644editdlrm
rnc.cpython-313.pyc20280644editdlrm
roboconf.cpython-313.pyc23750644editdlrm
robotframework.cpython-313.pyc306480644editdlrm
ruby.cpython-313.pyc225570644editdlrm
rust.cpython-313.pyc72910644editdlrm
sas.cpython-313.pyc70260644editdlrm
savi.cpython-313.pyc39930644editdlrm
scdoc.cpython-313.pyc28340644editdlrm
scripting.cpython-313.pyc722270644editdlrm
sgf.cpython-313.pyc20880644editdlrm
shell.cpython-313.pyc373540644editdlrm
sieve.cpython-313.pyc27340644editdlrm
slash.cpython-313.pyc84440644editdlrm
smalltalk.cpython-313.pyc67300644editdlrm
smithy.cpython-313.pyc31310644editdlrm
smv.cpython-313.pyc27890644editdlrm
snobol.cpython-313.pyc25130644editdlrm
solidity.cpython-313.pyc34120644editdlrm
soong.cpython-313.pyc22970644editdlrm
sophia.cpython-313.pyc38410644editdlrm
special.cpython-313.pyc55490644editdlrm
spice.cpython-313.pyc31640644editdlrm
sql.cpython-313.pyc408750644editdlrm
srcinfo.cpython-313.pyc20180644editdlrm
stata.cpython-313.pyc51640644editdlrm
supercollider.cpython-313.pyc39040644editdlrm
tablegen.cpython-313.pyc33440644editdlrm
tact.cpython-313.pyc90430644editdlrm
tal.cpython-313.pyc29820644editdlrm
tcl.cpython-313.pyc51540644editdlrm
teal.cpython-313.pyc35590644editdlrm
templates.cpython-313.pyc851430644editdlrm
teraterm.cpython-313.pyc55960644editdlrm
testing.cpython-313.pyc101090644editdlrm
text.cpython-313.pyc15210644editdlrm
textedit.cpython-313.pyc85180644editdlrm
textfmts.cpython-313.pyc157590644editdlrm
theorem.cpython-313.pyc148070644editdlrm
thingsdb.cpython-313.pyc56350644editdlrm
tlb.cpython-313.pyc18880644editdlrm
tls.cpython-313.pyc19340644editdlrm
tnt.cpython-313.pyc133900644editdlrm
trafficscript.cpython-313.pyc18650644editdlrm
typoscript.cpython-313.pyc73970644editdlrm
typst.cpython-313.pyc68530644editdlrm
ul4.cpython-313.pyc82180644editdlrm
unicon.cpython-313.pyc125310644editdlrm
urbi.cpython-313.pyc59100644editdlrm
usd.cpython-313.pyc40400644editdlrm
varnish.cpython-313.pyc69910644editdlrm
verification.cpython-313.pyc40340644editdlrm
verifpal.cpython-313.pyc29620644editdlrm
vip.cpython-313.pyc57640644editdlrm
vyper.cpython-313.pyc49230644editdlrm
web.cpython-313.pyc12850644editdlrm
webassembly.cpython-313.pyc58350644editdlrm
webidl.cpython-313.pyc80890644editdlrm
webmisc.cpython-313.pyc436390644editdlrm
wgsl.cpython-313.pyc108230644editdlrm
whiley.cpython-313.pyc36380644editdlrm
wowtoc.cpython-313.pyc32740644editdlrm
wren.cpython-313.pyc31080644editdlrm
x10.cpython-313.pyc24170644editdlrm
xorg.cpython-313.pyc14140644editdlrm
yang.cpython-313.pyc41100644editdlrm
yara.cpython-313.pyc27340644editdlrm
zig.cpython-313.pyc38630644editdlrm
_ada_builtins.cpython-313.pyc11990644editdlrm
_asy_builtins.cpython-313.pyc175760644editdlrm
_cl_builtins.cpython-313.pyc116280644editdlrm
_cocoa_builtins.cpython-313.pyc975420644editdlrm
_csound_builtins.cpython-313.pyc163440644editdlrm
_css_builtins.cpython-313.pyc93490644editdlrm
_googlesql_builtins.cpython-313.pyc107870644editdlrm
_julia_builtins.cpython-313.pyc82140644editdlrm
_lasso_builtins.cpython-313.pyc766920644editdlrm
_lilypond_builtins.cpython-313.pyc883700644editdlrm
_luau_builtins.cpython-313.pyc10130644editdlrm
_lua_builtins.cpython-313.pyc83620644editdlrm
_mapping.cpython-313.pyc669350644editdlrm
_mql_builtins.cpython-313.pyc179730644editdlrm
_mysql_builtins.cpython-313.pyc195240644editdlrm
_openedge_builtins.cpython-313.pyc340550644editdlrm
_php_builtins.cpython-313.pyc655480644editdlrm
_postgres_builtins.cpython-313.pyc113180644editdlrm
_qlik_builtins.cpython-313.pyc63400644editdlrm
_scheme_builtins.cpython-313.pyc231370644editdlrm
_scilab_builtins.cpython-313.pyc351890644editdlrm
_sourcemod_builtins.cpython-313.pyc218490644editdlrm
_sql_builtins.cpython-313.pyc55310644editdlrm
_stan_builtins.cpython-313.pyc99120644editdlrm
_stata_builtins.cpython-313.pyc212000644editdlrm
_tsql_builtins.cpython-313.pyc88290644editdlrm
_usd_builtins.cpython-313.pyc13590644editdlrm
_vbscript_builtins.cpython-313.pyc28870644editdlrm
_vim_builtins.cpython-313.pyc306940644editdlrm
__init__.cpython-313.pyc146800644editdlrm
Edit: /usr/lib/rads/venv/lib/python3.13/site-packages/pygments/lexers/__pycache__/haskell.cpython-313.pyc (30611B)
jnSrSSKrSSKJrJrJrJrJrJrJ r J r SSK J r J r JrJrJrJrJrJrJrJr SSKJr /SQr"SS\5r"S S \5r"S S \5r"S S\5r"SS\5r"SS\5r"SS\5r "SS\5r!"SS\5r""SS\5r#"SS\5r$g)z pygments.lexers.haskell ~~~~~~~~~~~~~~~~~~~~~~~ Lexers for Haskell and related languages. :copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. N)Lexer RegexLexerbygroups do_insertionsdefaultincludeinheritline_re) TextCommentOperatorKeywordNameStringNumber PunctuationGeneric Whitespace) unistring) HaskellLexer HspecLexer IdrisLexer AgdaLexer CryptolLexerLiterateHaskellLexerLiterateIdrisLexerLiterateAgdaLexerLiterateCryptolLexer KokaLexerc\rSrSrSrSrSrSS/rS/rS/r S r S r S r /S \ 4PS \R4PS\R S4PS\R$S4PS\R$S4PS\R(4PSR+SR-\ 55\R$4PS\R04PS\R4-S-\R64PS\R4-S-\4PS\R8-S-\R:4PS\R8-S-\R:4PS\R:4PS\R:4PS \R:4PS!\R64PS"\R>4PS#\R:4PS$\4PS%\ RB4PS&\ RB4PS'\ RB4PS(\ RB4PS)\ RD4PS*\ RF4PS+\ RH4PS,\ RJ4PS-\R0S.4PS/\S04PS1\R:4PS2\RL4PS3\'4PS \ 4S/\S04S4\'S54S6\4S7\R8-S8-\R8-S9-\("\RR\ \\ \5S54S7\R8-S:-\("\RR\ \\ \'5S;4S7\R8-S<-\("\RR\ \'5S;4S=\RRS54/S \ 4S7\R8-S<-\("\RR\ \'5S;4S>\R8-S?-\RRS54/S \ 4S>\R8-S@-\R:4SA\R4-SB-\R64S \R4S\R S4SC\'4S$\4SD\'SE4S4\'SF4/ SG\R 4S\R SH4SI\R S54SJ\R 4/SK\R0S54SL\RTSM4S-\R0S54/SN\4SL\RTSM4S/\S54/SO\RTS54SP\R8-SQ-\RTS54SR-\ 5\RTS54SR\RTS54SS\RTS54ST\RTS54SU\("\ \RT5S54/SV.r+SWr,gX)YrzH A Haskell lexer based on the lexemes defined in the Haskell 98 Report. Haskellzhttps://www.haskell.org/haskellhsz*.hsztext/x-haskellz0.8)caseclassdatarderivingdoelsefamilyifin infix[lr]?instanceletnewtypeofthentypewhere_NULSOHz[SE]TXEOTENQACKBELBSHTLFVTFFCRzS[OI]DLEzDC[1-4]NAKSYNETBCANEMSUBESCz[FGRU]SSPDEL\s+!--(?![!#$%&*+./<=>?@^|_~:\\]).*?$\{-comment \bimport\bimport \bmodule\bmodule \berror\b\b({})(?!\')\b|z'[^\\]'z^[_z][\w\']*z'?[_z][\w']*z('')?[z(')[z (')\[[^\]]*\]z (')\([^)]*\)z(')[:!#$%&*+.\\/<=>?@^|~-]+\\(?![:!#$%&*+.\\/<=>?@^|~-]+)+(<-|::|->|=>|=)(?![:!#$%&*+.\\/<=>?@^|~-]+):[:!#$%&*+.\\/<=>?@^|~-]*[:!#$%&*+.\\/<=>?@^|~-]+z40[xX]_*[\da-fA-F](_*[\da-fA-F])*_*[pP][+-]?\d(_*\d)*zR0[xX]_*[\da-fA-F](_*[\da-fA-F])*\.[\da-fA-F](_*[\da-fA-F])*(_*[pP][+-]?\d(_*\d)*)?z\d(_*\d)*_*[eE][+-]?\d(_*\d)*z+\d(_*\d)*\.\d(_*\d)*(_*[eE][+-]?\d(_*\d)*)?z0[bB]_*[01](_*[01])*z0[oO]_*[0-7](_*[0-7])*z 0[xX]_*[\da-fA-F](_*[\da-fA-F])*z \d(_*\d)*' character"string\[\]\(\) [][(),;`{}]\)#pop qualified\bz([z][\w.]*)(\s+)(as)(\s+)([z][\w.]*)z][\w.]*)(\s+)(hiding)(\s+)(\()funclistz][\w.]*)(\s+)(\()[\w.]+[z][\w.]*z]\w*z (_[\w\']+|[z ][\w\']*),\(rgrg#pop:2[^-{}]+#push-\}[-{}][^\\']'\\escape[^\\"]+[abfnrtv"\'&\\]z\^[][z@^_]o[0-7]+ x[\da-fA-F]+\d+ (\s+)(\\)rootrSrUrgrQr^r`rtN)-__name__ __module__ __qualname____firstlineno____doc__nameurlaliases filenames mimetypes version_addedreservedasciirr Single MultilinerReservedr ExceptionformatjoinrCharuniLlFunctionLuTyper WordrFloatBinOctHexIntegerBuiltinrr NamespaceEscapetokens__static_attributes__r}J/usr/lib/rads/venv/lib/python3.13/site-packages/pygments/lexers/haskell.pyrrs D $C$GI!"IMFH 9E * Z * 27>> B * W&& 2 * G,,h 7* G,,h 7* 4>> **  % %chhx&8 97;K;K L*  %* cff_{ *DMM :* svv  *D 1*  + -w|| <* svv  +W\\ :!* "w|| ,#* $gll +%* &,W\\ :'* */ >+* ,%fjj 1?* @' 3A* B1&** =C* D6>> *E* H6;; ,I* J68 $K* Ngll #O* Pdll #Q* R[ )S* ZZ 68 $ K ( W % SVV^9 9CFF B[ P dnnj':t Lf VSVV^? ? dnnj':{ SU_ aSVV^2 2 dnnj+ >  L /# (Z SVV^2 2 dnnj+ >  L CFF]Z ' @  Z CFF]W $gll 3 cff $| 3T]] C 17>> B W&& 2 ;  (( 3 K!9 : K *  ** + W&& 0 W&& / w(( )  f - FMM8 , &++v &   FMM8 , && !   7   (&-- @ XXe_fmmV 4  / fmmV 4 V]]F + 8J > G KnFrrc \rSrSrSrSrS/rS/r/rSr SS\ "\ \ \ R54S \ "\ \ \ R54S \ "\ \ \ R54\/0rS rg ) rz4 A Haskell lexer with support for Hspec constructs. Hspechspecz*Spec.hsz2.4r|z(it)(\s*)("[^"]*")z(describe)(\s*)("[^"]*")z(context)(\s*)("[^"]*")r}N)r~rrrrrrrrrrr rrDocr rrr}rrrrsy DiG IIM  "HT:vzz$J K ((4VZZ*P Q '$ FJJ)O P   Frrc\rSrSrSrSrSrSS/rS/rS/r S r S r S r S r S RSR\ 55\"\\R&54S\"\\R*54S\"\\R*54S\"\\R,5S4S\"\\R0\\R4\54SRSR\ 55\R&4S\"\R&\5S4S\R64S\4S\R44S\R44S\R<4S\R<4S\R>4S\R@4S\!RDS 4S!\!S"4S#\4S$\4/S%\4S&\"\RF\\$5S'4S(\RFS)4/S%\4S*\R64S+\R04S,\R*4S-\R,S4S.\$4S/\4S0\$S14S2\$S34/ S4\R,4S-\R,S54S6\R,S)4S7\R,4/S8\!RD4S9\!RJS:4S\!RDS)4/S;\!4S9\!RJS:4S!\!S)4/S<\!RJS)4S=\!RJS)4SR\ 5\!RJS)4S>\!RJS)4S?\!RJS)4S\!RJS)4S@\"\\!RJ5S)4/SA.r&SBr'gC)Drze A lexer for the dependently typed programming language Idris. Based on the Haskell and Agda Lexer. Idriszhttps://www.idris-lang.org/idrisidrz*.idrz text/x-idris2.0)3r%r&r'rusingr)r*r,r-r.r/rewriteauto namespacecodatamutualprivatepublicabstracttotalpartial interfaceimplementationexportcovering constructorr0proofr2r3staticr5r6withpatterntermsyntaxprefix postulate parametersrecorddsl impossibleimplicittacticsintrosintrocomputerefineexacttrivialr7) liblinkflagrhidefreezeaccessrloggingdynamicrerror_handlerslanguagez ^(\s*)(%({}))rXz((\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$z(\s*)(\|{3}.*?)$z (\s*)(\{-)rQ^(\s*)([^\s(){}]+)(\s*)(:)(\s*)rW(import|module)(\s+)rU('')?[A-Z][\w\']*z [a-z][\w\']*z(<-|::|->|=>|=)z"([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)\d+[eE][+-]?\d+\d+\.\d+([eE][+-]?\d+)?0[xX][\da-fA-F]+ryr]r^r_r` [^\s(){}]+\s+?rN([A-Z][\w.]*)(\s+)(\()rg [A-Z][\w.]*re[A-Z]\w*(_[\w\']+|[a-z][\w\']*)z--.*$rPrjr\rkrlrdrmrnrorprqz[^\\']rsrtrurv \^[][A-Z@^_]rwrxrz)r|rUrgrQr^r`rtr}N)(r~rrrrrrrrrrrr directivesrrrrrrr rrrrr rrr rrrrrrrrrrrr}rrrrsR D 'CG I IMWH 9E YJ  $ $SXXj%9 : j'"2"2 3 5 8(:w~~:^ _ (:w~~"F G HZ1B1BCY O / j$--X]]J W Y % %chhx&8 97;K;K L $hw/?/?&Lh W !7<< 0 d #  / 2HMM B  . ' 6 &** - V^^ $ 6;; , 68 $ D ! j !7 <Z & dnnj+ >  L T^^V 4  Z ',, ' ' 7 w~~ & W&& 2 ;  (( 3 K!9 : K *  ** + W&& 0 W&& / w(( )   $ FMM8 , &++v &   FMM8 , && !   7 fmmV 4 XXe_fmmV 4  / fmmV 4 V]]F + 8J > G IMFrrc2\rSrSrSrSrSrS/rS/rS/r Sr S r S \ "\ \R\ \R"\ 54S \R&4S \R(S 4S\R*S4SR-SR/\ 55\R24S\ "\R2\ 5S4S\R44S\4S\R"4S\R84S\R84S\R:4S\R<4S\R@S4S\S4S\!4S \ 4/S!\R*4S\R*S"4S#\R*S$4S%\R*4/S \R(S 4S&\S$4S'\!4/\"RFS \"RFS\"RFS\"RFS(S).r#S*r$g+),ri zU For the Agda dependently typed functional programming language and proof assistant. Agdaz.http://wiki.portal.chalmers.se/agda/pmwiki.phpagdaz*.agdaz text/x-agdar)+rr coinductiverr'r)z eta-equalityfieldforallhidingr- inductiveinfixinfixlinfixrr/ interleavedr0macrorzno-eta-equalityopaqueopenoverlaprr primitiverquote quoteTermrrenamingrrtactic unfoldingunquote unquoteDecl unquoteDefrvariabler5rrrOrPrQz\{!holerWrXrrUz\b(Set|Prop)[\u2080-\u2089]*\bz (\(|\)|\{|\})z((\.{1,3}|\||\u03BB|\u2200|\u2192|:|=|->)rrrryr]r^r_r`rrz[^!{}]+roz!\}rez[!{}]z[a-zA-Z][\w.\']*z [\W0-9_]+rt)r|rrUrQr^r`rtr}N)%r~rrrrrrrrrrrrrrrr rr rr Directiverrrrrrrrrrrr rrrr}rrrr s D :ChG IIMH0 j$--mmZ1 227>> B W&& 2 W&& / % %chhx&8 97;K;K L $hw/?/?&L   . = x ( 8(-- H  . ' 6 &** - V^^ $ 6;; , 68 $ D ! j !9 @** + W&& 0 W&& / w(( )  W&& 2 $ / 4   &&y1!((5%%h/%%h/]/Frrc\rSrSrSrSrSS/rS/rS/rSr S r S r S r S \ 4S \R4S\R S4S\R$S4S\R$S4S\R(4SR+SR-\ 55\R$4S\R.4S\4S\R04S\R.4S\R44S\R04S\4S\R84S\R84S \R:4S!\R<4S"\R>4S#\ RBS$4S%\ S&4S'\R04S(\RD4S)\#4/S \ 4S%\ S&4S*\#S+4S,\4S-\$"\RJ\ \\ \5S+4S.\$"\RJ\ \\ \#5S/4S0\$"\RJ\ \#5S/4S1\RJS+4/S \ 4S0\$"\RJ\ \#5S/4S2\RJS+4/S \ 4S3\R04S4\R.4S5\#4S\4S6\#S74S*\#S84/S9\R 4S\R S:4S;\R S+4S<\R 4/S=\ RBS+4S>\ RLS?4S#\ RBS+4/S@\ 4S>\ RLS?4S%\ S+4/SA\ RLS+4SB\ RLS+4SR-\ 5\ RLS+4SC\ RLS+4SD\ RLS+4S"\ RLS+4SE\$"\ \ RL5S+4/SF.r'1SGkr(SHr)SIr*gJ)KriizP FIXME: A Cryptol2 lexer based on the lexemes defined in the Haskell 98 Report. Cryptolcryptolcryz*.cryztext/x-cryptolhttps://www.cryptol.netr)ArithBitCmpFalseInfTruer*rexternfinr,rSinflg2maxminrUr1pragmapropertyr3r4r5widthr7rN//.*$/\*rQrRrSrTrUrVrWrXz^[_a-z][\w\']*z'?[_a-z][\w']*rrYrZr[r\rrz 0[oO][0-7]+rryr]r^r_r`rarbrcrdrerfz(([A-Z][\w.]*)(\s+)(as)(\s+)([A-Z][\w.]*)z#([A-Z][\w.]*)(\s+)(hiding)(\s+)(\()rgrrhrrrrjrkrlrm[^/*]+ro\*/[*/]rrrsrtrurvrrwrxrzr{>parregseqrtailconsterrorsplittracerASSERTlengthreverse transpose undefined<<>><<<>>>c## S/n[R"XU5H;up4nU[La&XPR;aU[RU4v M5X4U4v M= g7f)Nr|)rget_tokens_unprocessedrEXTRA_KEYWORDSr)selftextstackindextokenvalues rr2#CryptolLexer.get_tokens_unprocessedsY11$eD E%}*=*=!=T\\500E)) EsAAr}N)+r~rrrrrrrrrrrrrr rrrrrrrrrrr rrrrrrrrrrrrrrr3r2rr}rrrris D% G I!"I #CM2H 9EZ w~~ & W&& 2G,,h 7 G,,h 7 4>> *  % %chhx&8 97;K;K L  .  % !7<< 0 . > ;X]] K )7<< 8 (( 3  . ' 6 VZZ ( &** - V^^ $ 6;; , 68 $ gll # dll # [ )A! HZ 68 $ K ( W % 8 dnnj':t Lf V4 dnnj':{ SU_ a' dnnj+ >  L /# (Z & dnnj+ >  L T^^V 4  Z ',, ' ' 7;  (( 3 K!9 : K *  )) * W&& 0 W&& / g'' (  f - FMM8 , &++v &   FMM8 , && !   7 fmmV 4 XXe_fmmV 4  / fmmV 4 V]]F + 8J > G wdFLN *rrcH\rSrSrSr\R "S5rSrSr Sr g) LiterateLexeriau Base class for lexers of literate file formats based on LaTeX or Bird-style (prefixing each code line with ">"). 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. z(>[ \t]*)(.*\n)c >Xl[R"U40UD6 g)N) baselexerr__init__)r4r>optionss rr?LiterateLexer.__init__s" t'w'rc ## URRS5nUc(UR5SSS;=(a S=(d SnSn/nUS:Xa[R"U5HnUR 5nUR RU5nU(aRUR[U5S[RUR S54/45 X7R S5- nMUR[U5S[U4/45 M GOSS K Jn U"S 0URD6n Sn Sn [R"U5HnUR 5nU (a2UR5RS 5(aSn X- n MFX6- nMLUR5RS 5(a>Sn X- n UR[U5[!U R#U 5545 Sn MX- n M UR[U5[!U R#U 5545 [%X@R&R#U55ShvN gN7f) Nlitstylerz%\latexbird)TexLexerz \end{code}z \begin{code}r})r@getlstripr finditergroupbird_rematchappendlenr Specialr pygments.lexers.markuprI startswithlistr2rr>) r4r5stylecode insertionsrOlinemrIlxlexer codelinesrEs rr2$LiterateLexer.get_tokens_unprocesseds   , =[[]1Q'50=gGE F? ))$/{{}LL&&t,%%s4y)*GOOQWWQZ(H'I'KLGGAJ&D%%s4yAtT?2C&DE0 8..GIE ))$/{{}{{}// >>$%   [[]--o>> !IME%%s4y'+G,J,J5,Q'R'TUEME0   s4y#G$B$B5$IJL M ^^-R-RSW-XYYYsII%I#I%)r>N) r~rrrrrecompilerNr?r2rr}rrr<r<s# jj+,G(*Zrr<c>\rSrSrSrSr/SQrS/rS/rSr Sr S r S r g ) ri2a7 For Literate Haskell (Bird-style or LaTeX) 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. zLiterate Haskell)zliterate-haskelllhaskelllhsz*.lhsztext/x-literate-haskellz-https://wiki.haskell.org/Literate_programmingz0.9c H[S0UD6n[R"X40UD6 gNr})rr<r?r4r@hslexers rr?LiterateHaskellLexer.__init__Ds"))t88rr}N r~rrrrrrrrrrr?rr}rrrr2s1  D5G I*+I 9CM9rrc>\rSrSrSrSr/SQrS/rS/rSr Sr S r S r g ) riIa5 For Literate Idris (Bird-style or LaTeX) 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. zLiterate Idris)zliterate-idrislidrislidrz*.lidrztext/x-literate-idrisz?https://idris2.readthedocs.io/en/latest/reference/literate.htmlrc H[S0UD6n[R"X40UD6 grd)rr<r?res rr?LiterateIdrisLexer.__init__[s"'w't88rr}Nrhr}rrrrIs1  D2G I()I KCM9rrc>\rSrSrSrSrSS/rS/rS/rSr S r S r S r g ) ri`a 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. z Literate Agdaz literate-agdalagdaz*.lagdaztext/x-literate-agdazEhttps://agda.readthedocs.io/en/latest/tools/literate-programming.htmlrc L[S0UD6n[R"X4SS0UD6 g)NrCrEr})rr<r?)r4r@ agdalexers rr?LiterateAgdaLexer.__init__rs'(( tLLGLrr}Nrhr}rrrr`s7  D(G I'(I QCMMrrc>\rSrSrSrSr/SQrS/rS/rSr Sr S r S r g ) riwa7 For Literate Cryptol (Bird-style or LaTeX) 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. zLiterate Cryptol)zliterate-cryptollcryptollcryz*.lcryztext/x-literate-cryptolr rc H[S0UD6n[R"X40UD6 grd)rr<r?)r4r@crylexers rr?LiterateCryptolLexer.__init__s"*'*t99rr}Nrhr}rrrrws1  D6G I*+I #CM:rrc\rSrSrSrSrSrS/rSS/rS/r S r /S Qr /S Qr /S Qr /S QrSrS\-S-rSr\R&r\R*r\R0r\"S5S\-\S4S\"\\\5S4S\"\\\5S4SR=SR?\ 55S-\"\\\5S4S\"\\\\\R@54S\"\\\R@\\\\\\R@5 4S\-S-\"\\\\\RB54S \-S-\"\\\\\\\RB54SR=SR?\ 55\-\RD4SR=SR?\ 55\-\4SR=SR?\55\-\RF4S!\-\4S"\"\R@\54S#\"\R@\54S$\-S-\"\R@\54S%\RH4S&\%RLS'4\S(-\'4S)\'4S*\(4S+\)RT4S,\)RV4S-\)RX4S.\%RZS/4S0\%RLS14/S2\4\"S5/S3\(S44\"S5/S5\S64\"S75/S8\S44S5\S64S9\4S:\"\\\54\"S75/\"S5SR=SR?\ 55\-\4S;R=SR?\ 55\-S<-\S44S=\-\4S>\4S%\RH4S"\"\R@\54S?\"\R@\54S@\4\."S45/ SA\"\\/R`54SB\4SC\/RbSD4SE\/Rd4/SF\/Rb4SC\/RbSG4SH\/RbS44SI\/Rb4/SJ\%RL4SK\%Rf4S0\%RLS44/SL\%RL4\"SM5SN\%RLS44/SO\%RZ4\"SM5SP\%RZS44/SQ\%Rf4SR\%Rf4SS\%Rf4ST\%Rf4/SU. r4SVr5gW)Xriz Lexer for the Koka language. Kokaz/https://koka-lang.github.io/koka/doc/index.htmlkokaz*.kkz*.kkiz text/x-kokaz1.6)"rrrr4cotyperectypealiasstructconfunfunctionvalvarexternalr,r3r*elifreturnrOrrrrUrSasrinlinerectryyieldenumrr/)r4r|r}r~rr)rexistssomer) forwhilerepeatforeachzforeach-indexedr%catchfinallycsjsfilerefassignedz[$%&*+@!/\\^~=.:\-?|<>]+z(?!)z (?![\w/]) whitespacez::?r4z(alias)(\s+)([a-z]\w*)? alias-typez(struct)(\s+)([a-z]\w*)? struct-typez({})rXz(\s+)([a-z]\w*)?z=(module)(\s+)(interface(?=\s))?(\s+)?((?:[a-z]\w*/)*[a-z]\w*)z`(import)(\s+)((?:[a-z]\w*/)*[a-z]\w*)(?:(\s*)(=)(\s*)(qualified)?(\s*)((?:[a-z]\w*/)*[a-z]\w*))?z>^(public|private)?(\s+)?(function|fun|val)(\s+)([a-z]\w*|\((?:z|/)\))zd^(?:(public|private)(?=\s+external))?((?|[=.]z((?:[a-z]\w*/)*)([A-Z]\w*)z((?:[a-z]\w*/)*)([a-z]\w*)z((?:[a-z]\w*/)*)(\((?:z_\w*z@" litstringz |/(?![*/])`z [{}()\[\];,]z![0-9]+\.[0-9]+([eE][\-+]?[0-9]+)?z0[xX][0-9a-fA-F]+z[0-9]+r]charr_r`=z(?=\((?!,*\)))rez[(\[<] type-nested type-contentz[)\]>]rjz([a-z]\w*)(\s*)(:)(?!:)z(?=(({})z))z[EPHVX]z[a-z][0-9]*(?![\w/])z((?:[a-z]\w*/)*)([a-z]\w+)z ::|->|[.:|]z (\n\s*)(#.*)$rNrrQrrrorrz[^"]+z""z [^\\"\n]+escape-sequencez["\n]z [^\\\'\n]+z[\'\n]z \\[nrt\\"\']z\\x[0-9a-fA-F]{2}z\\u[0-9a-fA-F]{4}z\\U[0-9a-fA-F]{6}) r|rrr4rrrrQrr`rrr}N)6r~rrrrrrrrrrkeywordstypeStartKeywords typekeywordsbuiltinsymbols sboundaryboundaryr Attribute tokenTypeClass tokenTypeDefrEmphtokenConstructorrrrrrrrrrPseudoVariablerDoubler rrrrrrrr Preprocrrrrrr}rrrrs D ;ChG!IIM H  L G*G#%IHI::L|| L !i F 3 '':|)T   ((7J *U  nnSXX&789 !"*7J "M   N gz7J O Q+gz4>>:wPZz4>>; < %'./1:; gz7J N P ")*,56 gz7JUYUbUb c e ^^CHH\2 3h > M ^^CHHX. /( :G D ^^CHHW- . 97>> J ) +W 5+ dnn&6 7 9 *HT^^T,J K & 09 < dnnd + - dmm $FMM; /| #X . 8  k *26<< @ !6:: .  ' 6;; ' 6==( +u; ~7O FO  V 4 FO  = 1 N #  6 *  = 1 9  ' dJ 2 4 N #   L !^^CHH\2 3h > H    2 3h > E f ( "I .%i 0 i(( ) * dnni 0 2 * dnni 0 2Y ' FO/ 8x GOOD E Z W&& 2 w~~ &  )) * W&& 0 W&& / g'' (  v}} % FMM " 6==& ) 6== ) % & v}}f - FKK ( % &  V , fmm , !6== 1 !6== 1 !6== 1  cXFrr)%rr^pygments.lexerrrrrrrr r pygments.tokenr r r rrrrrrrpygmentsrr__all__rrrrrr<rrrrrr}rrrs '''---% 0 A:AH*ll^F FRF*:F*R=ZE=Z@9=9.99.M M.:=:.T Tr