WALS Feature 51A: Position of Case Affixes

@cite{iggesen-2013}

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

Chapter 51, 1031 languages.

inductive Data.WALS.F51A.CaseAffixPosition : Type

WALS 51A values.

• caseSuffixes : CaseAffixPosition

  Case suffixes (452 languages).

• casePrefixes : CaseAffixPosition

  Case prefixes (38 languages).

• caseTone : CaseAffixPosition

  Case tone (5 languages).

• caseStemChange : CaseAffixPosition

  Case stem change (1 languages).

• mixedMorphologicalCase : CaseAffixPosition

  Mixed morphological case (9 languages).

• postpositionalClitics : CaseAffixPosition

  Postpositional clitics (123 languages).

• prepositionalClitics : CaseAffixPosition

  Prepositional clitics (17 languages).

• inpositionalClitics : CaseAffixPosition

  Inpositional clitics (7 languages).

• noCaseAffixesOrAdpositionalClitics : CaseAffixPosition

  No case affixes or adpositional clitics (379 languages).

@[implicit_reducible]

instance Data.WALS.F51A.instDecidableEqCaseAffixPosition : DecidableEq CaseAffixPosition

Equations

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

@[implicit_reducible]

instance Data.WALS.F51A.instBEqCaseAffixPosition : BEq CaseAffixPosition

Equations

• Data.WALS.F51A.instBEqCaseAffixPosition = { beq := Data.WALS.F51A.instBEqCaseAffixPosition.beq }

def Data.WALS.F51A.instBEqCaseAffixPosition.beq : CaseAffixPosition → CaseAffixPosition → Bool

Equations

• Data.WALS.F51A.instBEqCaseAffixPosition.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

def Data.WALS.F51A.instReprCaseAffixPosition.repr : CaseAffixPosition → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Data.WALS.F51A.instReprCaseAffixPosition : Repr CaseAffixPosition

Equations

• Data.WALS.F51A.instReprCaseAffixPosition = { reprPrec := Data.WALS.F51A.instReprCaseAffixPosition.repr }

def Data.WALS.F51A.allData : List (Datapoint CaseAffixPosition)

Complete WALS 51A dataset (1031 languages).

Equations

• Data.WALS.F51A.allData = Data.WALS.F51A.allData_0✝ ++ Data.WALS.F51A.allData_1✝ ++ Data.WALS.F51A.allData_2✝

def Data.WALS.F51A.lookup (code : String) : Option (Datapoint CaseAffixPosition)

Look up a language by WALS code.

Equations

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

def Data.WALS.F51A.lookupISO (iso : String) : Option (Datapoint CaseAffixPosition)

Look up a language by ISO 639-3 code.

Equations

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