WALS Feature 1A: Consonant Inventories

@cite{wals-2013}

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

Chapter 1, 563 languages.

inductive Data.WALS.F1A.ConsonantInventories : Type

WALS 1A values.

• small : ConsonantInventories

  Small (89 languages).

• moderatelySmall : ConsonantInventories

  Moderately small (122 languages).

• average : ConsonantInventories

  Average (201 languages).

• moderatelyLarge : ConsonantInventories

  Moderately large (94 languages).

• large : ConsonantInventories

  Large (57 languages).

@[implicit_reducible]

instance Data.WALS.F1A.instDecidableEqConsonantInventories : DecidableEq ConsonantInventories

Equations

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

def Data.WALS.F1A.instBEqConsonantInventories.beq : ConsonantInventories → ConsonantInventories → Bool

Equations

• Data.WALS.F1A.instBEqConsonantInventories.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F1A.instBEqConsonantInventories : BEq ConsonantInventories

Equations

• Data.WALS.F1A.instBEqConsonantInventories = { beq := Data.WALS.F1A.instBEqConsonantInventories.beq }

@[implicit_reducible]

instance Data.WALS.F1A.instReprConsonantInventories : Repr ConsonantInventories

Equations

• Data.WALS.F1A.instReprConsonantInventories = { reprPrec := Data.WALS.F1A.instReprConsonantInventories.repr }

def Data.WALS.F1A.instReprConsonantInventories.repr : ConsonantInventories → Nat → Std.Format

Equations

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

def Data.WALS.F1A.allData : List (Datapoint ConsonantInventories)

Complete WALS 1A dataset (563 languages).

Equations

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

def Data.WALS.F1A.lookup (code : String) : Option (Datapoint ConsonantInventories)

Look up a language by WALS code.

Equations

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

def Data.WALS.F1A.lookupISO (iso : String) : Option (Datapoint ConsonantInventories)

Look up a language by ISO 639-3 code.

Equations

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