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

Proof

quivr.models.Proof
See theProof companion class
object Proof extends GeneratedMessageCompanion[Proof]

Attributes

Companion
class
Graph
Supertypes
trait Product
trait Mirror
trait GeneratedMessageCompanion[Proof]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
Proof.type

Members list

Type members

Classlikes

final case class And(transactionBind: TxBind, left: Proof, right: Proof, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[And]

token = "and"

token = "and"

Attributes

Companion
object
Supertypes
trait Updatable[And]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object And extends GeneratedMessageCompanion[And]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait GeneratedMessageCompanion[And]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
And.type
final case class Digest(transactionBind: TxBind, preimage: Preimage, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[Digest]

token = "digest"

token = "digest"

Attributes

Companion
object
Supertypes
trait Updatable[Digest]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Digest extends GeneratedMessageCompanion[Digest]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait GeneratedMessageCompanion[Digest]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
Digest.type
final case class DigitalSignature(transactionBind: TxBind, witness: Witness, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[DigitalSignature]

token = "digital_signature"

token = "digital_signature"

Attributes

Companion
object
Supertypes
trait Updatable[DigitalSignature]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object DigitalSignature extends GeneratedMessageCompanion[DigitalSignature]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait GeneratedMessageCompanion[DigitalSignature]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
final case class EqualTo(transactionBind: TxBind, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[EqualTo]

token = "equal_to"

token = "equal_to"

Attributes

Companion
object
Supertypes
trait Updatable[EqualTo]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object EqualTo extends GeneratedMessageCompanion[EqualTo]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait GeneratedMessageCompanion[EqualTo]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
EqualTo.type
final case class ExactMatch(transactionBind: TxBind, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[ExactMatch]

token = "exact_match"

token = "exact_match"

Attributes

Companion
object
Supertypes
trait Updatable[ExactMatch]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object ExactMatch extends GeneratedMessageCompanion[ExactMatch]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait GeneratedMessageCompanion[ExactMatch]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
ExactMatch.type
final case class GreaterThan(transactionBind: TxBind, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[GreaterThan]

token = "greater_than"

token = "greater_than"

Attributes

Companion
object
Supertypes
trait Updatable[GreaterThan]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object GreaterThan extends GeneratedMessageCompanion[GreaterThan]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait GeneratedMessageCompanion[GreaterThan]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
final case class HeightRange(transactionBind: TxBind, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[HeightRange]

token = "height_range"

token = "height_range"

Attributes

Companion
object
Supertypes
trait Updatable[HeightRange]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object HeightRange extends GeneratedMessageCompanion[HeightRange]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait GeneratedMessageCompanion[HeightRange]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
final case class LessThan(transactionBind: TxBind, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[LessThan]

token = "less_than"

token = "less_than"

Attributes

Companion
object
Supertypes
trait Updatable[LessThan]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object LessThan extends GeneratedMessageCompanion[LessThan]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait GeneratedMessageCompanion[LessThan]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
LessThan.type
final case class Locked(unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[Locked]

token = "locked" txBind = [0]

token = "locked" txBind = [0]

Attributes

Companion
object
Supertypes
trait Updatable[Locked]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Locked extends GeneratedMessageCompanion[Locked]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait GeneratedMessageCompanion[Locked]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
Locked.type
final case class Not(transactionBind: TxBind, proof: Proof, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[Not]

token = "not"

token = "not"

Attributes

Companion
object
Supertypes
trait Updatable[Not]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Not extends GeneratedMessageCompanion[Not]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait GeneratedMessageCompanion[Not]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
Not.type
final case class Or(transactionBind: TxBind, left: Proof, right: Proof, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[Or]

token = "or"

token = "or"

Attributes

Companion
object
Supertypes
trait Updatable[Or]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Or extends GeneratedMessageCompanion[Or]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait GeneratedMessageCompanion[Or]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
Or.type
implicit class ProofLens[UpperPB](_l: Lens[UpperPB, Proof]) extends ObjectLens[UpperPB, Proof]

Attributes

Supertypes
class ObjectLens[UpperPB, Proof]
trait Lens[UpperPB, Proof]
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class Threshold(transactionBind: TxBind, responses: Seq[Proof], unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[Threshold]

token = "threshold"

token = "threshold"

Value parameters

responses

set of optional values

Attributes

Companion
object
Supertypes
trait Updatable[Threshold]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Threshold extends GeneratedMessageCompanion[Threshold]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait GeneratedMessageCompanion[Threshold]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
Threshold.type
final case class TickRange(transactionBind: TxBind, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[TickRange]

token = "tick_range"

token = "tick_range"

Attributes

Companion
object
Supertypes
trait Updatable[TickRange]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object TickRange extends GeneratedMessageCompanion[TickRange]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait GeneratedMessageCompanion[TickRange]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
TickRange.type
object Value

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Value.type
sealed trait Value extends GeneratedOneof

Attributes

Companion
object
Supertypes
trait GeneratedOneof
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
class And
class Digest
object Empty
class EqualTo
class ExactMatch
class GreaterThan
class HeightRange
class LessThan
class Locked
class Not
class Or
class Threshold
class TickRange
Show all

Inherited types

type ValueType = Proof

Attributes

Inherited from:
GeneratedMessageCompanion

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def enumCompanionForFieldNumber(`__fieldNumber`: Int): GeneratedEnumCompanion[_]
def javaDescriptor: Descriptor

Returns the Java descriptors for this message. It is recommended to use scalaDescriptors. The Java descriptors are available even when Java conversions is disabled, however they are not available in Scala.js or scala-native.

Returns the Java descriptors for this message. It is recommended to use scalaDescriptors. The Java descriptors are available even when Java conversions is disabled, however they are not available in Scala.js or scala-native.

Attributes

def messageCompanionForFieldNumber(`__number`: Int): GeneratedMessageCompanion[_]
def of(value: Value): Proof
def parseFrom(`_input__`: CodedInputStream): Proof

Parses a message from a CodedInputStream.

Parses a message from a CodedInputStream.

Attributes

def scalaDescriptor: Descriptor

Inherited methods

def enumCompanionForField(field: FieldDescriptor): GeneratedEnumCompanion[_]

Attributes

Inherited from:
GeneratedMessageCompanion
def fromAscii(s: String): Proof

Attributes

Inherited from:
GeneratedMessageCompanion
def merge(a: Proof, input: CodedInputStream): Proof

Merges the given message with the additional fields in the steam.

Merges the given message with the additional fields in the steam.

Attributes

Inherited from:
GeneratedMessageCompanion
def messageCompanionForField(field: FieldDescriptor): GeneratedMessageCompanion[_]

Attributes

Inherited from:
GeneratedMessageCompanion
def parseDelimitedFrom(input: InputStream): Option[Proof]

Attributes

Inherited from:
GeneratedMessageCompanion
def parseDelimitedFrom(input: CodedInputStream): Option[Proof]

Attributes

Inherited from:
GeneratedMessageCompanion
def parseFrom(s: Array[Byte]): Proof

Attributes

Inherited from:
GeneratedMessageCompanion
def parseFrom(input: InputStream): Proof

Attributes

Inherited from:
GeneratedMessageCompanion
def streamFromDelimitedInput(input: InputStream): Stream[Proof]

Attributes

Inherited from:
GeneratedMessageCompanion
def toByteArray(a: Proof): Array[Byte]

Attributes

Inherited from:
GeneratedMessageCompanion
def validate(s: Array[Byte]): Try[Proof]

Attributes

Inherited from:
GeneratedMessageCompanion
def validateAscii(s: String): Either[TextFormatError, Proof]

Attributes

Inherited from:
GeneratedMessageCompanion

Concrete fields

final val AND_FIELD_NUMBER: 12
final val DIGEST_FIELD_NUMBER: 2
final val EQUALTO_FIELD_NUMBER: 9
final val LESSTHAN_FIELD_NUMBER: 7
final val LOCKED_FIELD_NUMBER: 1
final val NOT_FIELD_NUMBER: 11
final val OR_FIELD_NUMBER: 13
final val THRESHOLD_FIELD_NUMBER: 10
final val TICKRANGE_FIELD_NUMBER: 5
lazy val nestedMessagesCompanions: Seq[GeneratedMessageCompanion[_ <: GeneratedMessage]]

Implicits

Implicits

final implicit def ProofLens[UpperPB](_l: Lens[UpperPB, Proof]): ProofLens[UpperPB]
implicit def messageCompanion: GeneratedMessageCompanion[Proof]
implicit def messageReads: Reads[Proof]
implicit def validator: Validator[Proof]
Generated with