WALS Feature 75A: Epistemic Possibility

@cite{vanbogaert-2013}

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

Chapter 75, 240 languages.

inductive Data.WALS.F75A.EpistemicPossibility : Type

WALS 75A values.

• verbalConstructions : EpistemicPossibility

  Verbal constructions (65 languages).

• affixesOnVerbs : EpistemicPossibility

  Affixes on verbs (84 languages).

• other : EpistemicPossibility

  Other (91 languages).

@[implicit_reducible]

instance Data.WALS.F75A.instDecidableEqEpistemicPossibility : DecidableEq EpistemicPossibility

Equations

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

@[implicit_reducible]

instance Data.WALS.F75A.instBEqEpistemicPossibility : BEq EpistemicPossibility

Equations

• Data.WALS.F75A.instBEqEpistemicPossibility = { beq := Data.WALS.F75A.instBEqEpistemicPossibility.beq }

def Data.WALS.F75A.instBEqEpistemicPossibility.beq : EpistemicPossibility → EpistemicPossibility → Bool

Equations

• Data.WALS.F75A.instBEqEpistemicPossibility.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F75A.instReprEpistemicPossibility : Repr EpistemicPossibility

Equations

• Data.WALS.F75A.instReprEpistemicPossibility = { reprPrec := Data.WALS.F75A.instReprEpistemicPossibility.repr }

def Data.WALS.F75A.instReprEpistemicPossibility.repr : EpistemicPossibility → Nat → Std.Format

Equations

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

def Data.WALS.F75A.allData : List (Datapoint EpistemicPossibility)

Complete WALS 75A dataset (240 languages).

Equations

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

def Data.WALS.F75A.lookup (code : String) : Option (Datapoint EpistemicPossibility)

Look up a language by WALS code.

Equations

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

def Data.WALS.F75A.lookupISO (iso : String) : Option (Datapoint EpistemicPossibility)

Look up a language by ISO 639-3 code.

Equations

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