WALS Feature 104A: Order of Person Markers on the Verb

@cite{wals-2013}

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

Chapter 104, 379 languages.

inductive Data.WALS.F104A.OrderOfPersonMarkersOnTheVerb : Type

WALS 104A values.

• aAndPDoNotOrDoNotBothOccurOnTheVerb : OrderOfPersonMarkersOnTheVerb

  A and P do not or do not both occur on the verb (187 languages).

• aPrecedesP : OrderOfPersonMarkersOnTheVerb

  A precedes P (96 languages).

• pPrecedesA : OrderOfPersonMarkersOnTheVerb

  P precedes A (57 languages).

• bothOrdersOfAAndPOccur : OrderOfPersonMarkersOnTheVerb

  Both orders of A and P occur (19 languages).

• aAndPAreFused : OrderOfPersonMarkersOnTheVerb

  A and P are fused (20 languages).

@[implicit_reducible]

instance Data.WALS.F104A.instDecidableEqOrderOfPersonMarkersOnTheVerb : DecidableEq OrderOfPersonMarkersOnTheVerb

Equations

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

def Data.WALS.F104A.instBEqOrderOfPersonMarkersOnTheVerb.beq : OrderOfPersonMarkersOnTheVerb → OrderOfPersonMarkersOnTheVerb → Bool

Equations

• Data.WALS.F104A.instBEqOrderOfPersonMarkersOnTheVerb.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F104A.instBEqOrderOfPersonMarkersOnTheVerb : BEq OrderOfPersonMarkersOnTheVerb

Equations

• Data.WALS.F104A.instBEqOrderOfPersonMarkersOnTheVerb = { beq := Data.WALS.F104A.instBEqOrderOfPersonMarkersOnTheVerb.beq }

@[implicit_reducible]

instance Data.WALS.F104A.instReprOrderOfPersonMarkersOnTheVerb : Repr OrderOfPersonMarkersOnTheVerb

Equations

• Data.WALS.F104A.instReprOrderOfPersonMarkersOnTheVerb = { reprPrec := Data.WALS.F104A.instReprOrderOfPersonMarkersOnTheVerb.repr }

def Data.WALS.F104A.instReprOrderOfPersonMarkersOnTheVerb.repr : OrderOfPersonMarkersOnTheVerb → Nat → Std.Format

Equations

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

def Data.WALS.F104A.allData : List (Datapoint OrderOfPersonMarkersOnTheVerb)

Complete WALS 104A dataset (379 languages).

Equations

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

def Data.WALS.F104A.lookup (code : String) : Option (Datapoint OrderOfPersonMarkersOnTheVerb)

Look up a language by WALS code.

Equations

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

def Data.WALS.F104A.lookupISO (iso : String) : Option (Datapoint OrderOfPersonMarkersOnTheVerb)

Look up a language by ISO 639-3 code.

Equations

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