WALS Feature 58B: Number of Possessive Nouns

@cite{wals-2013}

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

Chapter 58, 243 languages.

inductive Data.WALS.F58B.NumberOfPossessiveNouns : Type

WALS 58B values.

• noneReported : NumberOfPossessiveNouns

  None reported (233 languages).

• one : NumberOfPossessiveNouns

  One (3 languages).

• twoToFour : NumberOfPossessiveNouns

  Two to four (4 languages).

• fiveOrMore : NumberOfPossessiveNouns

  Five or more (3 languages).

@[implicit_reducible]

instance Data.WALS.F58B.instDecidableEqNumberOfPossessiveNouns : DecidableEq NumberOfPossessiveNouns

Equations

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

@[implicit_reducible]

instance Data.WALS.F58B.instBEqNumberOfPossessiveNouns : BEq NumberOfPossessiveNouns

Equations

• Data.WALS.F58B.instBEqNumberOfPossessiveNouns = { beq := Data.WALS.F58B.instBEqNumberOfPossessiveNouns.beq }

def Data.WALS.F58B.instBEqNumberOfPossessiveNouns.beq : NumberOfPossessiveNouns → NumberOfPossessiveNouns → Bool

Equations

• Data.WALS.F58B.instBEqNumberOfPossessiveNouns.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F58B.instReprNumberOfPossessiveNouns : Repr NumberOfPossessiveNouns

Equations

• Data.WALS.F58B.instReprNumberOfPossessiveNouns = { reprPrec := Data.WALS.F58B.instReprNumberOfPossessiveNouns.repr }

def Data.WALS.F58B.instReprNumberOfPossessiveNouns.repr : NumberOfPossessiveNouns → Nat → Std.Format

Equations

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

def Data.WALS.F58B.allData : List (Datapoint NumberOfPossessiveNouns)

Complete WALS 58B dataset (243 languages).

Equations

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

def Data.WALS.F58B.lookup (code : String) : Option (Datapoint NumberOfPossessiveNouns)

Look up a language by WALS code.

Equations

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

def Data.WALS.F58B.lookupISO (iso : String) : Option (Datapoint NumberOfPossessiveNouns)

Look up a language by ISO 639-3 code.

Equations

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