Documentation

Linglib.Core.WALS.Features.F36A

WALS Feature 36A: The Associative Plural #

@cite{wals-2013}

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

Chapter 36, 236 languages.

source
inductive Core.WALS.F36A.AssociativePlural :
Type

WALS 36A values.

Instances For
    source
    instance Core.WALS.F36A.instDecidableEqAssociativePlural :
    DecidableEq AssociativePlural
    Equations
    source
    instance Core.WALS.F36A.instBEqAssociativePlural :
    BEq AssociativePlural
    Equations
    source
    def Core.WALS.F36A.instBEqAssociativePlural.beq :
    AssociativePlural → AssociativePlural → Bool
    Equations
    Instances For
      source
      instance Core.WALS.F36A.instReprAssociativePlural :
      Repr AssociativePlural
      Equations
      source
      def Core.WALS.F36A.instReprAssociativePlural.repr :
      AssociativePlural → Nat → Std.Format
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Core.WALS.F36A.allData :
        List (Datapoint AssociativePlural)

        Complete WALS 36A dataset (236 languages).

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          theorem Core.WALS.F36A.total_count :
          allData.length = 236
          source
          theorem Core.WALS.F36A.count_associativeSameAsAdditivePlural :
          (List.filter (fun (x : Datapoint AssociativePlural) => x.value == AssociativePlural.associativeSameAsAdditivePlural) allData).length = 104
          source
          theorem Core.WALS.F36A.count_uniqueAffixalAssociativePlural :
          (List.filter (fun (x : Datapoint AssociativePlural) => x.value == AssociativePlural.uniqueAffixalAssociativePlural) allData).length = 48
          source
          theorem Core.WALS.F36A.count_uniquePeriphrasticAssociativePlural :
          (List.filter (fun (x : Datapoint AssociativePlural) => x.value == AssociativePlural.uniquePeriphrasticAssociativePlural) allData).length = 47
          source
          theorem Core.WALS.F36A.count_noAssociativePlural :
          (List.filter (fun (x : Datapoint AssociativePlural) => x.value == AssociativePlural.noAssociativePlural) allData).length = 37
          source
          def Core.WALS.F36A.lookup (code : String) :
          Option (Datapoint AssociativePlural)

          Look up a language by WALS code.

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

            Look up a language by ISO 639-3 code.

            Equations
            Instances For