WALS Feature 38A: Indefinite 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 38A.

Chapter 38, 534 languages.

inductive Data.WALS.F38A.IndefiniteArticleType : Type

WALS 38A values.

• indefiniteWordDistinctFromOne : IndefiniteArticleType

  Indefinite word distinct from 'one' (102 languages).

• indefiniteWordSameAsOne : IndefiniteArticleType

  Indefinite word same as 'one' (112 languages).

• indefiniteAffix : IndefiniteArticleType

  Indefinite affix (24 languages).

• noIndefiniteButDefiniteArticle : IndefiniteArticleType

  No indefinite, but definite article (98 languages).

• noDefiniteOrIndefiniteArticle : IndefiniteArticleType

  No definite or indefinite article (198 languages).

@[implicit_reducible]

instance Data.WALS.F38A.instDecidableEqIndefiniteArticleType : DecidableEq IndefiniteArticleType

Equations

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

def Data.WALS.F38A.instBEqIndefiniteArticleType.beq : IndefiniteArticleType → IndefiniteArticleType → Bool

Equations

• Data.WALS.F38A.instBEqIndefiniteArticleType.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F38A.instBEqIndefiniteArticleType : BEq IndefiniteArticleType

Equations

• Data.WALS.F38A.instBEqIndefiniteArticleType = { beq := Data.WALS.F38A.instBEqIndefiniteArticleType.beq }

@[implicit_reducible]

instance Data.WALS.F38A.instReprIndefiniteArticleType : Repr IndefiniteArticleType

Equations

• Data.WALS.F38A.instReprIndefiniteArticleType = { reprPrec := Data.WALS.F38A.instReprIndefiniteArticleType.repr }

def Data.WALS.F38A.instReprIndefiniteArticleType.repr : IndefiniteArticleType → Nat → Std.Format

Equations

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

def Data.WALS.F38A.allData : List (Datapoint IndefiniteArticleType)

Complete WALS 38A dataset (534 languages).

Equations

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

def Data.WALS.F38A.lookup (code : String) : Option (Datapoint IndefiniteArticleType)

Look up a language by WALS code.

Equations

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

def Data.WALS.F38A.lookupISO (iso : String) : Option (Datapoint IndefiniteArticleType)

Look up a language by ISO 639-3 code.

Equations

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