WALS Feature 124A: 'Want' Complement Subjects

@cite{cristofaro-2013}

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

Chapter 124, 283 languages.

inductive Data.WALS.F124A.WantComplementSubject : Type

WALS 124A values.

• subjectIsLeftImplicit : WantComplementSubject

  Subject is left implicit (144 languages).

• subjectIsExpressedOvertly : WantComplementSubject

  Subject is expressed overtly (72 languages).

• bothConstructionTypesExist : WantComplementSubject

  Both construction types exist (14 languages).

• desiderativeVerbalAffix : WantComplementSubject

  Desiderative verbal affix (45 languages).

• desiderativeParticle : WantComplementSubject

  Desiderative particle (8 languages).

@[implicit_reducible]

instance Data.WALS.F124A.instDecidableEqWantComplementSubject : DecidableEq WantComplementSubject

Equations

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

@[implicit_reducible]

instance Data.WALS.F124A.instBEqWantComplementSubject : BEq WantComplementSubject

Equations

• Data.WALS.F124A.instBEqWantComplementSubject = { beq := Data.WALS.F124A.instBEqWantComplementSubject.beq }

def Data.WALS.F124A.instBEqWantComplementSubject.beq : WantComplementSubject → WantComplementSubject → Bool

Equations

• Data.WALS.F124A.instBEqWantComplementSubject.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F124A.instReprWantComplementSubject : Repr WantComplementSubject

Equations

• Data.WALS.F124A.instReprWantComplementSubject = { reprPrec := Data.WALS.F124A.instReprWantComplementSubject.repr }

def Data.WALS.F124A.instReprWantComplementSubject.repr : WantComplementSubject → Nat → Std.Format

Equations

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

def Data.WALS.F124A.allData : List (Datapoint WantComplementSubject)

Complete WALS 124A dataset (283 languages).

Equations

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

def Data.WALS.F124A.lookup (code : String) : Option (Datapoint WantComplementSubject)

Look up a language by WALS code.

Equations

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

def Data.WALS.F124A.lookupISO (iso : String) : Option (Datapoint WantComplementSubject)

Look up a language by ISO 639-3 code.

Equations

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