WALS Feature 141A: Writing Systems

@cite{wals-2013}

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

Chapter 141, 6 languages.

inductive Data.WALS.F141A.WritingSystems : Type

WALS 141A values.

• alphabetic : WritingSystems

  Alphabetic (0 languages).

• consonantal : WritingSystems

  Consonantal (0 languages).

• alphasyllabic : WritingSystems

  Alphasyllabic (4 languages).

• syllabic : WritingSystems

  Syllabic (2 languages).

• logographic : WritingSystems

  Logographic (0 languages).

• mixedLogographicSyllabic : WritingSystems

  Mixed logographic–syllabic (0 languages).

@[implicit_reducible]

instance Data.WALS.F141A.instDecidableEqWritingSystems : DecidableEq WritingSystems

Equations

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

def Data.WALS.F141A.instBEqWritingSystems.beq : WritingSystems → WritingSystems → Bool

Equations

• Data.WALS.F141A.instBEqWritingSystems.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F141A.instBEqWritingSystems : BEq WritingSystems

Equations

• Data.WALS.F141A.instBEqWritingSystems = { beq := Data.WALS.F141A.instBEqWritingSystems.beq }

def Data.WALS.F141A.instReprWritingSystems.repr : WritingSystems → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Data.WALS.F141A.instReprWritingSystems : Repr WritingSystems

Equations

• Data.WALS.F141A.instReprWritingSystems = { reprPrec := Data.WALS.F141A.instReprWritingSystems.repr }

def Data.WALS.F141A.allData : List (Datapoint WritingSystems)

Complete WALS 141A dataset (6 languages).

Equations

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

def Data.WALS.F141A.lookup (code : String) : Option (Datapoint WritingSystems)

Look up a language by WALS code.

Equations

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

def Data.WALS.F141A.lookupISO (iso : String) : Option (Datapoint WritingSystems)

Look up a language by ISO 639-3 code.

Equations

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