monocle

Iso

trait Iso[S, T, A, B] extends Lens[S, T, A, B] with Prism[S, T, A, B]

An Iso is a Lens that can be reversed and so it defines an isomorphism.

Self Type
Iso[S, T, A, B]
Linear Supertypes
Prism[S, T, A, B], Lens[S, T, A, B], Getter[S, A], Optional[S, T, A, B], Traversal[S, T, A, B], Fold[S, A], Setter[S, T, A, B], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Iso
  2. Prism
  3. Lens
  4. Getter
  5. Optional
  6. Traversal
  7. Fold
  8. Setter
  9. AnyRef
  10. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def lift[F[_]](from: S, f: (A) ⇒ F[B])(implicit arg0: Functor[F]): F[T]

    Definition Classes
    Lens
  2. abstract def reverse: Iso[B, A, T, S]

Concrete 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. def all(from: S)(p: (A) ⇒ Boolean): Boolean

    Definition Classes
    Fold
  5. def asFold: Fold[S, A]

    Definition Classes
    Fold
  6. def asGetter: Getter[S, A]

    Definition Classes
    Getter
  7. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  8. def asOptional: Optional[S, T, A, B]

    Definition Classes
    Optional
  9. def asPrism: Prism[S, T, A, B]

    Definition Classes
    Prism
  10. def asSetter: Setter[S, T, A, B]

    Definition Classes
    Setter
  11. def asTraversal: Traversal[S, T, A, B]

    Definition Classes
    Traversal
  12. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  13. def compose[C, D](other: Iso[A, B, C, D]): Iso[S, T, C, D]

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

    Definition Classes
    Prism
  15. def compose[C, D](other: Lens[A, B, C, D]): Lens[S, T, C, D]

    Definition Classes
    Lens
  16. def compose[B](other: Getter[A, B]): Getter[S, B]

    Definition Classes
    Getter
  17. def compose[C, D](other: Optional[A, B, C, D]): Optional[S, T, C, D]

    Definition Classes
    Optional
  18. def compose[C, D](other: Traversal[A, B, C, D]): Traversal[S, T, C, D]

    Definition Classes
    Traversal
  19. def compose[B](other: Fold[A, B]): Fold[S, B]

    Definition Classes
    Fold
  20. def compose[C, D](other: Setter[A, B, C, D]): Setter[S, T, C, D]

    Definition Classes
    Setter
  21. def composeFold[B](other: Fold[A, B]): Fold[S, B]

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Fold
  22. def composeGetter[B](other: Getter[A, B]): Getter[S, B]

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Getter
  23. def composeIso[C, D](other: Iso[A, B, C, D]): Iso[S, T, C, D]

    non overloaded compose function

  24. def composeLens[C, D](other: Lens[A, B, C, D]): Lens[S, T, C, D]

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Lens
  25. def composeOptional[C, D](other: Optional[A, B, C, D]): Optional[S, T, C, D]

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Optional
  26. def composePrism[C, D](other: Prism[A, B, C, D]): Prism[S, T, C, D]

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Prism
  27. def composeSetter[C, D](other: Setter[A, B, C, D]): Setter[S, T, C, D]

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Setter
  28. def composeTraversal[C, D](other: Traversal[A, B, C, D]): Traversal[S, T, C, D]

    non overloaded compose function

    non overloaded compose function

    Definition Classes
    Traversal
  29. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  30. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  31. def exist(from: S)(p: (A) ⇒ Boolean): Boolean

    Definition Classes
    Fold
  32. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  33. def fold(from: S)(implicit ev: Monoid[A]): A

    Definition Classes
    Fold
  34. def foldMap[M](from: S)(f: (A) ⇒ M)(implicit arg0: Monoid[M]): M

    Definition Classes
    LensTraversalFold
  35. def get(from: S): A

    Definition Classes
    LensGetter
  36. def getAll(from: S): List[A]

    Definition Classes
    Fold
  37. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  38. def getOption(from: S): Option[A]

    Definition Classes
    Optional
  39. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  40. def headOption(from: S): Option[A]

    Definition Classes
    Fold
  41. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  42. def modify(from: S, f: (A) ⇒ B): T

    Definition Classes
    TraversalSetter
  43. def multiLift[F[_]](from: S, f: (A) ⇒ F[B])(implicit arg0: Applicative[F]): F[T]

    Definition Classes
    LensTraversal
  44. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  45. final def notify(): Unit

    Definition Classes
    AnyRef
  46. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  47. def re: Getter[B, T]

    Definition Classes
    IsoPrism
  48. def reverseGet(from: B): T

    Definition Classes
    Prism
  49. def set(from: S, newValue: B): T

    Definition Classes
    Setter
  50. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  51. def toString(): String

    Definition Classes
    AnyRef → Any
  52. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  53. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  54. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Prism[S, T, A, B]

Inherited from Lens[S, T, A, B]

Inherited from Getter[S, A]

Inherited from Optional[S, T, A, B]

Inherited from Traversal[S, T, A, B]

Inherited from Fold[S, A]

Inherited from Setter[S, T, A, B]

Inherited from AnyRef

Inherited from Any

Ungrouped