Documentation

Linglib.Core.WALS.Features.F14A

WALS Feature 14A: Fixed Stress Locations #

@cite{wals-2013}

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

Chapter 14, 502 languages.

source
inductive Core.WALS.F14A.FixedStressLocations :
Type

WALS 14A values.

Instances For
    source
    instance Core.WALS.F14A.instDecidableEqFixedStressLocations :
    DecidableEq FixedStressLocations
    Equations
    source
    def Core.WALS.F14A.instBEqFixedStressLocations.beq :
    FixedStressLocations → FixedStressLocations → Bool
    Equations
    Instances For
      source
      instance Core.WALS.F14A.instBEqFixedStressLocations :
      BEq FixedStressLocations
      Equations
      source
      instance Core.WALS.F14A.instReprFixedStressLocations :
      Repr FixedStressLocations
      Equations
      source
      def Core.WALS.F14A.instReprFixedStressLocations.repr :
      FixedStressLocations → Nat → Std.Format
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Core.WALS.F14A.allData :
        List (Datapoint FixedStressLocations)

        Complete WALS 14A dataset (502 languages).

        Equations
        Instances For
          source
          theorem Core.WALS.F14A.total_count :
          allData.length = 502
          source
          theorem Core.WALS.F14A.count_noFixedStress :
          (List.filter (fun (x : Datapoint FixedStressLocations) => x.value == FixedStressLocations.noFixedStress) allData).length = 220
          source
          theorem Core.WALS.F14A.count_initial :
          (List.filter (fun (x : Datapoint FixedStressLocations) => x.value == FixedStressLocations.initial) allData).length = 92
          source
          theorem Core.WALS.F14A.count_second :
          (List.filter (fun (x : Datapoint FixedStressLocations) => x.value == FixedStressLocations.second) allData).length = 16
          source
          theorem Core.WALS.F14A.count_third :
          (List.filter (fun (x : Datapoint FixedStressLocations) => x.value == FixedStressLocations.third) allData).length = 1
          source
          theorem Core.WALS.F14A.count_antepenultimate :
          (List.filter (fun (x : Datapoint FixedStressLocations) => x.value == FixedStressLocations.antepenultimate) allData).length = 12
          source
          theorem Core.WALS.F14A.count_penultimate :
          (List.filter (fun (x : Datapoint FixedStressLocations) => x.value == FixedStressLocations.penultimate) allData).length = 110
          source
          theorem Core.WALS.F14A.count_ultimate :
          (List.filter (fun (x : Datapoint FixedStressLocations) => x.value == FixedStressLocations.ultimate) allData).length = 51
          source
          def Core.WALS.F14A.lookup (code : String) :
          Option (Datapoint FixedStressLocations)

          Look up a language by WALS code.

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

            Look up a language by ISO 639-3 code.

            Equations
            Instances For