Proposition

org.plasmalabs.sdk.models.box.Challenge.Proposition
See theProposition companion object
sealed trait Proposition extends GeneratedOneof

Attributes

Companion
object
Graph
Supertypes
trait GeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
object Empty
class Previous
class Revealed

Members list

Type members

Inherited and Abstract types

type ValueType

Attributes

Inherited from:
GeneratedOneof

Value members

Concrete methods

def isDefined: Boolean
def isEmpty: Boolean
def isPrevious: Boolean
def isRevealed: Boolean
def revealed: Option[Proposition]

Inherited methods

def productElementName(n: Int): String

Attributes

Inherited from:
Product
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def productPrefix: String

Attributes

Inherited from:
Product
def valueOption: Option[ValueType]

Attributes

Inherited from:
GeneratedOneof

Inherited and Abstract methods

def canEqual(that: Any): Boolean

Attributes

Inherited from:
Equals
def number: Int

Attributes

Inherited from:
GeneratedOneof
def productArity: Int

Attributes

Inherited from:
Product
def productElement(n: Int): Any

Attributes

Inherited from:
Product
def value: ValueType

Attributes

Inherited from:
GeneratedOneof