verify/verify/Void

Void

object Void
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final case class Caught[A](ref: A, location: SourceLocation) extends Void

Represents a reference that was caught by a conversion.

Represents a reference that was caught by a conversion.

case object UnitRef extends Void

The result of a Unit to Void conversion.

The result of a Unit to Void conversion.

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def unit: Void

Returns the equivalent of a Unit.

Returns the equivalent of a Unit.

Implicits

Implicits

implicit def toScalaVerifyVoid[A](ref: A)(location: SourceLocation): Void

Implicit conversion that boxes everything except for Unit.

Implicit conversion that boxes everything except for Unit.