PartialAccessor

dev.constructive.eo.accessor.PartialAccessor
See thePartialAccessor companion object
trait PartialAccessor[F[_, _]]

Partial counterpart to Accessor — read the focus A out of F[X, A] when present, None on the miss branch. Required by Optic.getOption; maybe-hitting carriers (Either for Prism, Affine for Optional / AffineFold) supply one.

Type parameters

F

the carrier

Attributes

Companion
object
Source
PartialAccessor.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Abstract methods

def getOption[X, A](fa: F[X, A]): Option[A]

Attributes

Source
PartialAccessor.scala