WALS Language Metadata

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

2660 languages referenced across generated features.

structure Core.WALS.Language : Type

WALS language metadata.

• walsCode : String
• name : String
• iso : String
• family : String
• genus : String

def Core.WALS.instReprLanguage.repr : Language → Nat → Std.Format

Equations

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

instance Core.WALS.instReprLanguage : Repr Language

Equations

• Core.WALS.instReprLanguage = { reprPrec := Core.WALS.instReprLanguage.repr }

instance Core.WALS.instBEqLanguage : BEq Language

Equations

• Core.WALS.instBEqLanguage = { beq := Core.WALS.instBEqLanguage.beq }

def Core.WALS.instBEqLanguage.beq : Language → Language → Bool

Equations

• One or more equations did not get rendered due to their size.
• Core.WALS.instBEqLanguage.beq x✝¹ x✝ = false

instance Core.WALS.instDecidableEqLanguage : DecidableEq Language

Equations

• Core.WALS.instDecidableEqLanguage = Core.WALS.instDecidableEqLanguage.decEq

def Core.WALS.instDecidableEqLanguage.decEq (x✝ x✝¹ : Language) : Decidable (x✝ = x✝¹)

Equations

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

def Core.WALS.languages : List Language

All languages referenced in generated WALS features (2660).

Equations

• Core.WALS.languages = Core.WALS.languages_0✝ ++ Core.WALS.languages_1✝ ++ Core.WALS.languages_2✝ ++ Core.WALS.languages_3✝ ++ Core.WALS.languages_4✝ ++ Core.WALS.languages_5✝

def Core.WALS.findLanguage (code : String) : Option Language

Look up a language by WALS code.

Equations

• Core.WALS.findLanguage code = List.find? (fun (x : Core.WALS.Language) => x.walsCode == code) Core.WALS.languages

def Core.WALS.findByIso (iso : String) : Option Language

Look up a language by ISO 639-3 code.

Equations

• Core.WALS.findByIso iso = List.find? (fun (x : Core.WALS.Language) => x.iso == iso) Core.WALS.languages