WALS Feature 34A: Occurrence of Nominal Plurality

@cite{haspelmath-2013b}

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

Chapter 34, 291 languages.

inductive Data.WALS.F34A.PluralityOccurrence : Type

WALS 34A values.

• noNominalPlural : PluralityOccurrence

  No nominal plural (28 languages).

• onlyHumanNounsOptional : PluralityOccurrence

  Only human nouns, optional (20 languages).

• onlyHumanNounsObligatory : PluralityOccurrence

  Only human nouns, obligatory (40 languages).

• allNounsAlwaysOptional : PluralityOccurrence

  All nouns, always optional (55 languages).

• allNounsOptionalInInanimates : PluralityOccurrence

  All nouns, optional in inanimates (15 languages).

• allNounsAlwaysObligatory : PluralityOccurrence

  All nouns, always obligatory (133 languages).

@[implicit_reducible]

instance Data.WALS.F34A.instDecidableEqPluralityOccurrence : DecidableEq PluralityOccurrence

Equations

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

@[implicit_reducible]

instance Data.WALS.F34A.instBEqPluralityOccurrence : BEq PluralityOccurrence

Equations

• Data.WALS.F34A.instBEqPluralityOccurrence = { beq := Data.WALS.F34A.instBEqPluralityOccurrence.beq }

def Data.WALS.F34A.instBEqPluralityOccurrence.beq : PluralityOccurrence → PluralityOccurrence → Bool

Equations

• Data.WALS.F34A.instBEqPluralityOccurrence.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

def Data.WALS.F34A.instReprPluralityOccurrence.repr : PluralityOccurrence → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Data.WALS.F34A.instReprPluralityOccurrence : Repr PluralityOccurrence

Equations

• Data.WALS.F34A.instReprPluralityOccurrence = { reprPrec := Data.WALS.F34A.instReprPluralityOccurrence.repr }

def Data.WALS.F34A.allData : List (Datapoint PluralityOccurrence)

Complete WALS 34A dataset (291 languages).

Equations

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

def Data.WALS.F34A.lookup (code : String) : Option (Datapoint PluralityOccurrence)

Look up a language by WALS code.

Equations

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

def Data.WALS.F34A.lookupISO (iso : String) : Option (Datapoint PluralityOccurrence)

Look up a language by ISO 639-3 code.

Equations

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