WALS Feature 144C: Languages with different word order in negative clauses

@cite{wals-2013}

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

Chapter 144, 28 languages.

inductive Data.WALS.F144C.LanguagesWithDifferentWordOrderInNegativeClauses : Type

WALS 144C values.

• vsoButNegsvo : LanguagesWithDifferentWordOrderInNegativeClauses

  VSO, but NegSVO (6 languages).

• svoButSnegov : LanguagesWithDifferentWordOrderInNegativeClauses

  SVO, but SNegOV (3 languages).

• svoButSonegv : LanguagesWithDifferentWordOrderInNegativeClauses

  SVO, but SONegV (1 languages).

• svoButSovneg : LanguagesWithDifferentWordOrderInNegativeClauses

  SVO, but SOVNeg (1 languages).

• svoButNegvso : LanguagesWithDifferentWordOrderInNegativeClauses

  SVO, but NegVSO (1 languages).

• svoButSoVNeg : LanguagesWithDifferentWordOrderInNegativeClauses

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

• svoButSoNegV : LanguagesWithDifferentWordOrderInNegativeClauses

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

• osvButNegsvoONegVS : LanguagesWithDifferentWordOrderInNegativeClauses

  OSV but NegSVO/O[Neg-V]S (1 languages).

• svoButNegsnegov : LanguagesWithDifferentWordOrderInNegativeClauses

  SVO, but NegSNegOV (1 languages).

• svoButSonegVNegSoNegVNeg : LanguagesWithDifferentWordOrderInNegativeClauses

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

• sovButSonegVNegSNegVNegO : LanguagesWithDifferentWordOrderInNegativeClauses

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

• svoVsoButNegsvoneg : LanguagesWithDifferentWordOrderInNegativeClauses

  SVO/VSO, but NegSVONeg (1 languages).

• svoVsoButNegVSo : LanguagesWithDifferentWordOrderInNegativeClauses

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

• svoSovButSvoneg : LanguagesWithDifferentWordOrderInNegativeClauses

  SVO/SOV, but SVONeg (5 languages).

• svoSovButSnegvo : LanguagesWithDifferentWordOrderInNegativeClauses

  SVO/SOV, but SNegVO (1 languages).

• svoSovButSnegov : LanguagesWithDifferentWordOrderInNegativeClauses

  SVO/SOV, but SNegOV (1 languages).

• svoSovButSovneg : LanguagesWithDifferentWordOrderInNegativeClauses

  SVO/SOV, but SOVNeg (1 languages).

@[implicit_reducible]

instance Data.WALS.F144C.instDecidableEqLanguagesWithDifferentWordOrderInNegativeClauses : DecidableEq LanguagesWithDifferentWordOrderInNegativeClauses

Equations

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

@[implicit_reducible]

instance Data.WALS.F144C.instBEqLanguagesWithDifferentWordOrderInNegativeClauses : BEq LanguagesWithDifferentWordOrderInNegativeClauses

Equations

• Data.WALS.F144C.instBEqLanguagesWithDifferentWordOrderInNegativeClauses = { beq := Data.WALS.F144C.instBEqLanguagesWithDifferentWordOrderInNegativeClauses.beq }

def Data.WALS.F144C.instBEqLanguagesWithDifferentWordOrderInNegativeClauses.beq : LanguagesWithDifferentWordOrderInNegativeClauses → LanguagesWithDifferentWordOrderInNegativeClauses → Bool

Equations

• Data.WALS.F144C.instBEqLanguagesWithDifferentWordOrderInNegativeClauses.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F144C.instReprLanguagesWithDifferentWordOrderInNegativeClauses : Repr LanguagesWithDifferentWordOrderInNegativeClauses

Equations

• Data.WALS.F144C.instReprLanguagesWithDifferentWordOrderInNegativeClauses = { reprPrec := Data.WALS.F144C.instReprLanguagesWithDifferentWordOrderInNegativeClauses.repr }

def Data.WALS.F144C.instReprLanguagesWithDifferentWordOrderInNegativeClauses.repr : LanguagesWithDifferentWordOrderInNegativeClauses → Nat → Std.Format

Equations

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

def Data.WALS.F144C.allData : List (Datapoint LanguagesWithDifferentWordOrderInNegativeClauses)

Complete WALS 144C dataset (28 languages).

Equations

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

def Data.WALS.F144C.lookup (code : String) : Option (Datapoint LanguagesWithDifferentWordOrderInNegativeClauses)

Look up a language by WALS code.

Equations

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

def Data.WALS.F144C.lookupISO (iso : String) : Option (Datapoint LanguagesWithDifferentWordOrderInNegativeClauses)

Look up a language by ISO 639-3 code.

Equations

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