DoneOperation

made.DoneOperation
See theDoneOperation companion trait
object DoneOperation

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

trait EmptyApply extends DoneOperation

Mix-in providing an ergonomic apply(outer) shortcut for parameterless operations. The self-type refinement requires the mixing class to have Args = EmptyTuple.

Mix-in providing an ergonomic apply(outer) shortcut for parameterless operations. The self-type refinement requires the mixing class to have Args = EmptyTuple.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DoneOperation { type Args = EmptyTuple; }
trait SingleApply extends DoneOperation

Mix-in providing an ergonomic apply(outer, arg) shortcut for operations with exactly one input. The self-type refinement requires the mixing class to have Args = Arg *: EmptyTuple.

Mix-in providing an ergonomic apply(outer, arg) shortcut for operations with exactly one input. The self-type refinement requires the mixing class to have Args = Arg *: EmptyTuple.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DoneOperation { type Args = Arg *: EmptyTuple; }

Types

type ExtractInputElems[Op] = Op match { case WithElems[ie] => ie }
type ExtractOf[X] = X match { case Of[t] => t }
type ExtractOutput[Op] = Op match { case WithOutput[o] => o match { case Unit => Any case Any => o } }
type Of[T] = DoneOperation { type OuterType = T; }
type WithElems[IE <: Tuple] = DoneOperation { type InputElems = IE; }
type WithOutput[O] = DoneOperation { type OutputType = O; }