Failure

zipper.Zipper.MoveResult.Failure
case class Failure[A](origin: Zipper[A]) extends MoveResult[A]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait MoveResult[A]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def flatMap(move: () => A): MoveResult[A]

Try another move on the resulting zipper, if the current move did not fail

Try another move on the resulting zipper, if the current move did not fail

Attributes

Inherited from:
MoveResult
def get: Zipper[A]

Obtain the resulting zipper or throw an exception if the move failed

Obtain the resulting zipper or throw an exception if the move failed

Attributes

Inherited from:
MoveResult
def getOrElse(other: Zipper[A]): Zipper[A]

Try another zipper if the current move failed

Try another zipper if the current move failed

Attributes

Inherited from:
MoveResult
def getOrElse(other: (Zipper[A]) => Zipper[A]): Zipper[A]

Try another safe move if the current move failed

Try another safe move if the current move failed

Attributes

Inherited from:
MoveResult
def map(f: (Zipper[A]) => Zipper[A]): MoveResult[A]

Safely move the resulting zipper, if the current move did not fail

Safely move the resulting zipper, if the current move did not fail

Attributes

Inherited from:
MoveResult
def orElse(other: => MoveResult[A]): MoveResult[A]

Try a result of another move if the current move failed

Try a result of another move if the current move failed

Attributes

Inherited from:
MoveResult
def orElse(other: () => A): MoveResult[A]

Try another move if the current move failed

Try another move if the current move failed

Attributes

Inherited from:
MoveResult
def orStay: Zipper[A]

Obtain the resulting zipper or the original zipper in case the move failed

Obtain the resulting zipper or the original zipper in case the move failed

Attributes

Inherited from:
MoveResult
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def toOption: Option[Zipper[A]]

Obtain the resulting zipper or None if the move failed

Obtain the resulting zipper or None if the move failed

Attributes

Inherited from:
MoveResult
def withOrigin(origin: Zipper[A]): MoveResult[A]

Change the starting point of the move

Change the starting point of the move

Attributes

Inherited from:
MoveResult