scalaz-core/scalaz/Lens

Lens

object Lens extends LensInstances with LensFunctions
See also
class Object
trait Matchable
class Any

Type members

Inherited classlikes

case
class ArrayLensFamily[S1, S2, A](lens: LensFamily[S1, S2, Array[A], Array[A]])

Provide an imperative-seeming API for arrays viewed through a lens

Provide an imperative-seeming API for arrays viewed through a lens

Inherited from
LensInstances
case
class FractionalLensFamily[S1, S2, F](lens: LensFamily[S1, S2, F, F], frac: Fractional[F])

Allow the illusion of imperative updates to numbers viewed through a lens

Allow the illusion of imperative updates to numbers viewed through a lens

Inherited from
LensInstances
case
class IntegralLensFamily[S1, S2, I](lens: LensFamily[S1, S2, I, I], ig: Integral[I])

Allow the illusion of imperative updates to numbers viewed through a lens

Allow the illusion of imperative updates to numbers viewed through a lens

Inherited from
LensInstances
case
class MapLensFamily[S1, S2, K, V](lens: LensFamily[S1, S2, Map[K, V], Map[K, V]])

A lens that views an immutable Map type can provide a mutable.Map-like API via State

A lens that views an immutable Map type can provide a mutable.Map-like API via State

Inherited from
LensInstances
case
class NumericLensFamily[S1, S2, N](lens: LensFamily[S1, S2, N, N], num: Numeric[N])

Allow the illusion of imperative updates to numbers viewed through a lens

Allow the illusion of imperative updates to numbers viewed through a lens

Inherited from
LensInstances
case
class QueueLensFamily[S1, S2, A](lens: LensFamily[S1, S2, Queue[A], Queue[A]])

Provide an imperative-seeming API for queues viewed through a lens

Provide an imperative-seeming API for queues viewed through a lens

Inherited from
LensInstances
case
class SeqLikeLensFamily[S1, S2, A, Repr <: SeqLike[A, Repr]](lens: LensFamily[S1, S2, Repr, Repr])

Provide the appearance of a mutable-like API for sorting sequences through a lens

Provide the appearance of a mutable-like API for sorting sequences through a lens

Inherited from
LensInstances
case
class SetLensFamily[S1, S2, K](lens: LensFamily[S1, S2, Set[K], Set[K]])
Inherited from
LensInstances

Inherited types

type ArrayLens[S, A] = ArrayLensFamily[S, S, A]
Inherited from
LensInstances
type FractionalLens[S, F] = FractionalLensFamily[S, S, F]
Inherited from
LensInstances
type IntegralLens[S, I] = IntegralLensFamily[S, S, I]
Inherited from
LensInstances
type MapLens[S, K, V] = MapLensFamily[S, S, K, V]
Inherited from
LensInstances
type NumericLens[S, N] = NumericLensFamily[S, S, N]
Inherited from
LensInstances
type QueueLens[S, A] = QueueLensFamily[S, S, A]
Inherited from
LensInstances
type SeqLikeLens[S, A, Repr <: SeqLike[A, Repr]] = SeqLikeLensFamily[S, S, A, Repr]
Inherited from
LensInstances
type SetLens[S, K] = SetLensFamily[S, S, K]
Inherited from
LensInstances

Value members

Concrete methods

def apply[A, B](r: A => Store[B, A]): Lens[A, B]

Inherited methods

def applyLens[A, B](k: B => A)(implicit e: Equal[A]): Lens[Store[A, B], B]
Inherited from
LensFunctions
def codiagLens[A]: Lens[A \/ A, A]

A lens that discards the choice of right or left from disjunction

A lens that discards the choice of right or left from disjunction

Inherited from
LensFunctions
def codiagLensFamily[A1, A2]: LensFamily[A1 \/ A1, A2 \/ A2, A1, A2]

A lens family that discards the choice of right or left from disjunction

A lens family that discards the choice of right or left from disjunction

Inherited from
LensFamilyFunctions
def distributeLens[A, B, C]: Lens[(A, B \/ C), (A, B) \/ (A, C)]
Inherited from
LensFunctions
def distributeLensFamily[A1, A2, B1, B2, C1, C2]: LensFamily[(A1, B1 \/ C1), (A2, B2 \/ C2), (A1, B1) \/ (A1, C1), (A2, B2) \/ (A2, C2)]
Inherited from
LensFamilyFunctions
def factorLens[A, B, C]: Lens[(A, B) \/ (A, C), (A, B \/ C)]
Inherited from
LensFunctions
def factorLensFamily[A1, A2, B1, B2, C1, C2]: LensFamily[(A1, B1) \/ (A1, C1), (A2, B2) \/ (A2, C2), (A1, B1 \/ C1), (A2, B2 \/ C2)]
Inherited from
LensFamilyFunctions
def firstLens[A, B]: Lens[(A, B), A]

Access the first field of a tuple

Access the first field of a tuple

Inherited from
LensFunctions
def firstLensFamily[A1, A2, B]: LensFamily[(A1, B), (A2, B), A1, A2]

Polymorphically access the first field of a tuple

Polymorphically access the first field of a tuple

Inherited from
LensFamilyFunctions
def lazyFirstLens[A, B]: Lens[LazyTuple2[A, B], A]

Access the first field of a tuple

Access the first field of a tuple

Inherited from
LensFunctions
def lazyFirstLensFamily[A1, A2, B]: LensFamily[LazyTuple2[A1, B], LazyTuple2[A2, B], A1, A2]

Polymorphically access the first field of a tuple

Polymorphically access the first field of a tuple

Inherited from
LensFamilyFunctions
def lazySecondLens[A, B]: Lens[LazyTuple2[A, B], B]

Access the second field of a tuple

Access the second field of a tuple

Inherited from
LensFunctions
def lazySecondLensFamily[A, B1, B2]: LensFamily[LazyTuple2[A, B1], LazyTuple2[A, B2], B1, B2]

Polymorphically access the second field of a tuple

Polymorphically access the second field of a tuple

Inherited from
LensFamilyFunctions
def lens[A, B](r: A => Store[B, A]): Lens[A, B]
Inherited from
LensFunctions
def lensFamily[A1, A2, B1, B2](r: A1 => IndexedStore[B1, B2, A2]): LensFamily[A1, A2, B1, B2]
Inherited from
LensFamilyFunctions
def lensFamilyId[A1, A2]: LensFamily[A1, A2, A1, A2]

The identity lens family for a given pair of objects

The identity lens family for a given pair of objects

Inherited from
LensFamilyFunctions
def lensFamilyg[A1, A2, B1, B2](set: A1 => B2 => A2, get: A1 => B1): LensFamily[A1, A2, B1, B2]
Inherited from
LensFamilyFunctions
def lensFamilyu[A1, A2, B1, B2](set: (A1, B2) => A2, get: A1 => B1): LensFamily[A1, A2, B1, B2]
Inherited from
LensFamilyFunctions
def lensId[A]: Lens[A, A]

The identity lens for a given object

The identity lens for a given object

Inherited from
LensFunctions
def lensg[A, B](set: A => B => A, get: A => B): Lens[A, B]
Inherited from
LensFunctions
def lensu[A, B](set: (A, B) => A, get: A => B): Lens[A, B]
Inherited from
LensFunctions
def mapVLens[K, V](k: K): Lens[Map[K, V], Option[V]]

Access the value at a particular key of a Map *

Access the value at a particular key of a Map *

Inherited from
LensFunctions
def mapWithDefaultLens[K, V](k: K): Lens[WithDefault[K, V], V]

Access the value at a particular key of a Map.WithDefault

Access the value at a particular key of a Map.WithDefault

Inherited from
LensFunctions
def nelHeadLens[A]: Lens[NonEmptyList[A], A]
Inherited from
LensFunctions
def nelTailLens[A]: Lens[NonEmptyList[A], List[A]]
Inherited from
LensFunctions
def predicateLens[A]: Lens[Store[A, Boolean], A \/ A]
Inherited from
LensFunctions
def predicateLensFamily[A1, A2]: LensFamily[Store[A1, Boolean], Store[A2, Boolean], A1 \/ A1, A2 \/ A2]
Inherited from
LensFamilyFunctions
def secondLens[A, B]: Lens[(A, B), B]

Access the second field of a tuple

Access the second field of a tuple

Inherited from
LensFunctions
def secondLensFamily[A, B1, B2]: LensFamily[(A, B1), (A, B2), B1, B2]

Polymorphically access the second field of a tuple

Polymorphically access the second field of a tuple

Inherited from
LensFamilyFunctions
def setMembershipLens[A](a: A): Lens[Set[A], Boolean]

Specify whether a value is in a Set

Specify whether a value is in a Set

Inherited from
LensFunctions
def trivialLens[A]: Lens[A, Unit]

The trivial lens that can retrieve Unit from anything

The trivial lens that can retrieve Unit from anything

Inherited from
LensFunctions

Inherited fields

val ArrayLens: ArrayLensFamily
Inherited from
LensInstances
val FractionalLens: FractionalLensFamily
Inherited from
LensInstances
val IntegralLens: IntegralLensFamily
Inherited from
LensInstances
val MapLens: MapLensFamily
Inherited from
LensInstances
val NumericLens: NumericLensFamily
Inherited from
LensInstances
val QueueLens: QueueLensFamily
Inherited from
LensInstances
val SeqLikeLens: SeqLikeLensFamily
Inherited from
LensInstances
val SetLens: SetLensFamily
Inherited from
LensInstances

Implicits

Inherited implicits

implicit
def LensFamilyState[A, B](lens: LensFamily[A, _, B, _]): State[A, B]

Lenses may be used implicitly as State monadic actions that get the viewed portion of the state

Lenses may be used implicitly as State monadic actions that get the viewed portion of the state

Inherited from
LensInstances
implicit
def LensFamilyUnzip[S, R]: Unzip[[α] =>> LensFamily[S, R, α, α]]
Inherited from
LensInstances
implicit
def arrayLensFamily[S1, S2, A](lens: LensFamily[S1, S2, Array[A], Array[A]]): ArrayLensFamily[S1, S2, A]
Inherited from
LensInstances
implicit
def fractionalLensFamily[S1, S2, F : Fractional](lens: LensFamily[S1, S2, F, F]): FractionalLensFamily[S1, S2, F]
Inherited from
LensInstances
implicit
def integralLensFamily[S1, S2, I : Integral](lens: LensFamily[S1, S2, I, I]): IntegralLensFamily[S1, S2, I]
Inherited from
LensInstances
implicit
val lensCategory: LensCategory
Inherited from
LensInstances
implicit
def mapLensFamily[S1, S2, K, V](lens: LensFamily[S1, S2, Map[K, V], Map[K, V]]): MapLensFamily[S1, S2, K, V]
Inherited from
LensInstances
implicit
def numericLensFamily[S1, S2, N : Numeric](lens: LensFamily[S1, S2, N, N]): NumericLensFamily[S1, S2, N]
Inherited from
LensInstances
implicit
def queueLensFamily[S1, S2, A](lens: LensFamily[S1, S2, Queue[A], Queue[A]]): QueueLensFamily[S1, S2, A]
Inherited from
LensInstances
implicit
def seqLensFamily[S1, S2, A](lens: LensFamily[S1, S2, Seq[A], Seq[A]]): SeqLikeLensFamily[S1, S2, A, Seq[A]]
Inherited from
LensInstances
implicit
def seqLikeLensFamily[S1, S2, A, Repr <: SeqLike[A, LazyRef(...)]](lens: LensFamily[S1, S2, Repr, Repr]): SeqLikeLensFamily[S1, S2, A, Repr]
Inherited from
LensInstances0
implicit
def setLensFamily[S1, S2, K](lens: LensFamily[S1, S2, Set[K], Set[K]]): SetLensFamily[S1, S2, K]

A lens that views a Set can provide the appearance of in place mutation

A lens that views a Set can provide the appearance of in place mutation

Inherited from
LensInstances
implicit
def tuple2LensFamily[S1, S2, A, B](lens: LensFamily[S1, S2, (A, B), (A, B)]): (LensFamily[S1, S2, A, A], LensFamily[S1, S2, B, B])
Inherited from
LensInstances
implicit
def tuple3LensFamily[S1, S2, A, B, C](lens: LensFamily[S1, S2, (A, B, C), (A, B, C)]): (LensFamily[S1, S2, A, A], LensFamily[S1, S2, B, B], LensFamily[S1, S2, C, C])
Inherited from
LensInstances
implicit
def tuple4LensFamily[S1, S2, A, B, C, D](lens: LensFamily[S1, S2, (A, B, C, D), (A, B, C, D)]): (LensFamily[S1, S2, A, A], LensFamily[S1, S2, B, B], LensFamily[S1, S2, C, C], LensFamily[S1, S2, D, D])
Inherited from
LensInstances
implicit
def tuple5LensFamily[S1, S2, A, B, C, D, E](lens: LensFamily[S1, S2, (A, B, C, D, E), (A, B, C, D, E)]): (LensFamily[S1, S2, A, A], LensFamily[S1, S2, B, B], LensFamily[S1, S2, C, C], LensFamily[S1, S2, D, D], LensFamily[S1, S2, E, E])
Inherited from
LensInstances
implicit
def tuple6LensFamily[S1, S2, A, B, C, D, E, H](lens: LensFamily[S1, S2, (A, B, C, D, E, H), (A, B, C, D, E, H)]): (LensFamily[S1, S2, A, A], LensFamily[S1, S2, B, B], LensFamily[S1, S2, C, C], LensFamily[S1, S2, D, D], LensFamily[S1, S2, E, E], LensFamily[S1, S2, H, H])
Inherited from
LensInstances
implicit
def tuple7LensFamily[S1, S2, A, B, C, D, E, H, I](lens: LensFamily[S1, S2, (A, B, C, D, E, H, I), (A, B, C, D, E, H, I)]): (LensFamily[S1, S2, A, A], LensFamily[S1, S2, B, B], LensFamily[S1, S2, C, C], LensFamily[S1, S2, D, D], LensFamily[S1, S2, E, E], LensFamily[S1, S2, H, H], LensFamily[S1, S2, I, I])
Inherited from
LensInstances