WALS Feature 98A: Alignment of Case Marking of Full Noun Phrases

@cite{comrie-2013b}

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

Chapter 98, 190 languages.

inductive Data.WALS.F98A.NPCaseAlignment : Type

WALS 98A values.

• neutral : NPCaseAlignment

  Neutral (98 languages).

• nominativeAccusative : NPCaseAlignment

  Nominative - accusative (standard) (46 languages).

• nominativeAccusative_3 : NPCaseAlignment

  Nominative - accusative (marked nominative) (6 languages).

• ergativeAbsolutive : NPCaseAlignment

  Ergative - absolutive (32 languages).

• tripartite : NPCaseAlignment

  Tripartite (4 languages).

• activeInactive : NPCaseAlignment

  Active-inactive (4 languages).

@[implicit_reducible]

instance Data.WALS.F98A.instDecidableEqNPCaseAlignment : DecidableEq NPCaseAlignment

Equations

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

def Data.WALS.F98A.instBEqNPCaseAlignment.beq : NPCaseAlignment → NPCaseAlignment → Bool

Equations

• Data.WALS.F98A.instBEqNPCaseAlignment.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F98A.instBEqNPCaseAlignment : BEq NPCaseAlignment

Equations

• Data.WALS.F98A.instBEqNPCaseAlignment = { beq := Data.WALS.F98A.instBEqNPCaseAlignment.beq }

@[implicit_reducible]

instance Data.WALS.F98A.instReprNPCaseAlignment : Repr NPCaseAlignment

Equations

• Data.WALS.F98A.instReprNPCaseAlignment = { reprPrec := Data.WALS.F98A.instReprNPCaseAlignment.repr }

def Data.WALS.F98A.instReprNPCaseAlignment.repr : NPCaseAlignment → Nat → Std.Format

Equations

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

def Data.WALS.F98A.allData : List (Datapoint NPCaseAlignment)

Complete WALS 98A dataset (190 languages).

Equations

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

def Data.WALS.F98A.lookup (code : String) : Option (Datapoint NPCaseAlignment)

Look up a language by WALS code.

Equations

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

def Data.WALS.F98A.lookupISO (iso : String) : Option (Datapoint NPCaseAlignment)

Look up a language by ISO 639-3 code.

Equations

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