Italian plurals in -a

The Standard Italian nouns whose plural ends in unstressed -a and is feminine although the singular is masculine, after Maiden and Robustelli's list as given in [Ada24], beside regular plurals in -i and -e that keep the singular's gender.

References

• [Ada24]

inductive Italian.NumberGender.PluralClass : Type

The plural class by ending: the irregular -a plural or the regular -i / -e one.

• aPlural : PluralClass
• regular : PluralClass

@[instance_reducible]

instance Italian.NumberGender.instDecidableEqPluralClass : DecidableEq PluralClass

Equations

• Italian.NumberGender.instDecidableEqPluralClass x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Italian.NumberGender.instReprPluralClass.repr : PluralClass → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance Italian.NumberGender.instReprPluralClass : Repr PluralClass

Equations

• Italian.NumberGender.instReprPluralClass = { reprPrec := Italian.NumberGender.instReprPluralClass.repr }

@[instance_reducible]

instance Italian.NumberGender.instFintypePluralClass : Fintype PluralClass

Equations

• One or more equations did not get rendered due to their size.

structure Italian.NumberGender.Nounextends GenderedNoun Gender : Type

A noun with its singular form and gender, its plural form and gender, and its plural class.

• form : String
• gloss : String
• gender : Gender
• naturalGender : Option Gender
• formPl : String

  The plural form.

• plGender : Gender

  The gender of the plural.

• pluralClass : PluralClass

  The plural class.

def Italian.NumberGender.instDecidableEqNoun.decEq (x✝ x✝¹ : Noun) : Decidable (x✝ = x✝¹)

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance Italian.NumberGender.instDecidableEqNoun : DecidableEq Noun

Equations

• Italian.NumberGender.instDecidableEqNoun = Italian.NumberGender.instDecidableEqNoun.decEq

def Italian.NumberGender.instReprNoun.repr : Noun → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance Italian.NumberGender.instReprNoun : Repr Noun

Equations

• Italian.NumberGender.instReprNoun = { reprPrec := Italian.NumberGender.instReprNoun.repr }

def Italian.NumberGender.aPlurals : List Noun

The -a plurals.

Equations

• One or more equations did not get rendered due to their size.

def Italian.NumberGender.regulars : List Noun

Regular plurals.

Equations

• One or more equations did not get rendered due to their size.