Affix position-class templates

A language's verb (or word) affix template: the ordered morpheme-category slots of its prefix and suffix strings. This is the per-language, Fragment-importable substrate that RespectsRelevanceHierarchy (in Morphology/MorphRule.lean) tests against [Byb85]'s relevance hierarchy — so a language's slot order lives once, as Fragment data, and study files derive their checks from it rather than re-typing the template.

Main definitions

• Morphology.AffixTemplate — a language's prefix/suffix slots as MorphCategory lists.
• Morphology.AffixTemplate.suffixRespectsRelevance — the suffix slots are sorted by relevance.

structure Morphology.AffixTemplate : Type

A language's affix position-class template. suffixSlots runs stem-outward (innermost suffix first); prefixSlots is listed as the source grammar writes it, word-edge inward. Slots are MorphCategory tags, not exponents — the actual morphemes live in the citing grammar.

• suffixSlots : List MorphCategory

  Suffix slots, ordered stem-outward (innermost suffix first).

• prefixSlots : List MorphCategory

  Prefix slots, ordered word-edge inward (outermost prefix first).

@[implicit_reducible]

instance Morphology.instReprAffixTemplate : Repr AffixTemplate

Equations

• Morphology.instReprAffixTemplate = { reprPrec := Morphology.instReprAffixTemplate.repr }

def Morphology.instReprAffixTemplate.repr : AffixTemplate → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[implicit_reducible]

instance Morphology.instDecidableEqAffixTemplate : DecidableEq AffixTemplate

Equations

• Morphology.instDecidableEqAffixTemplate = Morphology.instDecidableEqAffixTemplate.decEq

def Morphology.instDecidableEqAffixTemplate.decEq (x✝ x✝¹ : AffixTemplate) : Decidable (x✝ = x✝¹)

Equations

• One or more equations did not get rendered due to their size.

def Morphology.AffixTemplate.suffixRespectsRelevance (t : AffixTemplate) : Prop

The template's suffix order respects [Byb85]'s relevance hierarchy.

Equations

• t.suffixRespectsRelevance = Morphology.RespectsRelevanceHierarchy t.suffixSlots

@[implicit_reducible]

instance Morphology.instDecidableSuffixRespectsRelevance (t : AffixTemplate) : Decidable t.suffixRespectsRelevance

Equations

• Morphology.instDecidableSuffixRespectsRelevance t = Morphology.instDecidableSuffixRespectsRelevance._aux_1 t