Docs / Morphology / Exponence / Basic

Rules of exponence

import Linglib.Morphology.Exponence.Basic · namespace Morphology.Exponence

Source

A rule of exponence, in Matthews's sense, pairs an exponent with a condition on the contexts it applies in. This file defines the interface for types of such rules, rule sets, and the set of contexts a rule applies in, the key of Kiparsky's Elsewhere Condition, under which a rule is more specific when it applies in fewer contexts.

Main definitions

References

Declarations

Rule R Ctx E says that R is a type of rules of exponence, each carrying an exponent in E and applying in a class of contexts in Ctx.

class RuleL30–36
(R : Type u_1) (Ctx : outParam (Type u_2)) (E : outParam (Type u_3)) :
Type (max (max u_1 u_2) u_3)
  • exponent : R → E

    The exponent a rule inserts.

  • Applies : R → Ctx → Prop

    The condition on contexts under which a rule applies.

Used by applySet, mem_applySet

Used in Morphology/DistributedMorphology/VocabularyInsertion/Basic, Morphology/Exponence/Containment/Defs, Morphology/Exponence/Decomposition, Morphology/Exponence/Domain, Morphology/Exponence/Elsewhere and 9 more