WALS Feature 90E: Correlative relative clauses

@cite{wals-2013}

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

Chapter 90, 23 languages.

inductive Data.WALS.F90E.CorrelativeRelativeClauses : Type

WALS 90E values.

• correlativeRelativeClauseDominant : CorrelativeRelativeClauses

  Correlative relative clause dominant (7 languages).

• correlativeOrReln : CorrelativeRelativeClauses

  Correlative or RelN (7 languages).

• correlativeOrNrel : CorrelativeRelativeClauses

  Correlative or NRel (2 languages).

• correlativeOrInternallyHeaded : CorrelativeRelativeClauses

  Correlative or internally-headed (1 languages).

• correlativeOrAdjoined : CorrelativeRelativeClauses

  Correlative or adjoined (2 languages).

• correlativeAsNondominantType : CorrelativeRelativeClauses

  Correlative as nondominant type (3 languages).

• correlativeExists : CorrelativeRelativeClauses

  Correlative exists (1 languages).

@[implicit_reducible]

instance Data.WALS.F90E.instDecidableEqCorrelativeRelativeClauses : DecidableEq CorrelativeRelativeClauses

Equations

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

def Data.WALS.F90E.instBEqCorrelativeRelativeClauses.beq : CorrelativeRelativeClauses → CorrelativeRelativeClauses → Bool

Equations

• Data.WALS.F90E.instBEqCorrelativeRelativeClauses.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F90E.instBEqCorrelativeRelativeClauses : BEq CorrelativeRelativeClauses

Equations

• Data.WALS.F90E.instBEqCorrelativeRelativeClauses = { beq := Data.WALS.F90E.instBEqCorrelativeRelativeClauses.beq }

@[implicit_reducible]

instance Data.WALS.F90E.instReprCorrelativeRelativeClauses : Repr CorrelativeRelativeClauses

Equations

• Data.WALS.F90E.instReprCorrelativeRelativeClauses = { reprPrec := Data.WALS.F90E.instReprCorrelativeRelativeClauses.repr }

def Data.WALS.F90E.instReprCorrelativeRelativeClauses.repr : CorrelativeRelativeClauses → Nat → Std.Format

Equations

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

def Data.WALS.F90E.allData : List (Datapoint CorrelativeRelativeClauses)

Complete WALS 90E dataset (23 languages).

Equations

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

def Data.WALS.F90E.lookup (code : String) : Option (Datapoint CorrelativeRelativeClauses)

Look up a language by WALS code.

Equations

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

def Data.WALS.F90E.lookupISO (iso : String) : Option (Datapoint CorrelativeRelativeClauses)

Look up a language by ISO 639-3 code.

Equations

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