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

Chapter 144, 31 languages.

inductive Data.WALS.F144O.OptionalDoubleNegationInSovLanguages : Type

WALS 144O values.

• negsov : OptionalDoubleNegationInSovLanguages

  NegSOV(Neg) (1 languages).

• sovneg : OptionalDoubleNegationInSovLanguages

  S(Neg)OVNeg (3 languages).

• snegov : OptionalDoubleNegationInSovLanguages

  SNegOV(Neg) (1 languages).

• snegoV : OptionalDoubleNegationInSovLanguages

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

• soVNeg : OptionalDoubleNegationInSovLanguages

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

• soNegV : OptionalDoubleNegationInSovLanguages

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

• soVNeg_7 : OptionalDoubleNegationInSovLanguages

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

• soVNeg_8 : OptionalDoubleNegationInSovLanguages

  SOV-Neg (2 languages).

• sovnegSoNegVNeg : OptionalDoubleNegationInSovLanguages

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

• snegoV_10 : OptionalDoubleNegationInSovLanguages

  SNegOV(-Neg) (1 languages).

• sovButSNegVNegOSoVNeg : OptionalDoubleNegationInSovLanguages

  SOV but S[Neg-V-Neg]O/SO[V-Neg] (1 languages).

• soNegVSovneg : OptionalDoubleNegationInSovLanguages

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

• sovnegSovnegSovneg : OptionalDoubleNegationInSovLanguages

  (Neg)SOVNeg/S(Neg)OVNeg/SO(Neg)VNeg (3 languages).

• soVSoV : OptionalDoubleNegationInSovLanguages

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

• sovVNeg : OptionalDoubleNegationInSovLanguages

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

• sovV : OptionalDoubleNegationInSovLanguages

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

• sovSvoNegV : OptionalDoubleNegationInSovLanguages

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

• svOvV : OptionalDoubleNegationInSovLanguages

  SV & OV & (Neg)V(Neg) (1 languages).

• svOvVNeg : OptionalDoubleNegationInSovLanguages

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

• svOvNegV : OptionalDoubleNegationInSovLanguages

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

• svOvVNeg_21 : OptionalDoubleNegationInSovLanguages

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

@[implicit_reducible]

instance Data.WALS.F144O.instDecidableEqOptionalDoubleNegationInSovLanguages : DecidableEq OptionalDoubleNegationInSovLanguages

Equations

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

def Data.WALS.F144O.instBEqOptionalDoubleNegationInSovLanguages.beq : OptionalDoubleNegationInSovLanguages → OptionalDoubleNegationInSovLanguages → Bool

Equations

• Data.WALS.F144O.instBEqOptionalDoubleNegationInSovLanguages.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F144O.instBEqOptionalDoubleNegationInSovLanguages : BEq OptionalDoubleNegationInSovLanguages

Equations

• Data.WALS.F144O.instBEqOptionalDoubleNegationInSovLanguages = { beq := Data.WALS.F144O.instBEqOptionalDoubleNegationInSovLanguages.beq }

@[implicit_reducible]

instance Data.WALS.F144O.instReprOptionalDoubleNegationInSovLanguages : Repr OptionalDoubleNegationInSovLanguages

Equations

• Data.WALS.F144O.instReprOptionalDoubleNegationInSovLanguages = { reprPrec := Data.WALS.F144O.instReprOptionalDoubleNegationInSovLanguages.repr }

def Data.WALS.F144O.instReprOptionalDoubleNegationInSovLanguages.repr : OptionalDoubleNegationInSovLanguages → Nat → Std.Format

Equations

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

def Data.WALS.F144O.allData : List (Datapoint OptionalDoubleNegationInSovLanguages)

Complete WALS 144O dataset (31 languages).

Equations

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

def Data.WALS.F144O.lookup (code : String) : Option (Datapoint OptionalDoubleNegationInSovLanguages)

Look up a language by WALS code.

Equations

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

def Data.WALS.F144O.lookupISO (iso : String) : Option (Datapoint OptionalDoubleNegationInSovLanguages)

Look up a language by ISO 639-3 code.

Equations

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