Proptics core/proptics/Grate_

Grate_

abstract class Grate_[S, T, A, B] extends Serializable

A Grate_ allows a generalized zipWith operation.

Type parameters:
A

the focus of a Grate_

B

the modified focus of a Grate_

S

the source of a Grate_

T

the modified source of a Grate_

Companion:
object
class Object
trait Matchable
class Any
Grate_[S, T, A, B]

Value members

Concrete methods

final def andThen[C, D](other: Iso_[A, B, C, D]): Grate_[S, T, C, D]

compose this Grate_ with an Iso_, having this Grate_ applied first

compose this Grate_ with an Iso_, having this Grate_ applied first

final def andThen[C, D](other: AnIso_[A, B, C, D]): Grate_[S, T, C, D]

compose this Grate_ with an AnIso_, having this Grate_ applied first

compose this Grate_ with an AnIso_, having this Grate_ applied first

final def andThen[C, D](other: Setter_[A, B, C, D]): Setter_[S, T, C, D]

compose this Grate_ with a Setter_, having this Grate_ applied first

compose this Grate_ with a Setter_, having this Grate_ applied first

final def andThen[C, D](other: Grate_[A, B, C, D]): Grate_[S, T, C, D]

compose this Grate_ with a Grate_, having this Grate_ applied first

compose this Grate_ with a Grate_, having this Grate_ applied first

final def andThen[C, D](other: Review_[A, B, C, D]): Review_[S, T, C, D]

compose this Grate_ with a Review_, having this Grate_ applied first

compose this Grate_ with a Review_, having this Grate_ applied first

final def andThen[I, C, D](other: IndexedSetter_[I, A, B, C, D]): IndexedSetter_[I, S, T, C, D]

compose this Grate_ with an IndexedSetter_, having this Grate_ applied first

compose this Grate_ with an IndexedSetter_, having this Grate_ applied first

final def compose[C, D](other: Iso_[C, D, S, T]): Grate_[C, D, A, B]

compose this Grate_ with an Iso_, having this Grate_ applied last

compose this Grate_ with an Iso_, having this Grate_ applied last

final def compose[C, D](other: AnIso_[C, D, S, T]): Grate_[C, D, A, B]

compose this Grate_ with an AnIso_, having this Grate_ applied last

compose this Grate_ with an AnIso_, having this Grate_ applied last

final def compose[C, D](other: Setter_[C, D, S, T]): Setter_[C, D, A, B]

compose this Grate_ with a Setter_, having this Grate_ applied last

compose this Grate_ with a Setter_, having this Grate_ applied last

final def compose[C, D](other: Grate_[C, D, S, T]): Grate_[C, D, A, B]

compose this Grate_ with a Grate_, having this Grate_ applied last

compose this Grate_ with a Grate_, having this Grate_ applied last

final def compose[C, D](other: Review_[C, D, S, T]): Review_[C, D, A, B]

compose this Grate_ with a Review_, having this Grate_ applied last

compose this Grate_ with a Review_, having this Grate_ applied last

final def compose[I, C, D](other: IndexedSetter_[I, C, D, S, T]): IndexedSetter_[I, C, D, A, B]

compose this Grate_ with an IndexedSetter_, having this Grate_ applied last

compose this Grate_ with an IndexedSetter_, having this Grate_ applied last

final def cotraverse[F[_] : Applicative](fs: F[S])(f: F[A] => B): T

modify an effectful focus of a Grate_ to the type of the modified focus, resulting in a change of type to the full structure

modify an effectful focus of a Grate_ to the type of the modified focus, resulting in a change of type to the full structure

final def over(f: A => B): S => T

modify the focus type of a Grate_ using a function, resulting in a change of type to the full structure

modify the focus type of a Grate_ using a function, resulting in a change of type to the full structure

final def review(b: B): T

view the modified source of a Grate_

view the modified source of a Grate_

final def set(b: B): S => T

set the modified focus of a Grate_

set the modified focus of a Grate_

final def zipWith(s1: S, s2: S)(f: (A, A) => B): T

zip two sources of a Grate_ together provided a binary operation which modify the focus of a Grate_

zip two sources of a Grate_ together provided a binary operation which modify the focus of a Grate_

final def zipWithF[F[_] : Applicative](f: F[A] => B)(fs: F[S]): T

synonym for cotraverse, flipped

synonym for cotraverse, flipped