WALS Feature 144D: The Position of Negative Morphemes 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 144D.

Chapter 144, 463 languages.

inductive Data.WALS.F144D.PositionOfNegativeMorphemesInSvoLanguages : Type

WALS 144D values.

• negsvo : PositionOfNegativeMorphemesInSvoLanguages

  NegSVO (4 languages).

• snegvo : PositionOfNegativeMorphemesInSvoLanguages

  SNegVO (111 languages).

• svnego : PositionOfNegativeMorphemesInSvoLanguages

  SVNegO (2 languages).

• svoneg : PositionOfNegativeMorphemesInSvoLanguages

  SVONeg (81 languages).

• sNegVO : PositionOfNegativeMorphemesInSvoLanguages

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

• sVNegO : PositionOfNegativeMorphemesInSvoLanguages

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

• svoTone : PositionOfNegativeMorphemesInSvoLanguages

  SVO&Tone (1 languages).

• vsoButNegsvo : PositionOfNegativeMorphemesInSvoLanguages

  VSO but NegSVO (6 languages).

• svoSovButSvoneg : PositionOfNegativeMorphemesInSvoLanguages

  SVO/SOV but SVONeg (5 languages).

• sovSovButSnegvo : PositionOfNegativeMorphemesInSvoLanguages

  SOV/SOV but SNegVO (1 languages).

• otherNegv : PositionOfNegativeMorphemesInSvoLanguages

  Other NegV (26 languages).

• otherVneg : PositionOfNegativeMorphemesInSvoLanguages

  Other VNeg (8 languages).

• moreThanOneConstruction : PositionOfNegativeMorphemesInSvoLanguages

  More than one construction (48 languages).

• obligneg : PositionOfNegativeMorphemesInSvoLanguages

  ObligNeg (56 languages).

• optneg : PositionOfNegativeMorphemesInSvoLanguages

  OptNeg (35 languages).

@[implicit_reducible]

instance Data.WALS.F144D.instDecidableEqPositionOfNegativeMorphemesInSvoLanguages : DecidableEq PositionOfNegativeMorphemesInSvoLanguages

Equations

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

@[implicit_reducible]

instance Data.WALS.F144D.instBEqPositionOfNegativeMorphemesInSvoLanguages : BEq PositionOfNegativeMorphemesInSvoLanguages

Equations

• Data.WALS.F144D.instBEqPositionOfNegativeMorphemesInSvoLanguages = { beq := Data.WALS.F144D.instBEqPositionOfNegativeMorphemesInSvoLanguages.beq }

def Data.WALS.F144D.instBEqPositionOfNegativeMorphemesInSvoLanguages.beq : PositionOfNegativeMorphemesInSvoLanguages → PositionOfNegativeMorphemesInSvoLanguages → Bool

Equations

• Data.WALS.F144D.instBEqPositionOfNegativeMorphemesInSvoLanguages.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F144D.instReprPositionOfNegativeMorphemesInSvoLanguages : Repr PositionOfNegativeMorphemesInSvoLanguages

Equations

• Data.WALS.F144D.instReprPositionOfNegativeMorphemesInSvoLanguages = { reprPrec := Data.WALS.F144D.instReprPositionOfNegativeMorphemesInSvoLanguages.repr }

def Data.WALS.F144D.instReprPositionOfNegativeMorphemesInSvoLanguages.repr : PositionOfNegativeMorphemesInSvoLanguages → Nat → Std.Format

Equations

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

def Data.WALS.F144D.allData : List (Datapoint PositionOfNegativeMorphemesInSvoLanguages)

Complete WALS 144D dataset (463 languages).

Equations

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

def Data.WALS.F144D.lookup (code : String) : Option (Datapoint PositionOfNegativeMorphemesInSvoLanguages)

Look up a language by WALS code.

Equations

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

def Data.WALS.F144D.lookupISO (iso : String) : Option (Datapoint PositionOfNegativeMorphemesInSvoLanguages)

Look up a language by ISO 639-3 code.

Equations

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