traverse

dev.constructive.eo.data.Direct$package.Direct.traverse
object traverse extends ForgetfulTraverse[Direct, Invariant]

Weakest constraint for Direct's traverse (Invariant[G]). Unlocks .modifyF / .modifyA on Iso / Getter.

Attributes

Source
Direct.scala
Graph
Supertypes
trait ForgetfulTraverse[Direct, Invariant]
class Object
trait Matchable
class Any
Self type
traverse.type

Members list

Value members

Concrete methods

def traverse[X, A, B, G[_] : Invariant](fa: Direct[X, A], f: A => G[B]): G[Direct[X, B]]

Attributes

Source
Direct.scala