WALS Feature 144G: Optional 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 144G.

Chapter 144, 35 languages.

inductive Data.WALS.F144G.OptionalDoubleNegationInSvoLanguages : Type

WALS 144G values.

• snegvo : OptionalDoubleNegationInSvoLanguages

  SNegVO(Neg) (6 languages).

• svoneg : OptionalDoubleNegationInSvoLanguages

  S(Neg)VONeg (8 languages).

• svnego : OptionalDoubleNegationInSvoLanguages

  S(Neg)VNegO (3 languages).

• snegvo_4 : OptionalDoubleNegationInSvoLanguages

  SNegV(Neg)O (1 languages).

• svoneg_5 : OptionalDoubleNegationInSvoLanguages

  (Neg)SVONeg (2 languages).

• svnego_6 : OptionalDoubleNegationInSvoLanguages

  SVNegO(Neg) (1 languages).

• negsVO : OptionalDoubleNegationInSvoLanguages

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

• sVNego : OptionalDoubleNegationInSvoLanguages

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

• sNegVO : OptionalDoubleNegationInSvoLanguages

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

• snegvoSvnegoNegtone : OptionalDoubleNegationInSvoLanguages

  SNegVO/SVNegO&NegTone (1 languages).

• sVO : OptionalDoubleNegationInSvoLanguages

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

• sNegVO_12 : OptionalDoubleNegationInSvoLanguages

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

• svonegSvoneg : OptionalDoubleNegationInSvoLanguages

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

• sNegVONegsvnego : OptionalDoubleNegationInSvoLanguages

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

• snegVNegOSNegVNegO : OptionalDoubleNegationInSvoLanguages

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

• sVONegv : OptionalDoubleNegationInSvoLanguages

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

• svoSovVNeg : OptionalDoubleNegationInSvoLanguages

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

• svoVsoNegvVnegNegvneg : OptionalDoubleNegationInSvoLanguages

  SVO/VSO & NegV/VNeg/NegVNeg (1 languages).

@[implicit_reducible]

instance Data.WALS.F144G.instDecidableEqOptionalDoubleNegationInSvoLanguages : DecidableEq OptionalDoubleNegationInSvoLanguages

Equations

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

def Data.WALS.F144G.instBEqOptionalDoubleNegationInSvoLanguages.beq : OptionalDoubleNegationInSvoLanguages → OptionalDoubleNegationInSvoLanguages → Bool

Equations

• Data.WALS.F144G.instBEqOptionalDoubleNegationInSvoLanguages.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F144G.instBEqOptionalDoubleNegationInSvoLanguages : BEq OptionalDoubleNegationInSvoLanguages

Equations

• Data.WALS.F144G.instBEqOptionalDoubleNegationInSvoLanguages = { beq := Data.WALS.F144G.instBEqOptionalDoubleNegationInSvoLanguages.beq }

@[implicit_reducible]

instance Data.WALS.F144G.instReprOptionalDoubleNegationInSvoLanguages : Repr OptionalDoubleNegationInSvoLanguages

Equations

• Data.WALS.F144G.instReprOptionalDoubleNegationInSvoLanguages = { reprPrec := Data.WALS.F144G.instReprOptionalDoubleNegationInSvoLanguages.repr }

def Data.WALS.F144G.instReprOptionalDoubleNegationInSvoLanguages.repr : OptionalDoubleNegationInSvoLanguages → Nat → Std.Format

Equations

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

def Data.WALS.F144G.allData : List (Datapoint OptionalDoubleNegationInSvoLanguages)

Complete WALS 144G dataset (35 languages).

Equations

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

def Data.WALS.F144G.lookup (code : String) : Option (Datapoint OptionalDoubleNegationInSvoLanguages)

Look up a language by WALS code.

Equations

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

def Data.WALS.F144G.lookupISO (iso : String) : Option (Datapoint OptionalDoubleNegationInSvoLanguages)

Look up a language by ISO 639-3 code.

Equations

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