French gender

French has two genders, the masculine and the feminine.

References

• [Cor91]

inductive French.Gender.Value : Type

The two genders.

• masculine : Value
• feminine : Value

@[instance_reducible]

instance French.Gender.instDecidableEqValue : DecidableEq Value

Equations

• French.Gender.instDecidableEqValue x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def French.Gender.instReprValue.repr : Value → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance French.Gender.instReprValue : Repr Value

Equations

• French.Gender.instReprValue = { reprPrec := French.Gender.instReprValue.repr }

@[instance_reducible]

instance French.Gender.instFintypeValue : Fintype Value

Equations

• French.Gender.instFintypeValue = { elems := { val := ↑French.Gender.Value.enumList, nodup := French.Gender.Value.enumList_nodup }, complete := French.Gender.instFintypeValue._proof_1 }