Direct
Typeclass instances for Direct, plus the wrap / unwrap boundary. Every operation collapses to plain function application at runtime — zero per-call overhead beyond the user's function.
Attributes
- Source
- Direct.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Direct.type
Members list
Grouped members
Instances
Lets Direct-carrier optics compose; Z = Nothing since Direct has no leftover.
Lets Direct-carrier optics compose; Z = Nothing since Direct has no leftover.
Attributes
- Source
- Direct.scala
Single-focus fold — applies f to the one focus. Unlocks .foldMap on Direct-carrier optics and lets ReadCompose's many-fold tier pair a Direct side with a multi-focus side (getter ∘ traversal, traversal ∘ getter, …).
Single-focus fold — applies f to the one focus. Unlocks .foldMap on Direct-carrier optics and lets ReadCompose's many-fold tier pair a Direct side with a multi-focus side (getter ∘ traversal, traversal ∘ getter, …).
Attributes
- Source
- Direct.scala
Single-focus fold — applies f to the one focus. Unlocks .foldMap on Direct-carrier optics and lets ReadCompose's many-fold tier pair a Direct side with a multi-focus side (getter ∘ traversal, traversal ∘ getter, …).
Single-focus fold — applies f to the one focus. Unlocks .foldMap on Direct-carrier optics and lets ReadCompose's many-fold tier pair a Direct side with a multi-focus side (getter ∘ traversal, traversal ∘ getter, …).
Attributes
- Source
- Direct.scala
- Supertypes
- Self type
-
fold.type
Weakest constraint for Direct's traverse (Invariant[G]). Unlocks .modifyF / .modifyA on Iso / Getter.
Weakest constraint for Direct's traverse (Invariant[G]). Unlocks .modifyF / .modifyA on Iso / Getter.
Attributes
- Source
- Direct.scala
Weakest constraint for Direct's traverse (Invariant[G]). Unlocks .modifyF / .modifyA on Iso / Getter.
Weakest constraint for Direct's traverse (Invariant[G]). Unlocks .modifyF / .modifyA on Iso / Getter.
Attributes
- Source
- Direct.scala
- Supertypes
- Self type
-
traverse.type
Type members
Classlikes
Identity read; unlocks .get on Iso / Getter. @group Instances
Identity read; unlocks .get on Iso / Getter. @group Instances
Attributes
- Source
- Direct.scala
- Supertypes
- Self type
-
accessor.type
pure[X, A] = a; unlocks .put on Iso / Getter. @group Instances
pure[X, A] = a; unlocks .put on Iso / Getter. @group Instances
Attributes
- Source
- Direct.scala
- Supertypes
-
trait ForgetfulApplicative[Direct]trait ForgetfulFunctor[Direct]class Objecttrait Matchableclass Any
- Self type
-
applicative.type
Identity write; unlocks .reverseGet on Iso. @group Instances
Identity write; unlocks .reverseGet on Iso. @group Instances
Attributes
- Source
- Direct.scala
- Supertypes
- Self type
-
reverseAccessor.type
Value members
Concrete methods
Wrap a plain A into the Direct carrier. Identity at runtime (the opaque type erases to A); needed only so construction sites outside this object satisfy the Direct[X, A] type.
Wrap a plain A into the Direct carrier. Identity at runtime (the opaque type erases to A); needed only so construction sites outside this object satisfy the Direct[X, A] type.
Attributes
- Source
- Direct.scala
Givens
Givens
Identity read; unlocks .get on Iso / Getter. @group Instances
pure[X, A] = a; unlocks .put on Iso / Getter. @group Instances
Identity write; unlocks .reverseGet on Iso. @group Instances