Proptics core/proptics.syntax/SetterSTAAOps

SetterSTAAOps

final case class SetterSTAAOps[S, T, A](setter: Setter_[S, T, A, A]) extends AnyVal
trait Product
trait Equals
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def addOver(s: S)(a: A)(implicit ev0: Semiring[A]): T

modify the focus type of a Setter_ using a Semiring additive

modify the focus type of a Setter_ using a Semiring additive

def appendOver(s: S)(a: A)(implicit ev0: Semigroup[A]): T

modify the focus type of a Setter_ using a Semigroup combine

modify the focus type of a Setter_ using a Semigroup combine

def conjOver(s: S)(a: A)(implicit ev0: Heyting[A]): T

modify the focus type of a Setter_ using a Heyting and

modify the focus type of a Setter_ using a Heyting and

def disjOver(s: S)(a: A)(implicit ev0: Heyting[A]): T

modify the focus type of a Setter_ using a Heyting or

modify the focus type of a Setter_ using a Heyting or

def divOver(s: S)(a: A)(implicit ev0: Field[A]): T

modify the focus type of a Setter_ using a Field div

modify the focus type of a Setter_ using a Field div

def mulOver(s: S)(a: A)(implicit ev0: Semiring[A]): T

modify the focus type of a Setter_ using a Semiring multiplicative

modify the focus type of a Setter_ using a Semiring multiplicative

def subOver(s: S)(a: A)(implicit ev0: Ring[A]): T

modify the focus type of a Setter_ using a Ring minus

modify the focus type of a Setter_ using a Ring minus

Inherited methods

def productIterator: Iterator[Any]
Inherited from:
Product