abstract class Review_[S, T, A, B] extends Review0[T, B]

A Review_ describes how to construct a single value. It's a dual of Getter_.

A Review_ is isomorphic to an arbitrary function from (B -> T)

S

the source of a Review_

T

the modified source of a Review_

A

the focus of a Review_

B

the modified focus of a Review_

Self Type
Review_[S, T, A, B]
Source
Review.scala
Linear Supertypes
Review0[T, B], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Review_
  2. Review0
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Review_()

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def andThen[C, D](other: Review_[A, B, C, D]): Review_[S, T, C, D]

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

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

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

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

    compose this Review_ with an APrism_, having this Review_ applied first

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

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

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

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

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

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

  10. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  11. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  12. final def compose[C, D](other: Review_[C, D, S, T]): Review_[C, D, A, B]

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

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

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

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

    compose this Review_ with an APrism_, having this Review_ applied last

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

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

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

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

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

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

  18. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  20. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  21. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. final def reuse(implicit ev: State[B, T]): State[B, T]

    view the modified focus of a Review_ in the state of a monad

  28. final def review(b: B): T

    view the modified source of a Review_

    view the modified source of a Review_

    Definition Classes
    Review_ → Review0
  29. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  30. def toString(): String
    Definition Classes
    AnyRef → Any
  31. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  32. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  33. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from Review0[T, B]

Inherited from AnyRef

Inherited from Any

Ungrouped