WALS Feature 144N: Obligatory Double Negation in SOV languages

@cite{wals-2013}

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

Chapter 144, 45 languages.

inductive Data.WALS.F144N.ObligatoryDoubleNegationInSovLanguages : Type

WALS 144N values.

• sonegvneg : ObligatoryDoubleNegationInSovLanguages

  SONegVNeg (1 languages).

• svoButNegsnegov : ObligatoryDoubleNegationInSovLanguages

  SVO but NegSNegOV (1 languages).

• negsoVNeg : ObligatoryDoubleNegationInSovLanguages

  NegSO[V-Neg] (4 languages).

• sonegVNeg : ObligatoryDoubleNegationInSovLanguages

  SONeg[V-Neg] (2 languages).

• soNegVNeg : ObligatoryDoubleNegationInSovLanguages

  SO[Neg-V]Neg (1 languages).

• soNegVNeg_6 : ObligatoryDoubleNegationInSovLanguages

  SO[Neg-V-Neg] (13 languages).

• soNegVWithNegativeToneOnVerbSoNegVNegtone : ObligatoryDoubleNegationInSovLanguages

  SO[Neg-V] with negative tone on verb SO[Neg-V]&NegTone (1 languages).

• sonegvnegSonegVNeg : ObligatoryDoubleNegationInSovLanguages

  SONegVNeg/SONeg[V-Neg] (1 languages).

• svoButSonegVNegSoNegVNeg : ObligatoryDoubleNegationInSovLanguages

  SVO but SONeg[V-Neg]/SO[Neg-V-Neg] (1 languages).

• snegoVNegSonegVNeg : ObligatoryDoubleNegationInSovLanguages

  SNegO[V-Neg]/SONeg[V-Neg] (2 languages).

• soVNegNegOptnegprefInfix : ObligatoryDoubleNegationInSovLanguages

  SO[V-Neg]Neg & OptNegPref/Infix (1 languages).

• snegovnegSnegvoneg : ObligatoryDoubleNegationInSovLanguages

  SNegOVNeg/SNegVONeg (1 languages).

• snegovnegSvonegNegtone : ObligatoryDoubleNegationInSovLanguages

  SNegOVNeg/SVONeg&NegTone (1 languages).

• sovNegvneg : ObligatoryDoubleNegationInSovLanguages

  SOV & NegVNeg (3 languages).

• sovNegVNeg : ObligatoryDoubleNegationInSovLanguages

  SOV & Neg[V-Neg] (7 languages).

• sovNegNegV : ObligatoryDoubleNegationInSovLanguages

  SOV & Neg[Neg-V] (1 languages).

• svOvNegVNeg : ObligatoryDoubleNegationInSovLanguages

  SV & OV & Neg[V-Neg] (2 languages).

• svOvNegVNeg_18 : ObligatoryDoubleNegationInSovLanguages

  SV & OV & [Neg-V-Neg] (2 languages).

@[implicit_reducible]

instance Data.WALS.F144N.instDecidableEqObligatoryDoubleNegationInSovLanguages : DecidableEq ObligatoryDoubleNegationInSovLanguages

Equations

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

@[implicit_reducible]

instance Data.WALS.F144N.instBEqObligatoryDoubleNegationInSovLanguages : BEq ObligatoryDoubleNegationInSovLanguages

Equations

• Data.WALS.F144N.instBEqObligatoryDoubleNegationInSovLanguages = { beq := Data.WALS.F144N.instBEqObligatoryDoubleNegationInSovLanguages.beq }

def Data.WALS.F144N.instBEqObligatoryDoubleNegationInSovLanguages.beq : ObligatoryDoubleNegationInSovLanguages → ObligatoryDoubleNegationInSovLanguages → Bool

Equations

• Data.WALS.F144N.instBEqObligatoryDoubleNegationInSovLanguages.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

def Data.WALS.F144N.instReprObligatoryDoubleNegationInSovLanguages.repr : ObligatoryDoubleNegationInSovLanguages → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Data.WALS.F144N.instReprObligatoryDoubleNegationInSovLanguages : Repr ObligatoryDoubleNegationInSovLanguages

Equations

• Data.WALS.F144N.instReprObligatoryDoubleNegationInSovLanguages = { reprPrec := Data.WALS.F144N.instReprObligatoryDoubleNegationInSovLanguages.repr }

def Data.WALS.F144N.allData : List (Datapoint ObligatoryDoubleNegationInSovLanguages)

Complete WALS 144N dataset (45 languages).

Equations

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

def Data.WALS.F144N.lookup (code : String) : Option (Datapoint ObligatoryDoubleNegationInSovLanguages)

Look up a language by WALS code.

Equations

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

def Data.WALS.F144N.lookupISO (iso : String) : Option (Datapoint ObligatoryDoubleNegationInSovLanguages)

Look up a language by ISO 639-3 code.

Equations

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