The (ING) variable

Shared type for the phonological variable (ING) — the alternation between velar [ɪŋ] (-ing) and apical [ɪn] (-in') variants of the English progressive/gerund suffix.

This is arguably the most-studied variable in sociolinguistics (@cite{labov-2006}, @cite{campbell-kibler-2007}, @cite{eckert-2008}, @cite{burnett-2019}). The shared type is imported by study files that formalize different aspects of (ING).

inductive Phenomena.SocialMeaning.ING.INGVariant : Type

The two variants of the (ING) variable. Velar [ɪŋ] is the standard/prestige variant; apical [ɪn] is the vernacular variant.

• velar : INGVariant
• apical : INGVariant

@[implicit_reducible]

instance Phenomena.SocialMeaning.ING.instDecidableEqINGVariant : DecidableEq INGVariant

Equations

• Phenomena.SocialMeaning.ING.instDecidableEqINGVariant x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Phenomena.SocialMeaning.ING.instReprINGVariant : Repr INGVariant

Equations

• Phenomena.SocialMeaning.ING.instReprINGVariant = { reprPrec := Phenomena.SocialMeaning.ING.instReprINGVariant.repr }

def Phenomena.SocialMeaning.ING.instReprINGVariant.repr : INGVariant → ℕ → Std.Format

Equations

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

def Phenomena.SocialMeaning.ING.instInhabitedINGVariant.default : INGVariant

Equations

• Phenomena.SocialMeaning.ING.instInhabitedINGVariant.default = Phenomena.SocialMeaning.ING.INGVariant.velar

@[implicit_reducible]

instance Phenomena.SocialMeaning.ING.instInhabitedINGVariant : Inhabited INGVariant

Equations

• Phenomena.SocialMeaning.ING.instInhabitedINGVariant = { default := Phenomena.SocialMeaning.ING.instInhabitedINGVariant.default }

@[implicit_reducible]

instance Phenomena.SocialMeaning.ING.instFintypeINGVariant : Fintype INGVariant

Equations

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