Trace

object Trace
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Trace.type

Type members

Classlikes

object Annotation
Companion:
class
sealed trait Annotation
Companion:
object
object Fail
object Halt
object Succeed

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def boolean(value: Boolean)(message: ErrorMessage): Trace[Boolean]
def die(throwable: Throwable): Trace[Nothing]
def fail: Trace[Nothing]
def fail(message: String): Trace[Nothing]
def fail(message: ErrorMessage): Trace[Nothing]
def prune(trace: Trace[Boolean], negated: Boolean): Option[Trace[Boolean]]

Prune all non-failures from the trace.

Prune all non-failures from the trace.

def succeed[A](value: A): Trace[A]