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

And

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

Attributes

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

Members list

Type members

Classlikes

implicit class AndLens[UpperPB](_l: Lens[UpperPB, And]) extends ObjectLens[UpperPB, And]

Attributes

Supertypes
class ObjectLens[UpperPB, And]
trait Lens[UpperPB, And]
trait Serializable
class Object
trait Matchable
class Any
Show all

Inherited types

type ValueType = And

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

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

Attributes

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

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
GeneratedMessageCompanion

Concrete fields

final val LEFT_FIELD_NUMBER: 1
final val RIGHT_FIELD_NUMBER: 2
lazy val defaultInstance: And
lazy val nestedMessagesCompanions: Seq[GeneratedMessageCompanion[_ <: GeneratedMessage]]

Implicits

Implicits

final implicit def AndLens[UpperPB](_l: Lens[UpperPB, And]): AndLens[UpperPB]
implicit def messageCompanion: GeneratedMessageCompanion[And]
implicit def messageReads: Reads[And]
Generated with