trait
Iso[S, T, A, B] extends Lens[S, T, A, B] with Prism[S, T, A, B]
Abstract Value Members
-
abstract
def
lift[F[_]](from: S, f: (A) ⇒ F[B])(implicit arg0: Functor[F]): F[T]
-
abstract
def
reverse: Iso[B, A, T, S]
Concrete Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
def
all(from: S)(p: (A) ⇒ Boolean): Boolean
-
def
asFold: Fold[S, A]
-
def
asGetter: Getter[S, A]
-
final
def
asInstanceOf[T0]: T0
-
def
asPrism: Prism[S, T, A, B]
-
def
asSetter: Setter[S, T, A, B]
-
def
asTraversal: Traversal[S, T, A, B]
-
def
clone(): AnyRef
-
def
compose[C, D](other: Iso[A, B, C, D]): Iso[S, T, C, D]
-
def
compose[C, D](other: Prism[A, B, C, D]): Prism[S, T, C, D]
-
def
compose[C, D](other: Lens[A, B, C, D]): Lens[S, T, C, D]
-
def
compose[B](other: Getter[A, B]): Getter[S, B]
-
def
compose[C, D](other: Traversal[A, B, C, D]): Traversal[S, T, C, D]
-
def
compose[B](other: Fold[A, B]): Fold[S, B]
-
def
compose[C, D](other: Setter[A, B, C, D]): Setter[S, T, C, D]
-
def
composeFold[B](other: Fold[A, B]): Fold[S, B]
-
def
composeGetter[B](other: Getter[A, B]): Getter[S, B]
-
def
composeIso[C, D](other: Iso[A, B, C, D]): Iso[S, T, C, D]
-
def
composeLens[C, D](other: Lens[A, B, C, D]): Lens[S, T, C, D]
-
def
composePrism[C, D](other: Prism[A, B, C, D]): Prism[S, T, C, D]
-
def
composeSetter[C, D](other: Setter[A, B, C, D]): Setter[S, T, C, D]
-
def
composeTraversal[C, D](other: Traversal[A, B, C, D]): Traversal[S, T, C, D]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
exist(from: S)(p: (A) ⇒ Boolean): Boolean
-
def
finalize(): Unit
-
def
fold(from: S)(implicit ev: Monoid[A]): A
-
def
foldMap[M](from: S)(f: (A) ⇒ M)(implicit arg0: Monoid[M]): M
-
def
get(from: S): A
-
def
getAll(from: S): List[A]
-
final
def
getClass(): Class[_]
-
def
getOption(from: S): Option[A]
-
def
hashCode(): Int
-
def
headOption(from: S): Option[A]
-
final
def
isInstanceOf[T0]: Boolean
-
def
modify(from: S, f: (A) ⇒ B): T
-
def
multiLift[F[_]](from: S, f: (A) ⇒ F[B])(implicit arg0: Applicative[F]): F[T]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
re: Getter[B, T]
-
def
reverseGet(from: B): T
-
def
set(from: S, newValue: B): T
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from Prism[S, T, A, B]
Inherited from Lens[S, T, A, B]
Inherited from Fold[S, A]
Inherited from Setter[S, T, A, B]
Inherited from AnyRef
Inherited from Any
An Iso is a Lens that can be reversed and so it defines an isomorphism.