sealed
trait
LensT[F[+_], A, B] extends AnyRef
Type Members
-
trait
LensLaw extends AnyRef
Abstract Value Members
-
abstract
def
run(a: A): F[Store[B, A]]
Concrete Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
%%=[C](s: StateT[F, B, C])(implicit M: Bind[F]): StateT[F, A, C]
-
def
%=(f: (B) ⇒ B)(implicit F: Functor[F]): StateT[F, A, B]
-
def
%==(f: (B) ⇒ B)(implicit F: Functor[F]): StateT[F, A, Unit]
-
def
***[C, D](that: LensT[F, C, D])(implicit F: Apply[F]): LensT[F, (A, C), (B, D)]
-
def
->>-[C](f: ⇒ StateT[F, A, C])(implicit F: Bind[F]): StateT[F, A, C]
-
def
:=(b: ⇒ B)(implicit F: Functor[F]): StateT[F, A, B]
-
def
<=<[C](that: LensT[F, C, A])(implicit F: Bind[F]): LensT[F, C, B]
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
def
=>=(f: (B) ⇒ B)(implicit F: Functor[F]): (A) ⇒ F[A]
-
def
=>>=[X[_]](f: (B) ⇒ X[B])(implicit F: Functor[F], XF: Functor[X]): (A) ⇒ F[X[A]]
-
def
>-[C](f: (B) ⇒ C)(implicit F: Functor[F]): StateT[F, A, C]
-
def
>=>[C](that: LensT[F, B, C])(implicit F: Bind[F]): LensT[F, A, C]
-
def
>>-[C](f: (B) ⇒ StateT[F, A, C])(implicit F: Bind[F]): StateT[F, A, C]
-
def
andThen[C](that: LensT[F, B, C])(implicit F: Bind[F]): LensT[F, A, C]
-
def
apply(a: A): F[Store[B, A]]
-
final
def
asInstanceOf[T0]: T0
-
def
assign(b: ⇒ B)(implicit F: Functor[F]): StateT[F, A, B]
-
def
clone(): AnyRef
-
def
compose[C](that: LensT[F, C, A])(implicit F: Bind[F]): LensT[F, C, B]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
def
flatMap[C](f: (B) ⇒ StateT[F, A, C])(implicit F: Bind[F]): StateT[F, A, C]
-
def
get(a: A)(implicit F: Functor[F]): F[B]
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
def
lifts[C](s: StateT[F, B, C])(implicit M: Bind[F]): StateT[F, A, C]
-
def
liftsNT(implicit F: Bind[F]): ~>[[x]StateT[F, B, x], [x]StateT[F, A, x]]
-
def
map[C](f: (B) ⇒ C)(implicit F: Functor[F]): StateT[F, A, C]
-
def
mod(f: (B) ⇒ B, a: A)(implicit F: Functor[F]): F[A]
-
def
modf[X[_]](f: (B) ⇒ X[B], a: A)(implicit F: Functor[F], XF: Functor[X]): F[X[A]]
-
def
modp[C](f: (B) ⇒ F[(B, C)], a: A)(implicit F: Bind[F]): F[(A, C)]
-
def
mods(f: (B) ⇒ B)(implicit F: Functor[F]): StateT[F, A, B]
-
def
mods_(f: (B) ⇒ B)(implicit F: Functor[F]): StateT[F, A, Unit]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
partial(implicit F: Functor[F]): PLensT[F, A, B]
-
def
product[C, D](that: LensT[F, C, D])(implicit F: Apply[F]): LensT[F, (A, C), (B, D)]
-
def
set(a: A, b: B)(implicit F: Functor[F]): F[A]
-
def
st(implicit F: Functor[F]): StateT[F, A, B]
-
def
sum[C](that: ⇒ LensT[F, C, B])(implicit F: Functor[F]): LensT[F, \/[A, C], B]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
unary_~(implicit F: Functor[F]): PLensT[F, A, B]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
xmapA[X](f: (A) ⇒ X)(g: (X) ⇒ A)(implicit F: Functor[F]): LensT[F, X, B]
-
def
xmapB[X](f: (B) ⇒ X)(g: (X) ⇒ B)(implicit F: Functor[F]): LensT[F, A, X]
-
-
-
def
|||[C](that: ⇒ LensT[F, C, B])(implicit F: Functor[F]): LensT[F, \/[A, C], B]
Inherited from AnyRef
Inherited from Any
A Lens, offering a purely functional means to access and retrieve a field of type
B
in a record of typeA
.The term field should not be interpreted restrictively to mean a member of a class. For example, a lens can address membership of a
Set
.The type of the record
The type of the field
scalaz.PLens