WALS Feature 77A: Semantic Distinctions of Evidentiality

[dH13b]

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

Chapter 77, 418 languages.

inductive Data.WALS.F77A.EvidentialityDistinctions : Type

WALS 77A values.

• noGrammaticalEvidentials : EvidentialityDistinctions

  No grammatical evidentials (181 languages).

• indirectOnly : EvidentialityDistinctions

  Indirect only (166 languages).

• directAndIndirect : EvidentialityDistinctions

  Direct and indirect (71 languages).

@[instance_reducible]

instance Data.WALS.F77A.instDecidableEqEvidentialityDistinctions : DecidableEq EvidentialityDistinctions

Equations

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

def Data.WALS.F77A.instReprEvidentialityDistinctions.repr : EvidentialityDistinctions → Nat → Std.Format

Equations

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

@[instance_reducible]

instance Data.WALS.F77A.instReprEvidentialityDistinctions : Repr EvidentialityDistinctions

Equations

• Data.WALS.F77A.instReprEvidentialityDistinctions = { reprPrec := Data.WALS.F77A.instReprEvidentialityDistinctions.repr }

def Data.WALS.F77A.allData : List (String × EvidentialityDistinctions)

The WALS 77A coding: each language's value, keyed by its WALS code (418 languages).

Equations

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