vanadium/xmonad: refactor

This commit is contained in:
Primrose 2025-11-05 08:54:06 +08:00
parent 073078a922
commit d243e6c32f
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
5 changed files with 10 additions and 12 deletions

View file

@ -0,0 +1,40 @@
module Data.Char.Greek where
import Data.List (find)
toUpper :: Char -> Char
toUpper c = maybe c fst (find ((== c) . snd) greekData)
greekLower :: [Char]
greekLower = fmap snd greekData
greekUpper :: [Char]
greekUpper = fmap fst greekData
greekData :: [(Char, Char)]
greekData =
[ ('Α', 'α')
, ('Β', 'β')
, ('Γ', 'γ')
, ('Δ', 'δ')
, ('Ε', 'ε')
, ('Ζ', 'ζ')
, ('Η', 'η')
, ('Θ', 'θ')
, ('Ι', 'ι')
, ('Κ', 'κ')
, ('Λ', 'λ')
, ('Μ', 'μ')
, ('Ν', 'ν')
, ('Ξ', 'ξ')
, ('Ο', 'ο')
, ('Π', 'π')
, ('Ρ', 'ρ')
, ('Σ', 'σ')
, ('Τ', 'τ')
, ('Υ', 'υ')
, ('Φ', 'φ')
, ('Χ', 'χ')
, ('Ψ', 'ψ')
, ('Ω', 'ω')
]