prop/nyaya.prop/CycleDetector

CycleDetector

case class CycleDetector[A, B](extract: A => Iterator[B], check: (A, Iterator[B]) => Option[(B, B)])
Companion
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def contramap[Z](f: Z => A): CycleDetector[Z, B]
def cycleFree(a: A): (B, B) \/ CycleFree[A]
final def findCycle(a: A): Option[(B, B)]
@inline
final def hasCycle(a: A): Boolean
@inline
final def noCycle(a: A): Boolean
def noCycleProp(name: => String): Prop[A]

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product