Extraction

sealed
trait Extraction[-ResultRow, -Session, +T]
Companion
object
class Object
trait Matchable
class Any
object None
class Returning[ResultRow, Session, T]
class Simple[ResultRow, Session, T]

Value members

Concrete methods

def requireReturning(): Returning[_ >: ResultRow, _ >: Session, _ <: T]

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

def requireSimple(): Simple[_ >: ResultRow, _ >: Session, _ <: T]

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