None

case object None extends Extraction[Any, Any, Nothing]
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Extraction[Any, Any, Nothing]
class Object
trait Matchable
class Any
None.type

Type members

Inherited types

type MirroredElemLabels = EmptyTuple
Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple
Inherited from:
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror
type MirroredMonoType = Singleton
Inherited from:
Singleton
type MirroredType = Singleton
Inherited from:
Singleton

Value members

Inherited methods

def fromProduct(p: Product): MirroredMonoType
Inherited from:
Singleton
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product
def requireReturning(): Returning[_ = Any, _ = Any, _ = Nothing]

Require an effect to be be returning and retrieve it. Effectful at compile-time since it can fail compilation

Require an effect to be be returning and retrieve it. Effectful at compile-time since it can fail compilation

Inherited from:
Extraction
def requireSimple(): Simple[_ = Any, _ = Any, _ = Nothing]

Require an effect to be be simple and retrieve it. Effectful at compile-time since it can fail compilation

Require an effect to be be simple and retrieve it. Effectful at compile-time since it can fail compilation

Inherited from:
Extraction