libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/Executor/CancellationReason

CancellationReason

libretto.Executor$.CancellationReason
enum CancellationReason

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Enum entries

final case class Bug(message: String, cause: Option[Throwable])
final case class User(position: SourcePos)
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL