WALS Feature 37A: Definite Articles

@cite{dryer-2013-wals}

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

Chapter 37, 620 languages.

inductive Data.WALS.F37A.DefiniteArticleType : Type

WALS 37A values.

• definiteWordDistinctFromDemonstrative : DefiniteArticleType

  Definite word distinct from demonstrative (216 languages).

• demonstrativeWordUsedAsDefiniteArticle : DefiniteArticleType

  Demonstrative word used as definite article (69 languages).

• definiteAffix : DefiniteArticleType

  Definite affix (92 languages).

• noDefiniteButIndefiniteArticle : DefiniteArticleType

  No definite, but indefinite article (45 languages).

• noDefiniteOrIndefiniteArticle : DefiniteArticleType

  No definite or indefinite article (198 languages).

@[implicit_reducible]

instance Data.WALS.F37A.instDecidableEqDefiniteArticleType : DecidableEq DefiniteArticleType

Equations

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

@[implicit_reducible]

instance Data.WALS.F37A.instBEqDefiniteArticleType : BEq DefiniteArticleType

Equations

• Data.WALS.F37A.instBEqDefiniteArticleType = { beq := Data.WALS.F37A.instBEqDefiniteArticleType.beq }

def Data.WALS.F37A.instBEqDefiniteArticleType.beq : DefiniteArticleType → DefiniteArticleType → Bool

Equations

• Data.WALS.F37A.instBEqDefiniteArticleType.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F37A.instReprDefiniteArticleType : Repr DefiniteArticleType

Equations

• Data.WALS.F37A.instReprDefiniteArticleType = { reprPrec := Data.WALS.F37A.instReprDefiniteArticleType.repr }

def Data.WALS.F37A.instReprDefiniteArticleType.repr : DefiniteArticleType → Nat → Std.Format

Equations

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

def Data.WALS.F37A.allData : List (Datapoint DefiniteArticleType)

Complete WALS 37A dataset (620 languages).

Equations

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

def Data.WALS.F37A.lookup (code : String) : Option (Datapoint DefiniteArticleType)

Look up a language by WALS code.

Equations

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

def Data.WALS.F37A.lookupISO (iso : String) : Option (Datapoint DefiniteArticleType)

Look up a language by ISO 639-3 code.

Equations

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