Proptics core/proptics/Iso

Iso

object Iso
class Object
trait Matchable
class Any
Iso.type

Value members

Concrete methods

final def apply[S, A](view: S => A)(review: A => S): Iso[S, A]

create a monomorphic Iso from pair of functions

create a monomorphic Iso from pair of functions

view -> from the source of an Iso to the focus of an Iso, review -> from the focus of an Iso to the source of an Iso

final def bimap[F[_, _]]: BimapPartiallyApplied[F]

lift a polymorphic Iso_ to operate on Bifunctors

lift a polymorphic Iso_ to operate on Bifunctors

final def contramap[F[_]]: ContravariantPartiallyApplied[F]
final def id[S]: Iso[S, S]

monomorphic identity of an Iso

monomorphic identity of an Iso

final def involuted[A](update: A => A): Iso[A, A]

create an Iso from a function that is its own inverse

create an Iso from a function that is its own inverse

final def iso[S, A](view: S => A)(review: A => S): Iso[S, A]

synonym to apply

synonym to apply

final def map[F[_]]: MapPartiallyApplied[F]

lift a polymorphic Iso_ to operate on Functors

lift a polymorphic Iso_ to operate on Functors

final def non[A](a: A)(implicit ev: Eq[A]): Iso[Option[A], A]

if A1 is obtained from A by removing a single value, then Option[A1] is isomorphic to A

if A1 is obtained from A by removing a single value, then Option[A1] is isomorphic to A