Documentation

Linglib.Core.WALS.Features.F33A

WALS Feature 33A: Coding of Nominal Plurality #

@cite{haspelmath-2013b}

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

Chapter 33, 1066 languages.

source
inductive Core.WALS.F33A.PluralityCoding :
Type

WALS 33A values.

Instances For
    source
    instance Core.WALS.F33A.instDecidableEqPluralityCoding :
    DecidableEq PluralityCoding
    Equations
    source
    instance Core.WALS.F33A.instBEqPluralityCoding :
    BEq PluralityCoding
    Equations
    source
    def Core.WALS.F33A.instBEqPluralityCoding.beq :
    PluralityCoding → PluralityCoding → Bool
    Equations
    Instances For
      source
      instance Core.WALS.F33A.instReprPluralityCoding :
      Repr PluralityCoding
      Equations
      source
      def Core.WALS.F33A.instReprPluralityCoding.repr :
      PluralityCoding → Nat → Std.Format
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Core.WALS.F33A.allData :
        List (Datapoint PluralityCoding)

        Complete WALS 33A dataset (1066 languages).

        Equations
        Instances For
          source
          theorem Core.WALS.F33A.total_count :
          allData.length = 1066
          source
          theorem Core.WALS.F33A.count_pluralPrefix :
          (List.filter (fun (x : Datapoint PluralityCoding) => x.value == PluralityCoding.pluralPrefix) allData).length = 126
          source
          theorem Core.WALS.F33A.count_pluralSuffix :
          (List.filter (fun (x : Datapoint PluralityCoding) => x.value == PluralityCoding.pluralSuffix) allData).length = 513
          source
          theorem Core.WALS.F33A.count_pluralStemChange :
          (List.filter (fun (x : Datapoint PluralityCoding) => x.value == PluralityCoding.pluralStemChange) allData).length = 6
          source
          theorem Core.WALS.F33A.count_pluralTone :
          (List.filter (fun (x : Datapoint PluralityCoding) => x.value == PluralityCoding.pluralTone) allData).length = 4
          source
          theorem Core.WALS.F33A.count_pluralCompleteReduplication :
          (List.filter (fun (x : Datapoint PluralityCoding) => x.value == PluralityCoding.pluralCompleteReduplication) allData).length = 8
          source
          theorem Core.WALS.F33A.count_mixedMorphologicalPlural :
          (List.filter (fun (x : Datapoint PluralityCoding) => x.value == PluralityCoding.mixedMorphologicalPlural) allData).length = 60
          source
          theorem Core.WALS.F33A.count_pluralWord :
          (List.filter (fun (x : Datapoint PluralityCoding) => x.value == PluralityCoding.pluralWord) allData).length = 170
          source
          theorem Core.WALS.F33A.count_pluralClitic :
          (List.filter (fun (x : Datapoint PluralityCoding) => x.value == PluralityCoding.pluralClitic) allData).length = 81
          source
          theorem Core.WALS.F33A.count_noPlural :
          (List.filter (fun (x : Datapoint PluralityCoding) => x.value == PluralityCoding.noPlural) allData).length = 98
          source
          def Core.WALS.F33A.lookup (code : String) :
          Option (Datapoint PluralityCoding)

          Look up a language by WALS code.

          Equations
          Instances For
            source
            def Core.WALS.F33A.lookupISO (iso : String) :
            Option (Datapoint PluralityCoding)

            Look up a language by ISO 639-3 code.

            Equations
            Instances For