WALS Feature 22A: Inflectional Synthesis of the Verb

@cite{bickel-nichols-2013c}

Auto-generated from WALS v2020.4 CLDF data. Do not edit by hand — regenerate with python3 scripts/gen_wals.py 22A.

Chapter 22, 145 languages.

inductive Data.WALS.F22A.InflectionalSynthesis : Type

WALS 22A values.

• categoryPerWord0_1 : InflectionalSynthesis

  0-1 category per word (5 languages).

• categoriesPerWord2_3 : InflectionalSynthesis

  2-3 categories per word (24 languages).

• categoriesPerWord4_5 : InflectionalSynthesis

  4-5 categories per word (52 languages).

• categoriesPerWord6_7 : InflectionalSynthesis

  6-7 categories per word (31 languages).

• categoriesPerWord8_9 : InflectionalSynthesis

  8-9 categories per word (24 languages).

• categoriesPerWord10_11 : InflectionalSynthesis

  10-11 categories per word (7 languages).

• categoriesPerWord12_13 : InflectionalSynthesis

  12-13 categories per word (2 languages).

@[implicit_reducible]

instance Data.WALS.F22A.instDecidableEqInflectionalSynthesis : DecidableEq InflectionalSynthesis

Equations

• Data.WALS.F22A.instDecidableEqInflectionalSynthesis x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Data.WALS.F22A.instBEqInflectionalSynthesis.beq : InflectionalSynthesis → InflectionalSynthesis → Bool

Equations

• Data.WALS.F22A.instBEqInflectionalSynthesis.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F22A.instBEqInflectionalSynthesis : BEq InflectionalSynthesis

Equations

• Data.WALS.F22A.instBEqInflectionalSynthesis = { beq := Data.WALS.F22A.instBEqInflectionalSynthesis.beq }

def Data.WALS.F22A.instReprInflectionalSynthesis.repr : InflectionalSynthesis → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Data.WALS.F22A.instReprInflectionalSynthesis : Repr InflectionalSynthesis

Equations

• Data.WALS.F22A.instReprInflectionalSynthesis = { reprPrec := Data.WALS.F22A.instReprInflectionalSynthesis.repr }

def Data.WALS.F22A.allData : List (Datapoint InflectionalSynthesis)

Complete WALS 22A dataset (145 languages).

Equations

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

def Data.WALS.F22A.lookup (code : String) : Option (Datapoint InflectionalSynthesis)

Look up a language by WALS code.

Equations

• Data.WALS.F22A.lookup code = Data.WALS.Datapoint.lookup Data.WALS.F22A.allData code

def Data.WALS.F22A.lookupISO (iso : String) : Option (Datapoint InflectionalSynthesis)

Look up a language by ISO 639-3 code.

Equations

• Data.WALS.F22A.lookupISO iso = Data.WALS.Datapoint.lookupISO Data.WALS.F22A.allData iso