Or

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

Attributes

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

Members list

Type members

Classlikes

implicit class OrLens[UpperPB](_l: Lens[UpperPB, Or]) extends ObjectLens[UpperPB, Or]

Attributes

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

Inherited types

type ValueType = Or

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

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

Attributes

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

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
GeneratedMessageCompanion

Concrete fields

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

Implicits

Implicits

final implicit def OrLens[UpperPB](_l: Lens[UpperPB, Or]): OrLens[UpperPB]
implicit def messageCompanion: GeneratedMessageCompanion[Or]
implicit def messageReads: Reads[Or]