Documentation

Linglib.Fragments.Swahili.Basic

Swahili: Basic Types #

Shared types for the Swahili fragment, primarily the noun class system. Swahili has 18 noun classes (1–10, 14–18), following the standard Bantu numbering. Classes 1/2 are singular/plural animate (human), classes 3–10 are inanimate with various semantic associations, and classes 15–18 are infinitive and locative classes.

Noun class is the fundamental organizing principle of Swahili morphosyntax: it conditions subject/object agreement on the verb, possessive agreement, demonstrative agreement, and — crucially for relativization — the form of resumptive pronouns (@cite{scott-2021}).

Noun Class and Gender #

Following @cite{carstens-1991} and @cite{kramer-2015}, noun class in Bantu expresses the combination of number and gender. Classes come in singular/plural pairs that define a "gender" (e.g., gender A = cl1/cl2 = human sg/pl).

source
inductive Fragments.Swahili.NounClass :
Type

Swahili noun classes. Standard Bantu numbering (1–10, 14–18). Classes 11–13 are absent in Swahili.

Instances For
    source
    instance Fragments.Swahili.instDecidableEqNounClass :
    DecidableEq NounClass
    Equations
    source
    instance Fragments.Swahili.instBEqNounClass :
    BEq NounClass
    Equations
    source
    def Fragments.Swahili.instBEqNounClass.beq :
    NounClass → NounClass → Bool
    Equations
    Instances For
      source
      def Fragments.Swahili.instReprNounClass.repr :
      NounClass → Nat → Std.Format
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        instance Fragments.Swahili.instReprNounClass :
        Repr NounClass
        Equations
        source
        def Fragments.Swahili.NounClass.isAnimate :
        NounClass → Bool

        Whether a noun class is animate (classes 1 and 2). Animate classes trigger person-matching resumptive pronouns in relativization.

        Equations
        Instances For
          source
          def Fragments.Swahili.NounClass.isLocative :
          NounClass → Bool

          Whether a noun class is a locative class (16, 17, 18).

          Equations
          Instances For
            source
            def Fragments.Swahili.NounClass.isSingular :
            NounClass → Bool

            Whether a noun class is singular.

            Equations
            Instances For
              source
              def Fragments.Swahili.NounClass.subjPrefix :
              NounClass → String

              Subject prefix for each class on the verb.

              Equations
              Instances For
                source
                inductive Fragments.Swahili.Gender :
                Type

                Bantu genders: singular/plural noun class pairings. @cite{carstens-1991}: different number/gender combinations constitute different noun classes. @cite{scott-2021} Table 3.

                Instances For
                  source
                  instance Fragments.Swahili.instDecidableEqGender :
                  DecidableEq Gender
                  Equations
                  source
                  def Fragments.Swahili.instBEqGender.beq :
                  Gender → Gender → Bool
                  Equations
                  Instances For
                    source
                    instance Fragments.Swahili.instBEqGender :
                    BEq Gender
                    Equations
                    source
                    def Fragments.Swahili.instReprGender.repr :
                    Gender → Nat → Std.Format
                    Equations
                    • One or more equations did not get rendered due to their size.
                    Instances For
                      source
                      instance Fragments.Swahili.instReprGender :
                      Repr Gender
                      Equations
                      source
                      def Fragments.Swahili.Gender.singularClass :
                      Gender → NounClass

                      Singular class for a gender.

                      Equations
                      Instances For
                        source
                        def Fragments.Swahili.Gender.pluralClass :
                        Gender → NounClass

                        Plural class for a gender.

                        Equations
                        Instances For