WALS Feature 45A: Politeness Distinctions in Pronouns

@cite{wals-2013}

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

Chapter 45, 207 languages.

inductive Data.WALS.F45A.PolitenessDistinctionsInPronouns : Type

WALS 45A values.

• noPolitenessDistinction : PolitenessDistinctionsInPronouns

  No politeness distinction (136 languages).

• binaryPolitenessDistinction : PolitenessDistinctionsInPronouns

  Binary politeness distinction (49 languages).

• multiplePolitenessDistinctions : PolitenessDistinctionsInPronouns

  Multiple politeness distinctions (15 languages).

• pronounsAvoidedForPoliteness : PolitenessDistinctionsInPronouns

  Pronouns avoided for politeness (7 languages).

@[implicit_reducible]

instance Data.WALS.F45A.instDecidableEqPolitenessDistinctionsInPronouns : DecidableEq PolitenessDistinctionsInPronouns

Equations

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

def Data.WALS.F45A.instBEqPolitenessDistinctionsInPronouns.beq : PolitenessDistinctionsInPronouns → PolitenessDistinctionsInPronouns → Bool

Equations

• Data.WALS.F45A.instBEqPolitenessDistinctionsInPronouns.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F45A.instBEqPolitenessDistinctionsInPronouns : BEq PolitenessDistinctionsInPronouns

Equations

• Data.WALS.F45A.instBEqPolitenessDistinctionsInPronouns = { beq := Data.WALS.F45A.instBEqPolitenessDistinctionsInPronouns.beq }

@[implicit_reducible]

instance Data.WALS.F45A.instReprPolitenessDistinctionsInPronouns : Repr PolitenessDistinctionsInPronouns

Equations

• Data.WALS.F45A.instReprPolitenessDistinctionsInPronouns = { reprPrec := Data.WALS.F45A.instReprPolitenessDistinctionsInPronouns.repr }

def Data.WALS.F45A.instReprPolitenessDistinctionsInPronouns.repr : PolitenessDistinctionsInPronouns → Nat → Std.Format

Equations

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

def Data.WALS.F45A.allData : List (Datapoint PolitenessDistinctionsInPronouns)

Complete WALS 45A dataset (207 languages).

Equations

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

def Data.WALS.F45A.lookup (code : String) : Option (Datapoint PolitenessDistinctionsInPronouns)

Look up a language by WALS code.

Equations

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

def Data.WALS.F45A.lookupISO (iso : String) : Option (Datapoint PolitenessDistinctionsInPronouns)

Look up a language by ISO 639-3 code.

Equations

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