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

Proof

org.plasmalabs.quivr.models.Proof
See theProof companion object
final case class Proof(value: Value, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[Proof]

Proofs that are used to satisfy propositions

Attributes

Companion
object
Graph
Supertypes
trait Updatable[Proof]
trait GeneratedMessage
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def companion: Proof.type
def getAnd: And
def getField(`__field`: FieldDescriptor): PValue
def getFieldByNumber(`__fieldNumber`: Int): Any
def getNot: Not
def getOr: Or
override def serializedSize: Int

Attributes

Definition Classes
GeneratedMessage
def toProtoString: String

Returns a human-readable ASCII format representation of this message.

Returns a human-readable ASCII format representation of this message.

The original message can be decoded from this format by using fromAscii on the companion object.

Attributes

Returns

human-readable representation of this message.

def withAnd(`__v`: And): Proof
def withDigest(`__v`: Digest): Proof
def withEqualTo(`__v`: EqualTo): Proof
def withLessThan(`__v`: LessThan): Proof
def withLocked(`__v`: Locked): Proof
def withNot(`__v`: Not): Proof
def withOr(`__v`: Or): Proof
def withUnknownFields(`__v`: UnknownFieldSet): Proof
def withValue(`__v`: Value): Proof
def writeTo(`_output__`: CodedOutputStream): Unit

Serializes the message into the given coded output stream

Serializes the message into the given coded output stream

Attributes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
final def toByteArray: Array[Byte]

Serializes the message and returns a byte array containing its raw bytes

Serializes the message and returns a byte array containing its raw bytes

Attributes

Inherited from:
GeneratedMessage
final def toByteString: ByteString

Serializes the message and returns a ByteString containing its raw bytes

Serializes the message and returns a ByteString containing its raw bytes

Attributes

Inherited from:
GeneratedMessage
final def toPMessage: PMessage

Attributes

Inherited from:
GeneratedMessage
def update(ms: (Lens[Proof, Proof]) => () => Proof*): Proof

Attributes

Inherited from:
Updatable
final def writeDelimitedTo(output: OutputStream): Unit

Attributes

Inherited from:
GeneratedMessage
final def writeTo(output: OutputStream): Unit

Serializes the message into the given output stream

Serializes the message into the given output stream

Attributes

Inherited from:
GeneratedMessage
Generated with