WALS Feature 144F: Obligatory Double Negation in SVO languages

@cite{wals-2013}

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

Chapter 144, 56 languages.

inductive Data.WALS.F144F.ObligatoryDoubleNegationInSvoLanguages : Type

WALS 144F values.

• snegvoneg : ObligatoryDoubleNegationInSvoLanguages

  SNegVONeg (11 languages).

• snegvnego : ObligatoryDoubleNegationInSvoLanguages

  SNegVNegO (6 languages).

• svnegoneg : ObligatoryDoubleNegationInSvoLanguages

  SVNegONeg (1 languages).

• svoVsoButNegsvoneg : ObligatoryDoubleNegationInSvoLanguages

  SVO/VSO but NegSVONeg (1 languages).

• sNegVOneg : ObligatoryDoubleNegationInSvoLanguages

  S[Neg-V]ONeg (7 languages).

• snegVNegO : ObligatoryDoubleNegationInSvoLanguages

  SNeg[V-Neg]O (4 languages).

• sNegVNego : ObligatoryDoubleNegationInSvoLanguages

  S[Neg-V]NegO (1 languages).

• negsVNegO : ObligatoryDoubleNegationInSvoLanguages

  NegS[V-Neg]O (2 languages).

• sNegVNegO : ObligatoryDoubleNegationInSvoLanguages

  S[Neg-V-Neg]O (5 languages).

• svnegoNegtone : ObligatoryDoubleNegationInSvoLanguages

  SVNegO&NegTone (1 languages).

• sNegVONegtone : ObligatoryDoubleNegationInSvoLanguages

  S[Neg-V]O&NegTone (1 languages).

• snegnegvoSnegvnego : ObligatoryDoubleNegationInSvoLanguages

  SNegNegVO/SNegVNegO (1 languages).

• snegvnegoSnegvoneg : ObligatoryDoubleNegationInSvoLanguages

  SNegVNegO/SNegVONeg (1 languages).

• snegvonegSNegVOneg : ObligatoryDoubleNegationInSvoLanguages

  SNegVONeg/S[Neg-V]ONeg (1 languages).

• svoneg : ObligatoryDoubleNegationInSvoLanguages

  (Neg)S(Neg)VONeg (1 languages).

• snegVNegONegtoneSnegvnego : ObligatoryDoubleNegationInSvoLanguages

  SNeg[V-Neg]O&NegTone/SNegVNegO (1 languages).

• sNegVNegO_17 : ObligatoryDoubleNegationInSvoLanguages

  S(Neg)[Neg-V-Neg]O (1 languages).

• snegVOnegSNegVOneg : ObligatoryDoubleNegationInSvoLanguages

  SNeg[V(-Neg)]ONeg/S[Neg-V(-Neg)]ONeg (1 languages).

• snegvonegSnegovneg : ObligatoryDoubleNegationInSvoLanguages

  SNegVONeg/SNegOVNeg (1 languages).

• svonegNegtoneSnegovneg : ObligatoryDoubleNegationInSvoLanguages

  SVONeg&NegTone/SNegOVNeg (1 languages).

• snegvonegSvnegonegNegvosnegVnegosneg : ObligatoryDoubleNegationInSvoLanguages

  SNegVONeg/SVNegONeg/NegVOSNeg/VNegOSNeg (1 languages).

• svoNegvneg : ObligatoryDoubleNegationInSvoLanguages

  SVO & NegVNeg (5 languages).

• sNegVONegv : ObligatoryDoubleNegationInSvoLanguages

  S[Neg-V]O & NegV (1 languages).

@[implicit_reducible]

instance Data.WALS.F144F.instDecidableEqObligatoryDoubleNegationInSvoLanguages : DecidableEq ObligatoryDoubleNegationInSvoLanguages

Equations

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

def Data.WALS.F144F.instBEqObligatoryDoubleNegationInSvoLanguages.beq : ObligatoryDoubleNegationInSvoLanguages → ObligatoryDoubleNegationInSvoLanguages → Bool

Equations

• Data.WALS.F144F.instBEqObligatoryDoubleNegationInSvoLanguages.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F144F.instBEqObligatoryDoubleNegationInSvoLanguages : BEq ObligatoryDoubleNegationInSvoLanguages

Equations

• Data.WALS.F144F.instBEqObligatoryDoubleNegationInSvoLanguages = { beq := Data.WALS.F144F.instBEqObligatoryDoubleNegationInSvoLanguages.beq }

def Data.WALS.F144F.instReprObligatoryDoubleNegationInSvoLanguages.repr : ObligatoryDoubleNegationInSvoLanguages → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Data.WALS.F144F.instReprObligatoryDoubleNegationInSvoLanguages : Repr ObligatoryDoubleNegationInSvoLanguages

Equations

• Data.WALS.F144F.instReprObligatoryDoubleNegationInSvoLanguages = { reprPrec := Data.WALS.F144F.instReprObligatoryDoubleNegationInSvoLanguages.repr }

def Data.WALS.F144F.allData : List (Datapoint ObligatoryDoubleNegationInSvoLanguages)

Complete WALS 144F dataset (56 languages).

Equations

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

def Data.WALS.F144F.lookup (code : String) : Option (Datapoint ObligatoryDoubleNegationInSvoLanguages)

Look up a language by WALS code.

Equations

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

def Data.WALS.F144F.lookupISO (iso : String) : Option (Datapoint ObligatoryDoubleNegationInSvoLanguages)

Look up a language by ISO 639-3 code.

Equations

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