traverse

dev.constructive.eo.data.Direct$package.Direct.traverse

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

Attributes

Source
Direct.scala
Graph
Supertypes
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