rhi/quox
rhi/quox
1
0
Fork 0
Code Issues 15 Pull requests 1 Releases Wiki Activity

swap some delim/syntax highlighting around

Browse source
This commit is contained in:
rhiannon morris 2023-11-05 15:45:07 +01:00
parent 04af7ae942
commit bf8cced888
1 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
lib/Quox/Pretty.idr
View file

@ -254,18 +254,18 @@ ofD, dotD, zeroD, succD, coeD, compD, undD, cstD, pipeD, fstD, sndD :
{opts : LayoutOpts} -> Eff Pretty (Doc opts) {opts : LayoutOpts} -> Eff Pretty (Doc opts)
typeD = hl Syntax . text =<< ifUnicode "★" "Type" typeD = hl Syntax . text =<< ifUnicode "★" "Type"
ioStateD = hl Syntax $ text "IOState" ioStateD = hl Syntax $ text "IOState"
arrowD = hl Delim . text =<< ifUnicode "→" "->" arrowD = hl Syntax . text =<< ifUnicode "→" "->"
darrowD = hl Delim . text =<< ifUnicode "⇒" "=>" darrowD = hl Syntax . text =<< ifUnicode "⇒" "=>"
timesD = hl Delim . text =<< ifUnicode "×" "**" timesD = hl Syntax . text =<< ifUnicode "×" "**"
lamD = hl Syntax . text =<< ifUnicode "λ" "fun" lamD = hl Syntax . text =<< ifUnicode "λ" "fun"
eqndD = hl Delim . text =<< ifUnicode "≡" "==" eqndD = hl Syntax . text =<< ifUnicode "≡" "=="
dlamD = hl Syntax . text =<< ifUnicode "δ" "dfun" dlamD = hl Syntax . text =<< ifUnicode "δ" "dfun"
annD = hl Delim . text =<< ifUnicode "∷" "::" annD = hl Syntax . text =<< ifUnicode "∷" "::"
natD = hl Syntax . text =<< ifUnicode "ℕ" "Nat" natD = hl Syntax . text =<< ifUnicode "ℕ" "Nat"
stringD = hl Syntax $ text "String" stringD = hl Syntax $ text "String"
eqD = hl Syntax $ text "Eq" eqD = hl Syntax $ text "Eq"
colonD = hl Delim $ text ":" colonD = hl Syntax $ text ":"
commaD = hl Delim $ text "," commaD = hl Syntax $ text ","
semiD = hl Delim $ text ";" semiD = hl Delim $ text ";"
atD = hl Delim $ text "@" atD = hl Delim $ text "@"
caseD = hl Syntax $ text "case" caseD = hl Syntax $ text "case"
@ -279,7 +279,7 @@ coeD = hl Syntax $ text "coe"
compD = hl Syntax $ text "comp" compD = hl Syntax $ text "comp"
undD = hl Syntax $ text "_" undD = hl Syntax $ text "_"
cstD = hl Syntax $ text "=" cstD = hl Syntax $ text "="
pipeD = hl Syntax $ text "|" pipeD = hl Delim $ text "|"
fstD = hl Syntax $ text "fst" fstD = hl Syntax $ text "fst"
sndD = hl Syntax $ text "snd" sndD = hl Syntax $ text "snd"