Telugu case

Telugu marks four cases on the noun by suffix and the other relations by postposition. The nominative is the bare stem and the genitive the oblique stem, neither with a suffix; the accusative suffix is -ni and the dative -ki, each also heard with -u for -i except after an i. The oblique stem carries the accusative and dative suffixes and the postpositions alike, among them lō 'in' and nunci 'from' (Telugu.Adpositions). Krishnamurti and Gwynn count the case suffixes among the postpositions that only occur bound to the stem (§§9.12–9.14), and Aitha separates them, the postpositions standing outside the noun's prosodic word. The forms are those of the paradigms of illu 'house' and samudram 'ocean' that Aitha reproduces from Krishnamurti and Gwynn's grammar; the oblique stem is the matter of Studies/Aitha2026.lean.

Main definitions

• Telugu.Case, Telugu.Case.exponents: the four cases, and the suffixes of the two that have one.

References

• [Ait26]
• [KG85]
• [Kol26]

Cases

inductive Telugu.Case : Type

The four cases.

• nom : Case

  The nominative, the bare stem.

• acc : Case

  The accusative.

• gen : Case

  The genitive, the oblique stem.

• dat : Case

  The dative.

@[instance_reducible]

instance Telugu.instDecidableEqCase : DecidableEq Case

Equations

• Telugu.instDecidableEqCase x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Telugu.instFintypeCase : Fintype Case

Equations

• Telugu.instFintypeCase = { elems := { val := ↑Telugu.Case.enumList, nodup := Telugu.Case.enumList_nodup }, complete := Telugu.instFintypeCase._proof_1 }

def Telugu.instReprCase.repr : Case → ℕ → Std.Format

Equations

• Telugu.instReprCase.repr Telugu.Case.nom prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Telugu.Case.nom")).group prec✝
• Telugu.instReprCase.repr Telugu.Case.acc prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Telugu.Case.acc")).group prec✝
• Telugu.instReprCase.repr Telugu.Case.gen prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Telugu.Case.gen")).group prec✝
• Telugu.instReprCase.repr Telugu.Case.dat prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Telugu.Case.dat")).group prec✝

@[instance_reducible]

instance Telugu.instReprCase : Repr Case

Equations

• Telugu.instReprCase = { reprPrec := Telugu.instReprCase.repr }

def Telugu.Case.label : Case → _root_.Case

The comparative value a case is named for.

Equations

• Telugu.Case.nom.label = Case.nom
• Telugu.Case.acc.label = Case.acc
• Telugu.Case.gen.label = Case.gen
• Telugu.Case.dat.label = Case.dat

def Telugu.Case.exponents : Case → List Morphology.Morph

The suffix of a case, inside the noun's prosodic word, is -ni for the accusative, also -nu except after an i, and -ki for the dative, also -ku except after an i. The nominative and the genitive have none.

Equations

• Telugu.Case.nom.exponents = []
• Telugu.Case.gen.exponents = []
• Telugu.Case.acc.exponents = [Morphology.Morph.suff "ni", Morphology.Morph.suff "nu"]
• Telugu.Case.dat.exponents = [Morphology.Morph.suff "ki", Morphology.Morph.suff "ku"]