WALS Feature 90D: Internally-headed relative clauses

@cite{dryer-2013-wals}

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

Chapter 90, 63 languages.

inductive Data.WALS.F90D.InternallyHeadedRelativeClauses : Type

WALS 90D values.

• relativeClauseDominant : InternallyHeadedRelativeClauses

  Internally-headed relative clause dominant (24 languages).

• orReln : InternallyHeadedRelativeClauses

  Internally-headed or RelN (15 languages).

• orNrel : InternallyHeadedRelativeClauses

  Internally-headed or NRel (8 languages).

• orCorrelative : InternallyHeadedRelativeClauses

  Internally-headed or correlative (1 languages).

• orDoubleHeaded : InternallyHeadedRelativeClauses

  Internally-headed or double-headed (1 languages).

• occursAsNondominantType : InternallyHeadedRelativeClauses

  Internally-headed occurs as nondominant type (10 languages).

• exists_ : InternallyHeadedRelativeClauses

  Internally-headed exists (4 languages).

@[implicit_reducible]

instance Data.WALS.F90D.instDecidableEqInternallyHeadedRelativeClauses : DecidableEq InternallyHeadedRelativeClauses

Equations

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

@[implicit_reducible]

instance Data.WALS.F90D.instBEqInternallyHeadedRelativeClauses : BEq InternallyHeadedRelativeClauses

Equations

• Data.WALS.F90D.instBEqInternallyHeadedRelativeClauses = { beq := Data.WALS.F90D.instBEqInternallyHeadedRelativeClauses.beq }

def Data.WALS.F90D.instBEqInternallyHeadedRelativeClauses.beq : InternallyHeadedRelativeClauses → InternallyHeadedRelativeClauses → Bool

Equations

• Data.WALS.F90D.instBEqInternallyHeadedRelativeClauses.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

@[implicit_reducible]

instance Data.WALS.F90D.instReprInternallyHeadedRelativeClauses : Repr InternallyHeadedRelativeClauses

Equations

• Data.WALS.F90D.instReprInternallyHeadedRelativeClauses = { reprPrec := Data.WALS.F90D.instReprInternallyHeadedRelativeClauses.repr }

def Data.WALS.F90D.instReprInternallyHeadedRelativeClauses.repr : InternallyHeadedRelativeClauses → Nat → Std.Format

Equations

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

def Data.WALS.F90D.allData : List (Datapoint InternallyHeadedRelativeClauses)

Complete WALS 90D dataset (63 languages).

Equations

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

def Data.WALS.F90D.lookup (code : String) : Option (Datapoint InternallyHeadedRelativeClauses)

Look up a language by WALS code.

Equations

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

def Data.WALS.F90D.lookupISO (iso : String) : Option (Datapoint InternallyHeadedRelativeClauses)

Look up a language by ISO 639-3 code.

Equations

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