scalaz-core/scalaz/LensFunctions

LensFunctions

trait LensFunctions extends LensFamilyFunctions
class Object
trait Matchable
class Any
object Lens
object LensFamily

Value members

Concrete methods

def applyLens[A, B](k: B => A)(implicit e: Equal[A]): Lens[Store[A, B], B]
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

def distributeLens[A, B, C]: Lens[(A, B \/ C), (A, B) \/ (A, C)]
def factorLens[A, B, C]: Lens[(A, B) \/ (A, C), (A, B \/ C)]
def firstLens[A, B]: Lens[(A, B), A]

Access the first field of a tuple

Access the first field of a tuple

def lazyFirstLens[A, B]: Lens[LazyTuple2[A, B], A]

Access the first field of a tuple

Access the first field of a tuple

def lazySecondLens[A, B]: Lens[LazyTuple2[A, B], B]

Access the second field of a tuple

Access the second field of a tuple

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

The identity lens for a given object

The identity lens for a given object

def lensg[A, B](set: A => B => A, get: A => B): Lens[A, B]
def lensu[A, B](set: (A, B) => A, get: A => B): Lens[A, B]
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 *

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

def nelHeadLens[A]: Lens[NonEmptyList[A], A]
def nelTailLens[A]: Lens[NonEmptyList[A], List[A]]
def predicateLens[A]: Lens[Store[A, Boolean], A \/ A]
def secondLens[A, B]: Lens[(A, B), B]

Access the second field of a tuple

Access the second field of a tuple

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

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 methods

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 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 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 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 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 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 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 predicateLensFamily[A1, A2]: LensFamily[Store[A1, Boolean], Store[A2, Boolean], A1 \/ A1, A2 \/ A2]
Inherited from
LensFamilyFunctions
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