WALS Feature 77A: Semantic Distinctions of Evidentiality

@cite{deandradedehaanValenzuela-2013}

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).

@[implicit_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 ⋯

@[implicit_reducible]

instance Data.WALS.F77A.instBEqEvidentialityDistinctions : BEq EvidentialityDistinctions

Equations

• Data.WALS.F77A.instBEqEvidentialityDistinctions = { beq := Data.WALS.F77A.instBEqEvidentialityDistinctions.beq }

def Data.WALS.F77A.instBEqEvidentialityDistinctions.beq : EvidentialityDistinctions → EvidentialityDistinctions → Bool

Equations

• Data.WALS.F77A.instBEqEvidentialityDistinctions.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F77A.instReprEvidentialityDistinctions : Repr EvidentialityDistinctions

Equations

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

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

Equations

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

def Data.WALS.F77A.allData : List (Datapoint EvidentialityDistinctions)

Complete WALS 77A dataset (418 languages).

Equations

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

def Data.WALS.F77A.lookup (code : String) : Option (Datapoint EvidentialityDistinctions)

Look up a language by WALS code.

Equations

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

def Data.WALS.F77A.lookupISO (iso : String) : Option (Datapoint EvidentialityDistinctions)

Look up a language by ISO 639-3 code.

Equations

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