DAGTraverser

izumi.fundamentals.graphs.traverse.DAGTraverser
See theDAGTraverser companion trait
object DAGTraverser

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

case class Interrupted[F[_], N, T, P](state: TraverseState[F, N, T, P]) extends TraverseFailure[F, N, T, P]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait TraverseFailure[F, N, T, P]
class Object
trait Matchable
class Any
Show all
case class Marking[N, T](trace: Map[N, T], meta: Meta)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class Meta(generation: Long) extends AnyVal

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class AnyVal
trait Matchable
class Any
Show all
case class NodeFailure[F[_], N, T](marking: Marking[N, T]) extends TraverseFailure[F, N, T, Nothing]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait TraverseFailure[F, N, T, Nothing]
class Object
trait Matchable
class Any
Show all
case class NonProgress[F[_], N, T](marking: Marking[N, T]) extends TraverseFailure[F, N, T, Nothing]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait TraverseFailure[F, N, T, Nothing]
class Object
trait Matchable
class Any
Show all
sealed trait TraverseFailure[F[_], +N, +T, +P]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Interrupted[F, N, T, P]
class NodeFailure[F, N, T]
class NonProgress[F, N, T]
case class TraverseState[F[_], N, T, P](predecessors: AdjacencyList[N], marking: Marking[N, T], active: Map[N, MPromise[F, P, T]])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all