Tarifit phones #

The consonants of Tarifit (Nador variety) that occur in the CCəC target words of the production study, as they surface in the simple imperative, together with the schwa. Singleton /b, d, t/ spirantize to [β, ð, θ] outside post-nasal and pharyngealized contexts, and the pharyngeal /ʕ/ is an approximant. Each phone is a feature-specified Segment, so its sonority class on the Parker scale is read off by Sonority.Class.ofSegment rather than stored. PHOIBLE has no Tarifit inventory.

References #

[afkir-zellou-2025], §2.1
[parker-2002]

source

inductive Tarifit.Phone :

Type

The phones of the CCəC target words, as they surface.

q : Phone
k : Phone
t : Phone
tE : Phone
dE : Phone
beta : Phone
eth : Phone
theta : Phone
f : Phone
s : Phone
esh : Phone
chi : Phone
hbar : Phone
z : Phone
ezh : Phone
ghayn : Phone
ayn : Phone
m : Phone
n : Phone
r : Phone
l : Phone
schwa : Phone

Instances For

source

@[instance_reducible]

instance Tarifit.instDecidableEqPhone :

DecidableEq Phone

Equations

Tarifit.instDecidableEqPhone x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

source

@[instance_reducible]

instance Tarifit.instFintypePhone :

Fintype Phone

Equations

Tarifit.instFintypePhone = { elems := { val := ↑Tarifit.Phone.enumList, nodup := Tarifit.Phone.enumList_nodup }, complete := Tarifit.instFintypePhone._proof_1 }

source

@[instance_reducible]

instance Tarifit.instReprPhone :

Repr Phone

Equations

Tarifit.instReprPhone = { reprPrec := Tarifit.instReprPhone.repr }

source

def Tarifit.instReprPhone.repr :

Phone → ℕ → Std.Format

Equations

Tarifit.instReprPhone.repr Tarifit.Phone.q prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.q")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.k prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.k")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.t prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.t")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.tE prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.tE")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.dE prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.dE")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.beta prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.beta")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.eth prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.eth")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.theta prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.theta")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.f prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.f")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.s prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.s")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.esh prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.esh")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.chi prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.chi")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.hbar prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.hbar")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.z prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.z")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.ezh prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.ezh")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.ghayn prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.ghayn")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.ayn prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.ayn")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.m prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.m")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.n prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.n")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.r prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.r")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.l prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.l")).group prec✝
Tarifit.instReprPhone.repr Tarifit.Phone.schwa prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tarifit.Phone.schwa")).group prec✝

Instances For

source

def Tarifit.Phone.ipa :

Phone → String

IPA transcription.

Equations

Instances For

source

def Tarifit.Phone.segment :

Phone → Phonology.Segment

The feature specification of each phone: uvular /q/, velar /k/, alveolar /t/, the pharyngealized /tˤ, dˤ/, the spirants and fricatives, the pharyngeal approximant /ʕ/, the nasals, the tap /r/, the lateral /l/, and the schwa.

Equations