Documentation

Linglib.Core.WALS.Features.F85A

WALS Feature 85A: Order of Adposition and Noun Phrase #

@cite{dryer-2013-wals}

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

Chapter 85, 1184 languages.

source
inductive Core.WALS.F85A.AdpositionNPOrder :
Type

WALS 85A values.

Instances For
    source
    instance Core.WALS.F85A.instDecidableEqAdpositionNPOrder :
    DecidableEq AdpositionNPOrder
    Equations
    source
    instance Core.WALS.F85A.instBEqAdpositionNPOrder :
    BEq AdpositionNPOrder
    Equations
    source
    def Core.WALS.F85A.instBEqAdpositionNPOrder.beq :
    AdpositionNPOrder → AdpositionNPOrder → Bool
    Equations
    Instances For
      source
      instance Core.WALS.F85A.instReprAdpositionNPOrder :
      Repr AdpositionNPOrder
      Equations
      source
      def Core.WALS.F85A.instReprAdpositionNPOrder.repr :
      AdpositionNPOrder → Nat → Std.Format
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Core.WALS.F85A.allData :
        List (Datapoint AdpositionNPOrder)

        Complete WALS 85A dataset (1184 languages).

        Equations
        Instances For
          source
          theorem Core.WALS.F85A.total_count :
          allData.length = 1184
          source
          theorem Core.WALS.F85A.count_postpositions :
          (List.filter (fun (x : Datapoint AdpositionNPOrder) => x.value == AdpositionNPOrder.postpositions) allData).length = 577
          source
          theorem Core.WALS.F85A.count_prepositions :
          (List.filter (fun (x : Datapoint AdpositionNPOrder) => x.value == AdpositionNPOrder.prepositions) allData).length = 511
          source
          theorem Core.WALS.F85A.count_inpositions :
          (List.filter (fun (x : Datapoint AdpositionNPOrder) => x.value == AdpositionNPOrder.inpositions) allData).length = 8
          source
          theorem Core.WALS.F85A.count_noDominantOrder :
          (List.filter (fun (x : Datapoint AdpositionNPOrder) => x.value == AdpositionNPOrder.noDominantOrder) allData).length = 58
          source
          theorem Core.WALS.F85A.count_noAdpositions :
          (List.filter (fun (x : Datapoint AdpositionNPOrder) => x.value == AdpositionNPOrder.noAdpositions) allData).length = 30
          source
          def Core.WALS.F85A.lookup (code : String) :
          Option (Datapoint AdpositionNPOrder)

          Look up a language by WALS code.

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

            Look up a language by ISO 639-3 code.

            Equations
            Instances For