WALS Feature 144X: Verb-Initial with Clause-Final Negative

@cite{wals-2013}

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

Chapter 144, 151 languages.

inductive Data.WALS.F144X.VerbInitialWithClauseFinalNegative : Type

WALS 144X values.

• nodoubleneg : VerbInitialWithClauseFinalNegative

  NoDoubleNeg (2 languages).

• optdoubleneg : VerbInitialWithClauseFinalNegative

  OptDoubleNeg (1 languages).

• onlywithanotherneg : VerbInitialWithClauseFinalNegative

  OnlyWithAnotherNeg (4 languages).

• noClauseFinalNeg : VerbInitialWithClauseFinalNegative

  No clause-final neg (144 languages).

@[implicit_reducible]

instance Data.WALS.F144X.instDecidableEqVerbInitialWithClauseFinalNegative : DecidableEq VerbInitialWithClauseFinalNegative

Equations

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

@[implicit_reducible]

instance Data.WALS.F144X.instBEqVerbInitialWithClauseFinalNegative : BEq VerbInitialWithClauseFinalNegative

Equations

• Data.WALS.F144X.instBEqVerbInitialWithClauseFinalNegative = { beq := Data.WALS.F144X.instBEqVerbInitialWithClauseFinalNegative.beq }

def Data.WALS.F144X.instBEqVerbInitialWithClauseFinalNegative.beq : VerbInitialWithClauseFinalNegative → VerbInitialWithClauseFinalNegative → Bool

Equations

• Data.WALS.F144X.instBEqVerbInitialWithClauseFinalNegative.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

def Data.WALS.F144X.instReprVerbInitialWithClauseFinalNegative.repr : VerbInitialWithClauseFinalNegative → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Data.WALS.F144X.instReprVerbInitialWithClauseFinalNegative : Repr VerbInitialWithClauseFinalNegative

Equations

• Data.WALS.F144X.instReprVerbInitialWithClauseFinalNegative = { reprPrec := Data.WALS.F144X.instReprVerbInitialWithClauseFinalNegative.repr }

def Data.WALS.F144X.allData : List (Datapoint VerbInitialWithClauseFinalNegative)

Complete WALS 144X dataset (151 languages).

Equations

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

def Data.WALS.F144X.lookup (code : String) : Option (Datapoint VerbInitialWithClauseFinalNegative)

Look up a language by WALS code.

Equations

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

def Data.WALS.F144X.lookupISO (iso : String) : Option (Datapoint VerbInitialWithClauseFinalNegative)

Look up a language by ISO 639-3 code.

Equations

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