treelog-cats
API
Generated with
treelog-cats/treelog/DescribedLogTreeLabel

DescribedLogTreeLabel

treelog.DescribedLogTreeLabel
final case class DescribedLogTreeLabel[Annotation](description: String, success: Boolean, annotations: Set[Annotation]) extends LogTreeLabel[Annotation]

Attributes

Graph
Supertypes
trait LogTreeLabel[Annotation]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def addAnnotations(a: Set[Annotation]): LogTreeLabel[Annotation]
def fold[T](f: DescribedLogTreeLabel[Annotation] => T, g: UndescribedLogTreeLabel[Annotation] => T): T

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with