crystal/crystal/ViewF

ViewF

final
class ViewF[F[_], A](val get: A, val modCB: (A => A, A => F[Unit]) => F[Unit])(implicit evidence$2: Monad[F]) extends ViewOps[F, Id, A]
Companion
object
class ViewOps[F, Id, A]
class Object
trait Matchable
class Any
ViewF[F, A]

Value members

Concrete methods

def as[B](iso: Iso[A, B]): ViewF[F, B]
def asList: ViewListF[F, A]
def asOpt: ViewOptF[F, A]
def modAndExtract[B](f: A => (A, B))(implicit F: Async[F]): F[B]
def modAndGet(f: A => A)(implicit F: Async[F]): F[A]
override
def toString(): String
Definition Classes
Any
def widen[B >: A]: ViewF[F, B]
def withOnMod(f: A => F[Unit]): ViewF[F, A]
def zoom[B](getB: A => B)(modB: B => B => A => A): ViewF[F, B]
def zoom[B](lens: Lens[A, B]): ViewF[F, B]
def zoom[B](optional: Optional[A, B]): ViewOptF[F, B]
def zoom[B](prism: Prism[A, B]): ViewOptF[F, B]
def zoom[B](traversal: Traversal[A, B]): ViewListF[F, B]
def zoomList[B](getB: A => List[B])(modB: B => B => A => A): ViewListF[F, B]
def zoomOpt[B](getB: A => Option[B])(modB: B => B => A => A): ViewOptF[F, B]

Concrete fields

val get: A
val modCB: (A => A, A => F[Unit]) => F[Unit]

Inherited fields

val mod: A => A => F[Unit]
Inherited from
ViewOps
val set: A => F[Unit]
Inherited from
ViewOps
val setCB: (A, Id[A] => F[Unit]) => F[Unit]
Inherited from
ViewOps