traverse
dev.constructive.eo.data.ModifyF.traverse
object traverse extends ForgetfulTraverse[ModifyF, Distributive]
ForgetfulTraverse[ModifyF, Distributive] — lifts an effectful B => G[C] through the continuation under Distributive[G] (the right shape for read-once / write-once Modify).
Attributes
- Source
- ModifyF.scala
- Graph
-
- Supertypes
- Self type
-
traverse.type
Members list
In this article