WALS Feature 143F: Postverbal Negative Morphemes

@cite{wals-2013}

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

Chapter 143, 1325 languages.

inductive Data.WALS.F143F.PostverbalNegativeMorphemes : Type

WALS 143F values.

• vneg : PostverbalNegativeMorphemes

  VNeg (288 languages).

• vNeg : PostverbalNegativeMorphemes

  [V-Neg] (307 languages).

• vnegVNeg : PostverbalNegativeMorphemes

  VNeg&[V-Neg] (18 languages).

• none : PostverbalNegativeMorphemes

  None (712 languages).

@[implicit_reducible]

instance Data.WALS.F143F.instDecidableEqPostverbalNegativeMorphemes : DecidableEq PostverbalNegativeMorphemes

Equations

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

@[implicit_reducible]

instance Data.WALS.F143F.instBEqPostverbalNegativeMorphemes : BEq PostverbalNegativeMorphemes

Equations

• Data.WALS.F143F.instBEqPostverbalNegativeMorphemes = { beq := Data.WALS.F143F.instBEqPostverbalNegativeMorphemes.beq }

def Data.WALS.F143F.instBEqPostverbalNegativeMorphemes.beq : PostverbalNegativeMorphemes → PostverbalNegativeMorphemes → Bool

Equations

• Data.WALS.F143F.instBEqPostverbalNegativeMorphemes.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F143F.instReprPostverbalNegativeMorphemes : Repr PostverbalNegativeMorphemes

Equations

• Data.WALS.F143F.instReprPostverbalNegativeMorphemes = { reprPrec := Data.WALS.F143F.instReprPostverbalNegativeMorphemes.repr }

def Data.WALS.F143F.instReprPostverbalNegativeMorphemes.repr : PostverbalNegativeMorphemes → Nat → Std.Format

Equations

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

def Data.WALS.F143F.allData : List (Datapoint PostverbalNegativeMorphemes)

Complete WALS 143F dataset (1325 languages).

Equations

• Data.WALS.F143F.allData = Data.WALS.F143F.allData_0✝ ++ Data.WALS.F143F.allData_1✝ ++ Data.WALS.F143F.allData_2✝

def Data.WALS.F143F.lookup (code : String) : Option (Datapoint PostverbalNegativeMorphemes)

Look up a language by WALS code.

Equations

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

def Data.WALS.F143F.lookupISO (iso : String) : Option (Datapoint PostverbalNegativeMorphemes)

Look up a language by ISO 639-3 code.

Equations

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