WALS Feature 43A: Third Person Pronouns and Demonstratives

@cite{wals-2013}

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

Chapter 43, 225 languages.

inductive Data.WALS.F43A.ThirdPersonPronounsAndDemonstratives : Type

WALS 43A values.

• unrelated : ThirdPersonPronounsAndDemonstratives

  Unrelated (100 languages).

• relatedForAllDemonstratives : ThirdPersonPronounsAndDemonstratives

  Related for all demonstratives (52 languages).

• relatedToRemoteDemonstratives : ThirdPersonPronounsAndDemonstratives

  Related to remote demonstratives (18 languages).

• relatedToNonRemoteDemonstratives : ThirdPersonPronounsAndDemonstratives

  Related to non-remote demonstratives (14 languages).

• relatedByGenderMarkers : ThirdPersonPronounsAndDemonstratives

  Related by gender markers (24 languages).

• relatedForNonHumanReference : ThirdPersonPronounsAndDemonstratives

  Related for non-human reference (17 languages).

@[implicit_reducible]

instance Data.WALS.F43A.instDecidableEqThirdPersonPronounsAndDemonstratives : DecidableEq ThirdPersonPronounsAndDemonstratives

Equations

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

def Data.WALS.F43A.instBEqThirdPersonPronounsAndDemonstratives.beq : ThirdPersonPronounsAndDemonstratives → ThirdPersonPronounsAndDemonstratives → Bool

Equations

• Data.WALS.F43A.instBEqThirdPersonPronounsAndDemonstratives.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F43A.instBEqThirdPersonPronounsAndDemonstratives : BEq ThirdPersonPronounsAndDemonstratives

Equations

• Data.WALS.F43A.instBEqThirdPersonPronounsAndDemonstratives = { beq := Data.WALS.F43A.instBEqThirdPersonPronounsAndDemonstratives.beq }

def Data.WALS.F43A.instReprThirdPersonPronounsAndDemonstratives.repr : ThirdPersonPronounsAndDemonstratives → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Data.WALS.F43A.instReprThirdPersonPronounsAndDemonstratives : Repr ThirdPersonPronounsAndDemonstratives

Equations

• Data.WALS.F43A.instReprThirdPersonPronounsAndDemonstratives = { reprPrec := Data.WALS.F43A.instReprThirdPersonPronounsAndDemonstratives.repr }

def Data.WALS.F43A.allData : List (Datapoint ThirdPersonPronounsAndDemonstratives)

Complete WALS 43A dataset (225 languages).

Equations

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

def Data.WALS.F43A.lookup (code : String) : Option (Datapoint ThirdPersonPronounsAndDemonstratives)

Look up a language by WALS code.

Equations

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

def Data.WALS.F43A.lookupISO (iso : String) : Option (Datapoint ThirdPersonPronounsAndDemonstratives)

Look up a language by ISO 639-3 code.

Equations

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