WALS Feature 2A: Vowel Quality Inventories

@cite{wals-2013}

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

Chapter 2, 564 languages.

inductive Data.WALS.F2A.VowelQualityInventories : Type

WALS 2A values.

• small : VowelQualityInventories

  Small (2-4) (93 languages).

• average : VowelQualityInventories

  Average (5-6) (287 languages).

• large : VowelQualityInventories

  Large (7-14) (184 languages).

@[implicit_reducible]

instance Data.WALS.F2A.instDecidableEqVowelQualityInventories : DecidableEq VowelQualityInventories

Equations

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

def Data.WALS.F2A.instBEqVowelQualityInventories.beq : VowelQualityInventories → VowelQualityInventories → Bool

Equations

• Data.WALS.F2A.instBEqVowelQualityInventories.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F2A.instBEqVowelQualityInventories : BEq VowelQualityInventories

Equations

• Data.WALS.F2A.instBEqVowelQualityInventories = { beq := Data.WALS.F2A.instBEqVowelQualityInventories.beq }

@[implicit_reducible]

instance Data.WALS.F2A.instReprVowelQualityInventories : Repr VowelQualityInventories

Equations

• Data.WALS.F2A.instReprVowelQualityInventories = { reprPrec := Data.WALS.F2A.instReprVowelQualityInventories.repr }

def Data.WALS.F2A.instReprVowelQualityInventories.repr : VowelQualityInventories → Nat → Std.Format

Equations

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

def Data.WALS.F2A.allData : List (Datapoint VowelQualityInventories)

Complete WALS 2A dataset (564 languages).

Equations

• Data.WALS.F2A.allData = Data.WALS.F2A.allData_0✝ ++ Data.WALS.F2A.allData_1✝

def Data.WALS.F2A.lookup (code : String) : Option (Datapoint VowelQualityInventories)

Look up a language by WALS code.

Equations

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

def Data.WALS.F2A.lookupISO (iso : String) : Option (Datapoint VowelQualityInventories)

Look up a language by ISO 639-3 code.

Equations

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