fold
dev.constructive.eo.data.Direct$package.Direct.fold
object fold extends ForgetfulFold[Direct]
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
- Graph
-
- Supertypes
- Self type
-
fold.type
Members list
In this article