Documentation

Linglib.Morphology.Morphotactics.Template

Templates: word-skeletal morphotactic substrate #

A template stipulates a word's positional skeleton directly — the word-skeletal answer to where affix order comes from, rival to the rule-combining answer on which templates are emergent patterns of rule composition ([Stu22]). The layered-vs-templatic typological contrast and its diagnostics (long-distance slot dependencies, non-functional slot assignment) are [BN07] §6, with the caveat that templatic vs layered properties "are likely to hold of individual formatives rather than of the entire string" (p. 219). AffixTemplate is the position-class species (a prosodic/CV species would be its sibling); the rivalry itself is study content, not settled here.

A word's affix template: the ordered position-class slots of its prefix and suffix strings, parameterized by the slot type Slot — so the order lives once, as Fragment data, and study files derive their checks from it rather than re-typing the template. Instantiating at MorphCategory (Morphology/RelevanceHierarchy.lean) gives a language's slot order in relevance-hierarchy vocabulary; a language-specific slot type carries finer position classes: Mayan.template uses Mayan.VerbSlot, with the prefix/suffix split encoding a morpheme's position relative to the verb stem.

Main definitions #

structure Morphology.AffixTemplate (Slot : Type u_1) :
Type u_1

A word'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 Slot tags, not exponents — the actual morphemes live in the citing grammar.

  • prefixSlots : List Slot

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

  • suffixSlots : List Slot

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

Instances For
    def Morphology.instReprAffixTemplate.repr {Slot✝ : Type u_1} [Repr Slot✝] :
    AffixTemplate Slot✝NatStd.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      @[implicit_reducible]
      instance Morphology.instReprAffixTemplate {Slot✝ : Type u_1} [Repr Slot✝] :
      Repr (AffixTemplate Slot✝)
      Equations
      @[implicit_reducible]
      instance Morphology.instDecidableEqAffixTemplate {Slot✝ : Type u_1} [DecidableEq Slot✝] :
      DecidableEq (AffixTemplate Slot✝)
      Equations
      def Morphology.instDecidableEqAffixTemplate.decEq {Slot✝ : Type u_1} [DecidableEq Slot✝] (x✝ x✝¹ : AffixTemplate Slot✝) :
      Decidable (x✝ = x✝¹)
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For