Romanian polarity particles

Romanian has three polarity particles (Romanian.PolarityParticle): the positive da, the negative nu, and ba, which contradicts what it responds to and does not stand alone, being followed by da, nu or a clause: Ana nu a plecat. — Ba da, a plecat 'Ana didn't leave. — You are wrong, she did' ([FB10]). What each particle marks is analysed in FarkasBruce2010.

References

• [FB10]

inductive Romanian.PolarityParticle : Type

The Romanian polarity particles.

• da : PolarityParticle

  da 'yes': Ana a plecat. 'Ana left.' — Da.

• nu : PolarityParticle

  nu 'no': Ana nu a plecat. 'Ana didn't leave.' — Nu, n-a plecat.

• ba : PolarityParticle

  ba, contradicting: Ana a plecat. — Ba nu, n-a plecat. 'No, she didn't.'

@[instance_reducible]

instance Romanian.instDecidableEqPolarityParticle : DecidableEq PolarityParticle

Equations

• Romanian.instDecidableEqPolarityParticle x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Romanian.instReprPolarityParticle.repr : PolarityParticle → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Romanian.instReprPolarityParticle : Repr PolarityParticle

Equations

• Romanian.instReprPolarityParticle = { reprPrec := Romanian.instReprPolarityParticle.repr }

@[instance_reducible]

instance Romanian.instFintypePolarityParticle : Fintype PolarityParticle

Equations

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

def Romanian.PolarityParticle.form : PolarityParticle → String

The spelling of a polarity particle.

Equations

• Romanian.PolarityParticle.da.form = "da"
• Romanian.PolarityParticle.nu.form = "nu"
• Romanian.PolarityParticle.ba.form = "ba"