WALS Feature 143C: Optional Double Negation

@cite{wals-2013}

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

Chapter 143, 81 languages.

inductive Data.WALS.F143C.OptionalDoubleNegation : Type

WALS 143C values.

• negv : OptionalDoubleNegation

  NegV(Neg) (11 languages).

• vneg : OptionalDoubleNegation

  (Neg)VNeg (20 languages).

• negV : OptionalDoubleNegation

  Neg[V(-Neg)] (5 languages).

• vNeg : OptionalDoubleNegation

  (Neg)[V-Neg] (5 languages).

• negV_5 : OptionalDoubleNegation

  Neg-V (3 languages).

• vNeg_6 : OptionalDoubleNegation

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

• negV_7 : OptionalDoubleNegation

  [Neg-V(-Neg)] (5 languages).

• vNeg_8 : OptionalDoubleNegation

  [(Neg-)V-Neg] (6 languages).

• vneg_9 : OptionalDoubleNegation

  V(Neg)Neg (2 languages).

• vNeg_10 : OptionalDoubleNegation

  V-Neg (2 languages).

• negv_11 : OptionalDoubleNegation

  Neg(Neg)V (1 languages).

• negV_12 : OptionalDoubleNegation

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

• negvOptchangeverbstem : OptionalDoubleNegation

  NegV&OptChangeVerbStem (1 languages).

• negvNegVNeg : OptionalDoubleNegation

  NegV/[Neg-V-Neg] (2 languages).

• vnegNegVNeg : OptionalDoubleNegation

  VNeg/[Neg-V-Neg] (1 languages).

• negVNegvneg : OptionalDoubleNegation

  [Neg-V]/NegVNeg (1 languages).

• negvOrNegativetoneVneg : OptionalDoubleNegation

  NegV or NegativeTone&VNeg (1 languages).

• negvVNegNegVNeg : OptionalDoubleNegation

  NegV/[V-Neg]/Neg[V-Neg] (4 languages).

• negvVnegNegvneg : OptionalDoubleNegation

  NegV/VNeg/NegVNeg (2 languages).

• negvVNegNegVNeg_20 : OptionalDoubleNegation

  NegV/[V-Neg]/[Neg-V-Neg] (1 languages).

• negVVnegNegVNeg : OptionalDoubleNegation

  [Neg-V]/VNeg/[Neg-V-Neg] (1 languages).

• negvNegVNegNegV : OptionalDoubleNegation

  NegV/[Neg-V]/Neg[Neg-V] (1 languages).

• optdoublenegOpttripleneg : OptionalDoubleNegation

  OptDoubleNeg&OptTripleNeg (1 languages).

@[implicit_reducible]

instance Data.WALS.F143C.instDecidableEqOptionalDoubleNegation : DecidableEq OptionalDoubleNegation

Equations

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

@[implicit_reducible]

instance Data.WALS.F143C.instBEqOptionalDoubleNegation : BEq OptionalDoubleNegation

Equations

• Data.WALS.F143C.instBEqOptionalDoubleNegation = { beq := Data.WALS.F143C.instBEqOptionalDoubleNegation.beq }

def Data.WALS.F143C.instBEqOptionalDoubleNegation.beq : OptionalDoubleNegation → OptionalDoubleNegation → Bool

Equations

• Data.WALS.F143C.instBEqOptionalDoubleNegation.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F143C.instReprOptionalDoubleNegation : Repr OptionalDoubleNegation

Equations

• Data.WALS.F143C.instReprOptionalDoubleNegation = { reprPrec := Data.WALS.F143C.instReprOptionalDoubleNegation.repr }

def Data.WALS.F143C.instReprOptionalDoubleNegation.repr : OptionalDoubleNegation → Nat → Std.Format

Equations

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

def Data.WALS.F143C.allData : List (Datapoint OptionalDoubleNegation)

Complete WALS 143C dataset (81 languages).

Equations

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

def Data.WALS.F143C.lookup (code : String) : Option (Datapoint OptionalDoubleNegation)

Look up a language by WALS code.

Equations

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

def Data.WALS.F143C.lookupISO (iso : String) : Option (Datapoint OptionalDoubleNegation)

Look up a language by ISO 639-3 code.

Equations

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