abstract class AnIso_[S, T, A, B] extends Iso0[S, T, A, B]

An AnIso_ is a generalized isomorphism.

An AnIso_ is a complete reversible transformation between two types.

An AnIso_ is an Iso_ with fixed type proptics.internal.Exchange cats.arrow.Profunctor

S

the source of a AnIso_

T

the modified source of an AnIso_

A

the focus of an AnIso_

B

the modified focus of an AnIso_

Self Type
AnIso_[S, T, A, B]
Source
AnIso.scala
Linear Supertypes
Iso0[S, T, A, B], Review0[T, B], Getter1[S, A], Getter0[S, A], Serializable, Traversal0[S, T, A, B], Setter0[S, T, A, B], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AnIso_
  2. Iso0
  3. Review0
  4. Getter1
  5. Getter0
  6. Serializable
  7. Traversal0
  8. Setter0
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new AnIso_()

Abstract Value Members

  1. abstract def review(b: B): T

    view the modified source of a Review

    view the modified source of a Review

    Definition Classes
    Review0

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. final def andThen[I, C, D](other: IndexedFold_[I, A, B, C, D]): IndexedFold_[I, S, T, C, D]

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

  5. final def andThen[I, C, D](other: IndexedGetter_[I, A, B, C, D]): IndexedFold_[I, S, T, C, D]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    compose this AnIso_ with a Fold_, having this AnIso_ applied first

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

    compose this AnIso_ with a Getter_, having this AnIso_ applied first

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

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

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

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

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

    compose this AnIso_ with a Traversal_, having this AnIso_ applied first

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

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

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

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

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

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

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

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

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

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

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

    compose this AnIso_ with a Lens_, having this AnIso_ applied first

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

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

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

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

  25. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  26. final def asIso: Iso_[S, T, A, B]

    transform an AnIso_ to an Iso_

  27. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  28. final def compose[I, C, D](other: IndexedFold_[I, C, D, S, T]): IndexedFold_[I, C, D, A, B]

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

  29. final def compose[I, C, D](other: IndexedGetter_[I, C, D, S, T]): IndexedFold_[I, C, D, A, B]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    compose this AnIso_ with a Fold_, having this AnIso_ applied last

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

    compose this AnIso_ with a Getter_, having this AnIso_ applied last

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

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

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

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

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

    compose this AnIso_ with a Traversal_, having this AnIso_ applied last

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

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

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

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

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

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

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

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

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

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

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

    compose this AnIso_ with a Lens_, having this AnIso_ applied last

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

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

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

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

  49. final def contains(a: A)(s: S)(implicit ev: Eq[A]): Boolean

    test whether the focus of a Getter contains a given value

    test whether the focus of a Getter contains a given value

    Definition Classes
    Getter0
  50. final def cotraverse[F[_]](fs: F[S])(f: (F[A]) => B)(implicit ev: Applicative[F]): T

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

  51. final def dimapping[P[_, _], Q[_, _], SS, TT, AA, BB](other: AnIso_[SS, TT, AA, BB])(implicit ev0: Profunctor[P], ev1: Profunctor[Q]): Iso_[P[A, SS], Q[B, TT], P[S, AA], Q[T, BB]]

    lift two Iso_ instances into both arguments of a cats.arrow.Profunctor simultaneously.

  52. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  53. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  54. def exists(f: (A) => Boolean): (S) => Boolean

    test whether a predicate holds for the focus of a Getter

    test whether a predicate holds for the focus of a Getter

    Definition Classes
    Getter0
  55. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  56. final def find(f: (A) => Boolean): (S) => Option[A]

    find the first focus of a Getter that satisfies a predicate, if there is any

    find the first focus of a Getter that satisfies a predicate, if there is any

    Definition Classes
    Getter1 → Getter0
  57. final def focus[C, D](f: (A) => C): Getter_[S, T, C, D]

    compose this AnIso_ with a function lifted to a Getter_, having this AnIso_ applied first

  58. def foldMap[R](s: S)(f: (A) => R)(implicit arg0: Monoid[R]): R
    Attributes
    protected
    Definition Classes
    Traversal0
  59. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  60. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  61. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  62. final def mapping[F[_], G[_]](implicit ev0: Functor[F], ev1: Functor[G]): Iso_[F[S], G[T], F[A], G[B]]

    lift an Iso_ into an arbitrary Functor.

  63. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  64. final def notContains(a: A)(s: S)(implicit ev: Eq[A]): Boolean

    test whether the focus of a Getter does not contain a given value

    test whether the focus of a Getter does not contain a given value

    Definition Classes
    Getter0
  65. final def notExists(f: (A) => Boolean): (S) => Boolean

    test whether a predicate does not hold for the focus of a Getter

    test whether a predicate does not hold for the focus of a Getter

    Definition Classes
    Getter0
  66. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  67. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  68. final def over(f: (A) => B): (S) => T

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

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

    Definition Classes
    AnIso_ → Setter0
  69. final def overF[F[_]](f: (A) => F[B])(s: S)(implicit arg0: Applicative[F]): F[T]

    synonym for traverse, flipped

    synonym for traverse, flipped

    Definition Classes
    Traversal0
  70. final def reverse: AnIso_[B, A, T, S]

    reverse an AnIso_ by swapping the source and the focus

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

    set the modified focus of a Setter

    set the modified focus of a Setter

    Definition Classes
    Setter0
  72. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  73. final def toExchange: Exchange[A, B, S, T]

    convert an AnIso_ to an Exchange[A, B, S, T]

  74. def toString(): String
    Definition Classes
    AnyRef → Any
  75. final def traverse[F[_]](s: S)(f: (A) => F[B])(implicit ev: Applicative[F]): F[T]

    modify the focus type of an AnIso_ using a Functor, resulting in a change of type to the full structure

    modify the focus type of an AnIso_ using a Functor, resulting in a change of type to the full structure

    Definition Classes
    AnIso_ → Traversal0
  76. final def under(f: (T) => S): (B) => A

    the opposite of working over a AnIso_.set is working under an isomorphism

  77. final def use(implicit ev: State[S, A]): State[S, A]

    view the focus of a Getter in the state of a monad

    view the focus of a Getter in the state of a monad

    Definition Classes
    Getter1
  78. final def view(s: S): A

    view the focus of an AnIso_

    view the focus of an AnIso_

    Definition Classes
    AnIso_ → Getter1
  79. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  80. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  81. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  82. final def withIso[R](f: ((S) => A) => ((B) => T) => R): R

    convert an AnIso_ to the pair of functions that characterize it

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

    synonym for cotraverse, flipped

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

Inherited from Review0[T, B]

Inherited from Getter1[S, A]

Inherited from Getter0[S, A]

Inherited from Serializable

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped