WALS Feature 18A: Absence of Common Consonants

@cite{wals-2013}

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

Chapter 18, 567 languages.

inductive Data.WALS.F18A.AbsenceOfCommonConsonants : Type

WALS 18A values.

• allPresent : AbsenceOfCommonConsonants

  All present (503 languages).

• noBilabials : AbsenceOfCommonConsonants

  No bilabials (4 languages).

• noFricatives : AbsenceOfCommonConsonants

  No fricatives (48 languages).

• noNasals : AbsenceOfCommonConsonants

  No nasals (10 languages).

• noBilabialsOrNasals : AbsenceOfCommonConsonants

  No bilabials or nasals (1 languages).

• noFricativesOrNasals : AbsenceOfCommonConsonants

  No fricatives or nasals (1 languages).

@[implicit_reducible]

instance Data.WALS.F18A.instDecidableEqAbsenceOfCommonConsonants : DecidableEq AbsenceOfCommonConsonants

Equations

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

def Data.WALS.F18A.instBEqAbsenceOfCommonConsonants.beq : AbsenceOfCommonConsonants → AbsenceOfCommonConsonants → Bool

Equations

• Data.WALS.F18A.instBEqAbsenceOfCommonConsonants.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F18A.instBEqAbsenceOfCommonConsonants : BEq AbsenceOfCommonConsonants

Equations

• Data.WALS.F18A.instBEqAbsenceOfCommonConsonants = { beq := Data.WALS.F18A.instBEqAbsenceOfCommonConsonants.beq }

def Data.WALS.F18A.instReprAbsenceOfCommonConsonants.repr : AbsenceOfCommonConsonants → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Data.WALS.F18A.instReprAbsenceOfCommonConsonants : Repr AbsenceOfCommonConsonants

Equations

• Data.WALS.F18A.instReprAbsenceOfCommonConsonants = { reprPrec := Data.WALS.F18A.instReprAbsenceOfCommonConsonants.repr }

def Data.WALS.F18A.allData : List (Datapoint AbsenceOfCommonConsonants)

Complete WALS 18A dataset (567 languages).

Equations

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

def Data.WALS.F18A.lookup (code : String) : Option (Datapoint AbsenceOfCommonConsonants)

Look up a language by WALS code.

Equations

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

def Data.WALS.F18A.lookupISO (iso : String) : Option (Datapoint AbsenceOfCommonConsonants)

Look up a language by ISO 639-3 code.

Equations

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