WALS Feature 16A: Weight Factors in Weight-Sensitive Stress Systems

@cite{wals-2013}

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

Chapter 16, 500 languages.

inductive Data.WALS.F16A.WeightFactorsInWeightSensitiveStressSystems : Type

WALS 16A values.

• noWeight : WeightFactorsInWeightSensitiveStressSystems

  No weight (261 languages).

• longVowel : WeightFactorsInWeightSensitiveStressSystems

  Long vowel (65 languages).

• codaConsonant : WeightFactorsInWeightSensitiveStressSystems

  Coda consonant (18 languages).

• longVowelOrCodaConsonant : WeightFactorsInWeightSensitiveStressSystems

  Long vowel or coda consonant (35 languages).

• prominence : WeightFactorsInWeightSensitiveStressSystems

  Prominence (41 languages).

• lexicalStress : WeightFactorsInWeightSensitiveStressSystems

  Lexical stress (38 languages).

• combined : WeightFactorsInWeightSensitiveStressSystems

  Combined (42 languages).

@[implicit_reducible]

instance Data.WALS.F16A.instDecidableEqWeightFactorsInWeightSensitiveStressSystems : DecidableEq WeightFactorsInWeightSensitiveStressSystems

Equations

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

@[implicit_reducible]

instance Data.WALS.F16A.instBEqWeightFactorsInWeightSensitiveStressSystems : BEq WeightFactorsInWeightSensitiveStressSystems

Equations

• Data.WALS.F16A.instBEqWeightFactorsInWeightSensitiveStressSystems = { beq := Data.WALS.F16A.instBEqWeightFactorsInWeightSensitiveStressSystems.beq }

def Data.WALS.F16A.instBEqWeightFactorsInWeightSensitiveStressSystems.beq : WeightFactorsInWeightSensitiveStressSystems → WeightFactorsInWeightSensitiveStressSystems → Bool

Equations

• Data.WALS.F16A.instBEqWeightFactorsInWeightSensitiveStressSystems.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

def Data.WALS.F16A.instReprWeightFactorsInWeightSensitiveStressSystems.repr : WeightFactorsInWeightSensitiveStressSystems → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Data.WALS.F16A.instReprWeightFactorsInWeightSensitiveStressSystems : Repr WeightFactorsInWeightSensitiveStressSystems

Equations

• Data.WALS.F16A.instReprWeightFactorsInWeightSensitiveStressSystems = { reprPrec := Data.WALS.F16A.instReprWeightFactorsInWeightSensitiveStressSystems.repr }

def Data.WALS.F16A.allData : List (Datapoint WeightFactorsInWeightSensitiveStressSystems)

Complete WALS 16A dataset (500 languages).

Equations

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

def Data.WALS.F16A.lookup (code : String) : Option (Datapoint WeightFactorsInWeightSensitiveStressSystems)

Look up a language by WALS code.

Equations

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

def Data.WALS.F16A.lookupISO (iso : String) : Option (Datapoint WeightFactorsInWeightSensitiveStressSystems)

Look up a language by ISO 639-3 code.

Equations

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