Aspect markers

A language's grammatical aspect morphemes are entered as aspect markers: the exponent as morphs, its spelling in a native script, its interlinear gloss and the viewpoint it marks.

Main definitions

• Aspect.Marker: a grammatical aspect marker and the viewpoint it marks.

References

• [Smi97]

structure Aspect.Marker : Type

A grammatical aspect marker is its exponent with its spelling in a native script, its gloss and the viewpoint it marks.

• morphs : List Morphology.Morph

  The exponent, in surface order, a romanization where the language has a native script.

• script : Option String

  The spelling in the native script.

• gloss : String

  The interlinear gloss.

• viewpoint : ViewpointType

  The viewpoint the marker marks.

def Aspect.instDecidableEqMarker.decEq (x✝ x✝¹ : Marker) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Aspect.instDecidableEqMarker : DecidableEq Marker

Equations

• Aspect.instDecidableEqMarker = Aspect.instDecidableEqMarker.decEq

def Aspect.instReprMarker.repr : Marker → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Aspect.instReprMarker : Repr Marker

Equations

• Aspect.instReprMarker = { reprPrec := Aspect.instReprMarker.repr }