WALS Feature 143A: Order of Negative Morpheme and Verb

@cite{dryer-2013-wals}

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

Chapter 143, 1325 languages.

inductive Data.WALS.F143A.NegVerbOrder : Type

WALS 143A values.

• negv : NegVerbOrder

  NegV (525 languages).

• vneg : NegVerbOrder

  VNeg (171 languages).

• negV : NegVerbOrder

  [Neg-V] (162 languages).

• vNeg : NegVerbOrder

  [V-Neg] (202 languages).

• negativeTone : NegVerbOrder

  Negative Tone (1 languages).

• type1Type2 : NegVerbOrder

  Type 1 / Type 2 (22 languages).

• type1Type3 : NegVerbOrder

  Type 1 / Type 3 (9 languages).

• type1Type4 : NegVerbOrder

  Type 1 / Type 4 (12 languages).

• type2Type3 : NegVerbOrder

  Type 2 / Type 3 (2 languages).

• type2Type4 : NegVerbOrder

  Type 2 / Type 4 (9 languages).

• type3Type4 : NegVerbOrder

  Type 3 / Type 4 (8 languages).

• type3NegativeInfix : NegVerbOrder

  Type 3 / Negative Infix (1 languages).

• optsingleneg : NegVerbOrder

  OptSingleNeg (1 languages).

• obligdoubleneg : NegVerbOrder

  ObligDoubleNeg (114 languages).

• optdoubleneg : NegVerbOrder

  OptDoubleNeg (80 languages).

• opttriplenegObligdoubleneg : NegVerbOrder

  OptTripleNeg&ObligDoubleNeg (5 languages).

• opttriplenegOptdoubleneg : NegVerbOrder

  OptTripleNeg&OptDoubleNeg (1 languages).

@[implicit_reducible]

instance Data.WALS.F143A.instDecidableEqNegVerbOrder : DecidableEq NegVerbOrder

Equations

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

def Data.WALS.F143A.instBEqNegVerbOrder.beq : NegVerbOrder → NegVerbOrder → Bool

Equations

• Data.WALS.F143A.instBEqNegVerbOrder.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F143A.instBEqNegVerbOrder : BEq NegVerbOrder

Equations

• Data.WALS.F143A.instBEqNegVerbOrder = { beq := Data.WALS.F143A.instBEqNegVerbOrder.beq }

@[implicit_reducible]

instance Data.WALS.F143A.instReprNegVerbOrder : Repr NegVerbOrder

Equations

• Data.WALS.F143A.instReprNegVerbOrder = { reprPrec := Data.WALS.F143A.instReprNegVerbOrder.repr }

def Data.WALS.F143A.instReprNegVerbOrder.repr : NegVerbOrder → Nat → Std.Format

Equations

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

def Data.WALS.F143A.allData : List (Datapoint NegVerbOrder)

Complete WALS 143A dataset (1325 languages).

Equations

• Data.WALS.F143A.allData = Data.WALS.F143A.allData_0✝ ++ Data.WALS.F143A.allData_1✝ ++ Data.WALS.F143A.allData_2✝

def Data.WALS.F143A.lookup (code : String) : Option (Datapoint NegVerbOrder)

Look up a language by WALS code.

Equations

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

def Data.WALS.F143A.lookupISO (iso : String) : Option (Datapoint NegVerbOrder)

Look up a language by ISO 639-3 code.

Equations

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