Mayan transitive verb classes

A Mayan transitive verb is radical, with a monosyllabic root ending in a consonant or a glottal stop, or derived, with a polysyllabic vowel-final root, and the voice and Agent Focus suffixes of the K'ichean languages select their allomorphs by the class.

References

• [HDOG16]
• [Mon17]

inductive Mayan.VerbClass : Type

A transitive verb is derived, with a polysyllabic vowel-final root, or radical, with a monosyllabic root ending in a consonant or a glottal stop.

• derived : VerbClass
• radical : VerbClass

@[instance_reducible]

instance Mayan.instDecidableEqVerbClass : DecidableEq VerbClass

Equations

• Mayan.instDecidableEqVerbClass x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Mayan.instReprVerbClass.repr : VerbClass → ℕ → Std.Format

Equations

• Mayan.instReprVerbClass.repr Mayan.VerbClass.derived prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Mayan.VerbClass.derived")).group prec✝
• Mayan.instReprVerbClass.repr Mayan.VerbClass.radical prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Mayan.VerbClass.radical")).group prec✝

@[instance_reducible]

instance Mayan.instReprVerbClass : Repr VerbClass

Equations

• Mayan.instReprVerbClass = { reprPrec := Mayan.instReprVerbClass.repr }

@[instance_reducible]

instance Mayan.instFintypeVerbClass : Fintype VerbClass

Equations

• Mayan.instFintypeVerbClass = { elems := { val := ↑Mayan.VerbClass.enumList, nodup := Mayan.VerbClass.enumList_nodup }, complete := Mayan.instFintypeVerbClass._proof_1 }