DeferLang

object DeferLang
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

case class Delay[D, K[_]](delay: D, k: K[Unit]) extends DeferLang[D, K, Unit]
case class Exec[D, K[_]]() extends DeferLang[D, K, Unit]

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 defer[D, K[_]](delay: D, k: K[Unit]): DeferLang[D, K, Unit]
def exec[D, K[_]](): DeferLang[D, K, Unit]