dev.constructive.eo.accessor
Gate typeclasses keyed by carrier: Accessor (total read), PartialAccessor (read that may miss), ReverseAccessor (build back from the write side). Signatures that take an Optic[…, F] plus one of these on F must list the optic '''first''' in the same using clause — left-to-right resolution pins F before the gate is searched.
Attributes
Members list
Type members
Classlikes
Typeclass instances for Accessor.
Typeclass instances for Accessor.
Attributes
- Companion
- trait
- Source
- Accessor.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Accessor.type
Read the focus A out of a two-parameter carrier F[X, A]. Required by Optic.get; always-hitting carriers (Tuple2 for Lens, Direct for Iso / Getter) supply one.
Read the focus A out of a two-parameter carrier F[X, A]. Required by Optic.get; always-hitting carriers (Tuple2 for Lens, Direct for Iso / Getter) supply one.
Type parameters
- F
-
the carrier
Attributes
- Companion
- object
- Source
- Accessor.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object tupleAccessorobject accessor
Typeclass instances for PartialAccessor.
Typeclass instances for PartialAccessor.
Attributes
- Companion
- trait
- Source
- PartialAccessor.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
PartialAccessor.type
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.
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
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object affineAccessorobject eitherAccessor
Dual of Accessor — build a fresh F[X, A] from an A. Required by Optic.reverseGet.
Dual of Accessor — build a fresh F[X, A] from an A. Required by Optic.reverseGet.
Type parameters
- F
-
the carrier
Attributes
- Companion
- object
- Source
- ReverseAccessor.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object eitherRevAccessorobject reverseAccessor
Typeclass instances for ReverseAccessor.
Typeclass instances for ReverseAccessor.
Attributes
- Companion
- trait
- Source
- ReverseAccessor.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ReverseAccessor.type