WALS Feature 109B: Other Roles of Applied Objects

@cite{polinsky-2013-applicative}

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

Chapter 109, 183 languages.

inductive Data.WALS.F109B.AppliedObjectRole : Type

WALS 109B values.

• instrument : AppliedObjectRole

  Instrument (17 languages).

• locative : AppliedObjectRole

  Locative (18 languages).

• instrumentAndLocative : AppliedObjectRole

  Instrument and locative (12 languages).

• onlyBenefactive : AppliedObjectRole

  No other roles (= Only benefactive) (36 languages).

• noApplicative : AppliedObjectRole

  No applicative construction (100 languages).

@[implicit_reducible]

instance Data.WALS.F109B.instDecidableEqAppliedObjectRole : DecidableEq AppliedObjectRole

Equations

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

def Data.WALS.F109B.instBEqAppliedObjectRole.beq : AppliedObjectRole → AppliedObjectRole → Bool

Equations

• Data.WALS.F109B.instBEqAppliedObjectRole.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F109B.instBEqAppliedObjectRole : BEq AppliedObjectRole

Equations

• Data.WALS.F109B.instBEqAppliedObjectRole = { beq := Data.WALS.F109B.instBEqAppliedObjectRole.beq }

def Data.WALS.F109B.instReprAppliedObjectRole.repr : AppliedObjectRole → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Data.WALS.F109B.instReprAppliedObjectRole : Repr AppliedObjectRole

Equations

• Data.WALS.F109B.instReprAppliedObjectRole = { reprPrec := Data.WALS.F109B.instReprAppliedObjectRole.repr }

def Data.WALS.F109B.allData : List (Datapoint AppliedObjectRole)

Complete WALS 109B dataset (183 languages).

Equations

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

def Data.WALS.F109B.lookup (code : String) : Option (Datapoint AppliedObjectRole)

Look up a language by WALS code.

Equations

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

def Data.WALS.F109B.lookupISO (iso : String) : Option (Datapoint AppliedObjectRole)

Look up a language by ISO 639-3 code.

Equations

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