WALS Feature 97A: Relationship between the Order of Object and Verb and the Order of Adjective and Noun

@cite{wals-2013}

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

Chapter 97, 1316 languages.

inductive Data.WALS.F97A.RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun : Type

WALS 97A values.

• ovAndAdjn : RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun

  OV and AdjN (216 languages).

• ovAndNadj : RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun

  OV and NAdj (332 languages).

• voAndAdjn : RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun

  VO and AdjN (114 languages).

• voAndNadj : RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun

  VO and NAdj (456 languages).

• other : RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun

  Other (198 languages).

@[implicit_reducible]

instance Data.WALS.F97A.instDecidableEqRelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun : DecidableEq RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun

Equations

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

@[implicit_reducible]

instance Data.WALS.F97A.instBEqRelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun : BEq RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun

Equations

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

def Data.WALS.F97A.instBEqRelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun.beq : RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun → RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun → Bool

Equations

• Data.WALS.F97A.instBEqRelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

def Data.WALS.F97A.instReprRelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun.repr : RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Data.WALS.F97A.instReprRelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun : Repr RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun

Equations

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

def Data.WALS.F97A.allData : List (Datapoint RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun)

Complete WALS 97A dataset (1316 languages).

Equations

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

def Data.WALS.F97A.lookup (code : String) : Option (Datapoint RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun)

Look up a language by WALS code.

Equations

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

def Data.WALS.F97A.lookupISO (iso : String) : Option (Datapoint RelationshipBetweenTheOrderOfObjectAndVerbAndTheOrderOfAdjectiveAndNoun)

Look up a language by ISO 639-3 code.

Equations

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