WALS Feature 133A: Number of Basic Colour Categories

@cite{wals-2013}

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

Chapter 133, 119 languages.

inductive Data.WALS.F133A.NumberOfBasicColourCategories : Type

WALS 133A values.

• v34 : NumberOfBasicColourCategories

  3-4 (20 languages).

• v4555 : NumberOfBasicColourCategories

  4.5-5.5 (26 languages).

• v665 : NumberOfBasicColourCategories

  6-6.5 (34 languages).

• v775 : NumberOfBasicColourCategories

  7-7.5 (14 languages).

• v885 : NumberOfBasicColourCategories

  8-8.5 (6 languages).

• v910 : NumberOfBasicColourCategories

  9-10 (8 languages).

• v11 : NumberOfBasicColourCategories

  11 (11 languages).

@[implicit_reducible]

instance Data.WALS.F133A.instDecidableEqNumberOfBasicColourCategories : DecidableEq NumberOfBasicColourCategories

Equations

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

@[implicit_reducible]

instance Data.WALS.F133A.instBEqNumberOfBasicColourCategories : BEq NumberOfBasicColourCategories

Equations

• Data.WALS.F133A.instBEqNumberOfBasicColourCategories = { beq := Data.WALS.F133A.instBEqNumberOfBasicColourCategories.beq }

def Data.WALS.F133A.instBEqNumberOfBasicColourCategories.beq : NumberOfBasicColourCategories → NumberOfBasicColourCategories → Bool

Equations

• Data.WALS.F133A.instBEqNumberOfBasicColourCategories.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F133A.instReprNumberOfBasicColourCategories : Repr NumberOfBasicColourCategories

Equations

• Data.WALS.F133A.instReprNumberOfBasicColourCategories = { reprPrec := Data.WALS.F133A.instReprNumberOfBasicColourCategories.repr }

def Data.WALS.F133A.instReprNumberOfBasicColourCategories.repr : NumberOfBasicColourCategories → Nat → Std.Format

Equations

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

def Data.WALS.F133A.allData : List (Datapoint NumberOfBasicColourCategories)

Complete WALS 133A dataset (119 languages).

Equations

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

def Data.WALS.F133A.lookup (code : String) : Option (Datapoint NumberOfBasicColourCategories)

Look up a language by WALS code.

Equations

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

def Data.WALS.F133A.lookupISO (iso : String) : Option (Datapoint NumberOfBasicColourCategories)

Look up a language by ISO 639-3 code.

Equations

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