WALS Feature 44A: Gender Distinctions in Independent Personal Pronouns

@cite{wals-2013}

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

Chapter 44, 378 languages.

inductive Data.WALS.F44A.GenderDistinctionsInIndependentPersonalPronouns : Type

WALS 44A values.

• in3rdPerson1stAndOr2ndPerson : GenderDistinctionsInIndependentPersonalPronouns

  In 3rd person + 1st and/or 2nd person (18 languages).

• v3rdPersonOnlyButAlsoNonSingular : GenderDistinctionsInIndependentPersonalPronouns

  3rd person only, but also non-singular (42 languages).

• v3rdPersonSingularOnly : GenderDistinctionsInIndependentPersonalPronouns

  3rd person singular only (61 languages).

• v1stOr2ndPersonButNot3rd : GenderDistinctionsInIndependentPersonalPronouns

  1st or 2nd person but not 3rd (2 languages).

• v3rdPersonNonSingularOnly : GenderDistinctionsInIndependentPersonalPronouns

  3rd person non-singular only (1 languages).

• noGenderDistinctions : GenderDistinctionsInIndependentPersonalPronouns

  No gender distinctions (254 languages).

@[implicit_reducible]

instance Data.WALS.F44A.instDecidableEqGenderDistinctionsInIndependentPersonalPronouns : DecidableEq GenderDistinctionsInIndependentPersonalPronouns

Equations

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

def Data.WALS.F44A.instBEqGenderDistinctionsInIndependentPersonalPronouns.beq : GenderDistinctionsInIndependentPersonalPronouns → GenderDistinctionsInIndependentPersonalPronouns → Bool

Equations

• Data.WALS.F44A.instBEqGenderDistinctionsInIndependentPersonalPronouns.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F44A.instBEqGenderDistinctionsInIndependentPersonalPronouns : BEq GenderDistinctionsInIndependentPersonalPronouns

Equations

• Data.WALS.F44A.instBEqGenderDistinctionsInIndependentPersonalPronouns = { beq := Data.WALS.F44A.instBEqGenderDistinctionsInIndependentPersonalPronouns.beq }

@[implicit_reducible]

instance Data.WALS.F44A.instReprGenderDistinctionsInIndependentPersonalPronouns : Repr GenderDistinctionsInIndependentPersonalPronouns

Equations

• Data.WALS.F44A.instReprGenderDistinctionsInIndependentPersonalPronouns = { reprPrec := Data.WALS.F44A.instReprGenderDistinctionsInIndependentPersonalPronouns.repr }

def Data.WALS.F44A.instReprGenderDistinctionsInIndependentPersonalPronouns.repr : GenderDistinctionsInIndependentPersonalPronouns → Nat → Std.Format

Equations

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

def Data.WALS.F44A.allData : List (Datapoint GenderDistinctionsInIndependentPersonalPronouns)

Complete WALS 44A dataset (378 languages).

Equations

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

def Data.WALS.F44A.lookup (code : String) : Option (Datapoint GenderDistinctionsInIndependentPersonalPronouns)

Look up a language by WALS code.

Equations

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

def Data.WALS.F44A.lookupISO (iso : String) : Option (Datapoint GenderDistinctionsInIndependentPersonalPronouns)

Look up a language by ISO 639-3 code.

Equations

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