WALS Feature 101A: Expression of Pronominal Subjects

@cite{wals-2013}

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

Chapter 101, 711 languages.

inductive Data.WALS.F101A.ExpressionOfPronominalSubjects : Type

WALS 101A values.

• obligatoryPronounsInSubjectPosition : ExpressionOfPronominalSubjects

  Obligatory pronouns in subject position (82 languages).

• subjectAffixesOnVerb : ExpressionOfPronominalSubjects

  Subject affixes on verb (437 languages).

• subjectCliticsOnVariableHost : ExpressionOfPronominalSubjects

  Subject clitics on variable host (32 languages).

• subjectPronounsInDifferentPosition : ExpressionOfPronominalSubjects

  Subject pronouns in different position (67 languages).

• optionalPronounsInSubjectPosition : ExpressionOfPronominalSubjects

  Optional pronouns in subject position (61 languages).

• mixed : ExpressionOfPronominalSubjects

  Mixed (32 languages).

@[implicit_reducible]

instance Data.WALS.F101A.instDecidableEqExpressionOfPronominalSubjects : DecidableEq ExpressionOfPronominalSubjects

Equations

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

def Data.WALS.F101A.instBEqExpressionOfPronominalSubjects.beq : ExpressionOfPronominalSubjects → ExpressionOfPronominalSubjects → Bool

Equations

• Data.WALS.F101A.instBEqExpressionOfPronominalSubjects.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F101A.instBEqExpressionOfPronominalSubjects : BEq ExpressionOfPronominalSubjects

Equations

• Data.WALS.F101A.instBEqExpressionOfPronominalSubjects = { beq := Data.WALS.F101A.instBEqExpressionOfPronominalSubjects.beq }

@[implicit_reducible]

instance Data.WALS.F101A.instReprExpressionOfPronominalSubjects : Repr ExpressionOfPronominalSubjects

Equations

• Data.WALS.F101A.instReprExpressionOfPronominalSubjects = { reprPrec := Data.WALS.F101A.instReprExpressionOfPronominalSubjects.repr }

def Data.WALS.F101A.instReprExpressionOfPronominalSubjects.repr : ExpressionOfPronominalSubjects → Nat → Std.Format

Equations

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

def Data.WALS.F101A.allData : List (Datapoint ExpressionOfPronominalSubjects)

Complete WALS 101A dataset (711 languages).

Equations

• Data.WALS.F101A.allData = Data.WALS.F101A.allData_0✝ ++ Data.WALS.F101A.allData_1✝

def Data.WALS.F101A.lookup (code : String) : Option (Datapoint ExpressionOfPronominalSubjects)

Look up a language by WALS code.

Equations

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

def Data.WALS.F101A.lookupISO (iso : String) : Option (Datapoint ExpressionOfPronominalSubjects)

Look up a language by ISO 639-3 code.

Equations

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