WALS Feature 61A: Adjectives without Nouns

@cite{wals-2013}

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

Chapter 61, 124 languages.

inductive Data.WALS.F61A.AdjectivesWithoutNouns : Type

WALS 61A values.

• notWithoutNoun : AdjectivesWithoutNouns

  Not without noun (1 languages).

• withoutMarking : AdjectivesWithoutNouns

  Without marking (73 languages).

• markedByPrefix : AdjectivesWithoutNouns

  Marked by prefix (7 languages).

• markedBySuffix : AdjectivesWithoutNouns

  Marked by suffix (13 languages).

• markedByPrecedingWord : AdjectivesWithoutNouns

  Marked by preceding word (18 languages).

• markedByFollowingWord : AdjectivesWithoutNouns

  Marked by following word (7 languages).

• markedByMixedOrOtherStrategies : AdjectivesWithoutNouns

  Marked by mixed or other strategies (5 languages).

@[implicit_reducible]

instance Data.WALS.F61A.instDecidableEqAdjectivesWithoutNouns : DecidableEq AdjectivesWithoutNouns

Equations

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

@[implicit_reducible]

instance Data.WALS.F61A.instBEqAdjectivesWithoutNouns : BEq AdjectivesWithoutNouns

Equations

• Data.WALS.F61A.instBEqAdjectivesWithoutNouns = { beq := Data.WALS.F61A.instBEqAdjectivesWithoutNouns.beq }

def Data.WALS.F61A.instBEqAdjectivesWithoutNouns.beq : AdjectivesWithoutNouns → AdjectivesWithoutNouns → Bool

Equations

• Data.WALS.F61A.instBEqAdjectivesWithoutNouns.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F61A.instReprAdjectivesWithoutNouns : Repr AdjectivesWithoutNouns

Equations

• Data.WALS.F61A.instReprAdjectivesWithoutNouns = { reprPrec := Data.WALS.F61A.instReprAdjectivesWithoutNouns.repr }

def Data.WALS.F61A.instReprAdjectivesWithoutNouns.repr : AdjectivesWithoutNouns → Nat → Std.Format

Equations

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

def Data.WALS.F61A.allData : List (Datapoint AdjectivesWithoutNouns)

Complete WALS 61A dataset (124 languages).

Equations

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

def Data.WALS.F61A.lookup (code : String) : Option (Datapoint AdjectivesWithoutNouns)

Look up a language by WALS code.

Equations

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

def Data.WALS.F61A.lookupISO (iso : String) : Option (Datapoint AdjectivesWithoutNouns)

Look up a language by ISO 639-3 code.

Equations

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