dev.constructive.eo.CanGetOption
See theCanGetOption companion object
Capability: an A may be read out of an S — the carrier-free surface of any optic whose carrier admits accessor.PartialAccessor (Prism, Optional, AffineFold).
Prefer this trait in consuming signatures; see CanGet for the doctrine and the one-optic- given-per-(S, A) coherence rule.
Attributes
- Companion
- object
- Source
- CanGetOption.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
Members list
In this article