protobuf-fs2
API
Generated with
protobuf-fs2/quivr.models/Proof/Value/Not

Not

quivr.models.Proof.Value.Not
final case class Not(value: Not) extends Value

Attributes

Graph
Supertypes
trait Value
trait GeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Types

type ValueType = Not

Value members

Concrete methods

override def isNot: Boolean

Attributes

Definition Classes
override def not: Option[Not]

Attributes

Definition Classes
override def number: Int

Attributes

Definition Classes
GeneratedOneof

Inherited methods

def and: Option[And]

Attributes

Inherited from:
Value
def digest: Option[Digest]

Attributes

Inherited from:
Value
def digitalSignature: Option[DigitalSignature]

Attributes

Inherited from:
Value
def equalTo: Option[EqualTo]

Attributes

Inherited from:
Value
def exactMatch: Option[ExactMatch]

Attributes

Inherited from:
Value
def greaterThan: Option[GreaterThan]

Attributes

Inherited from:
Value
def heightRange: Option[HeightRange]

Attributes

Inherited from:
Value
def isAnd: Boolean

Attributes

Inherited from:
Value
def isDefined: Boolean

Attributes

Inherited from:
Value
def isDigest: Boolean

Attributes

Inherited from:
Value
def isDigitalSignature: Boolean

Attributes

Inherited from:
Value
def isEmpty: Boolean

Attributes

Inherited from:
Value
def isEqualTo: Boolean

Attributes

Inherited from:
Value
def isExactMatch: Boolean

Attributes

Inherited from:
Value
def isGreaterThan: Boolean

Attributes

Inherited from:
Value
def isHeightRange: Boolean

Attributes

Inherited from:
Value
def isLessThan: Boolean

Attributes

Inherited from:
Value
def isLocked: Boolean

Attributes

Inherited from:
Value
def isOr: Boolean

Attributes

Inherited from:
Value
def isThreshold: Boolean

Attributes

Inherited from:
Value
def isTickRange: Boolean

Attributes

Inherited from:
Value
def lessThan: Option[LessThan]

Attributes

Inherited from:
Value
def locked: Option[Locked]

Attributes

Inherited from:
Value
def or: Option[Or]

Attributes

Inherited from:
Value
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def threshold: Option[Threshold]

Attributes

Inherited from:
Value
def tickRange: Option[TickRange]

Attributes

Inherited from:
Value
def valueOption: Option[ValueType]

Attributes

Inherited from:
GeneratedOneof
Generated with