Haskell Greek Script

GreekScript.hs

data Letter = L_α | L_β | L_γ | L_δ | L_ε | L_ζ | L_η | L_θ | L_ι | L_κ | L_λ | L_μ | L_ν | L_ξ | L_ο | L_π | L_ρ | L_σ | L_τ | L_υ | L_φ | L_χ | L_ψ | L_ω
  deriving (Eq, Show, Ord, Data, Typeable)
data Consonant = C_β | C_γ | C_δ | C_ζ | C_θ | C_κ | C_λ | C_μ | C_ν | C_ξ | C_π | C_ρ | C_σ | C_τ | C_φ | C_χ | C_ψ
  deriving (Eq, Show, Ord, Data, Typeable)
data RoughBreathing = R_῾
  deriving (Eq, Show, Ord, Data, Typeable)
data Vowel = V_α | V_ε | V_η | V_ι | V_ο | V_υ | V_ω
  deriving (Eq, Show, Ord, Data, Typeable)
data Diphthong = D_αι | D_ει | D_οι | D_αυ | D_ευ | D_ου | D_ηυ | D_ωυ | D_υι
  deriving (Eq, Show, Ord, Data, Typeable)
data ImproperDiphthong = ID_ᾳ | ID_ῃ | ID_ῳ
  deriving (Eq, Show, Ord, Data, Typeable)
data LetterCase = Lowercase | Uppercase deriving (Eq, Show, Ord, Data, Typeable)
data Accent = Acute | Grave | Circumflex deriving (Eq, Show, Ord, Data, Typeable)
data Breathing = Smooth | Rough deriving (Eq, Show, Ord, Data, Typeable)
data IotaSubscript = IotaSubscript deriving (Eq, Show, Ord, Data, Typeable)
data Diaeresis = Diaeresis deriving (Eq, Show, Ord, Data, Typeable)
data FinalForm = FinalForm deriving (Eq, Show, Ord, Data, Typeable)

data MarkSet =
    MarkSetEmpty
  | MarkSetAccent              Accent
  | MarkSetBreathing           Breathing
  | MarkSetAccentBreathing     Accent Breathing
  | MarkSetAccentBreathingIota Accent Breathing IotaSubscript
  | MarkSetDiaeresis           Diaeresis
  | MarkSetAccentDiaeresis     Accent Diaeresis
  | MarkSetAccentIota          Accent IotaSubscript
  | MarkSetIota                IotaSubscript
  deriving (Eq, Show, Ord, Data, Typeable)

data MarkedLetter = MarkedLetter
  { _letter :: Letter
  , _letterCase :: LetterCase
  , _finalForm :: Maybe FinalForm
  , _markSet :: MarkSet
  }
  deriving (Eq, Show, Ord, Data, Typeable)