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

Proposition

quivr.models.Proposition
See theProposition companion class
object Proposition extends GeneratedMessageCompanion[Proposition]

Attributes

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

Members list

Type members

Classlikes

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

a proposition that can be satisfied if the prositions contained are both satisfied

a proposition that can be satisfied if the prositions contained are both satisfied

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(routine: String, digest: Digest, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[Digest]

a proposition that can be satisfied if the proof contains the preimage matching the digest

a proposition that can be satisfied if the proof contains the preimage matching the 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(routine: String, verificationKey: VerificationKey, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[DigitalSignature]

a proposition that can be satisfied if the proof contains the signature

a proposition that can be satisfied if the proof contains the 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(location: String, compareTo: Int128, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[EqualTo]

a proposition that can be satisfied if the value (int) at a location is equal to the compareTo value

a proposition that can be satisfied if the value (int) at a location is equal to the compareTo value

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(location: String, compareTo: ByteString, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[ExactMatch]

a proposition that can be satisfied if the value at a location is an exact match of the compareTo value

a proposition that can be satisfied if the value at a location is an exact match of the compareTo value

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(location: String, compareTo: Int128, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[GreaterThan]

a proposition that can be satisfied if the value at a location is greater than the compareTo value

a proposition that can be satisfied if the value at a location is greater than the compareTo value

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(chain: String, min: Long, max: Long, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[HeightRange]

a proposition that can be satisfied if the specified chain falls within min and max height values

a proposition that can be satisfied if the specified chain falls within min and max height values

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(location: String, compareTo: Int128, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[LessThan]

a proposition that can be satisfied if the value at a location is less than the compareTo value

a proposition that can be satisfied if the value at a location is less than the compareTo value

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(data: Option[Data], unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[Locked]

Indicates that a proposition can never be satisfied

Indicates that a proposition can never be satisfied

Value parameters

data

Optional metadata

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(proposition: Proposition, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[Not]

a proposition that can be satisfied if the proposition is contains is not satisfied

a proposition that can be satisfied if the proposition is contains is not satisfied

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(left: Proposition, right: Proposition, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[Or]

a proposition that can be satisfied if either of the propositions contained are both satisfied

a proposition that can be satisfied if either of the propositions contained are both satisfied

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 PropositionLens[UpperPB](_l: Lens[UpperPB, Proposition]) extends ObjectLens[UpperPB, Proposition]

Attributes

Supertypes
class ObjectLens[UpperPB, Proposition]
trait Lens[UpperPB, Proposition]
trait Serializable
class Object
trait Matchable
class Any
Show all
final case class Threshold(challenges: Seq[Proposition], threshold: Int, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[Threshold]

a proposition that can be satisfied if at least the threshold number of propositions are satisfied

a proposition that can be satisfied if at least the threshold number of propositions are satisfied

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(min: Long, max: Long, unknownFields: UnknownFieldSet) extends GeneratedMessage, Updatable[TickRange]

a proposition that can be satisfied if the time value falls within the min and max

a proposition that can be satisfied if the time value falls within the min and max

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 = Proposition

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): Proposition
def parseFrom(`_input__`: CodedInputStream): Proposition

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): Proposition

Attributes

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

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[Proposition]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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 PropositionLens[UpperPB](_l: Lens[UpperPB, Proposition]): PropositionLens[UpperPB]
implicit def messageCompanion: GeneratedMessageCompanion[Proposition]
implicit def messageReads: Reads[Proposition]
implicit def validator: Validator[Proposition]
Generated with