Dsl

Type Members

type !![R, +A] = ((A) ⇒ R @com.thoughtworks.dsl.Dsl.reset) ⇒ R
type Continuation[R, +A] = ((A) ⇒ R @com.thoughtworks.dsl.Dsl.reset) ⇒ R
trait Keyword[Self, Value] extends Any

Self
the self type

See also
Curiously recurring template pattern for the reason why we need the Self type parameter
trait TryCatch[Value, OuterDomain, BlockDomain] extends AnyRef

Annotations
@implicitNotFound( ... )
trait TryCatchFinally[Value, OuterDomain, BlockDomain, FinalizerDomain] extends AnyRef

The type class to support try ...
The type class to support try ... catch ... finally expression for OutputDomain.
!-notation is allowed by default for ? !! Throwable and Future domains, with the help of this type class.

Annotations
@implicitNotFound( ... )
trait TryFinally[Value, OuterDomain, BlockDomain, FinalizerDomain] extends AnyRef

Annotations
@implicitNotFound( ... )
final class reset extends Annotation with ResetAnnotation with StaticAnnotation with TypeConstraint

An annotation to explicitly perform reset control operator on a code block.
An annotation to explicitly perform reset control operator on a code block.

Note
This annotation can be automatically added if ResetEverywhere compiler plug-in is enabled.
final class shift extends Annotation with StaticAnnotation

An annotation to mark a method is a shift control operator.

Value Members

val !!: Continuation.type
final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
object Continuation
object TryCatch extends LowPriorityTryCatch
object TryCatchFinally
object TryFinally extends LowPriorityTryFinally
def apply[Keyword, Domain, Value](implicit typeClass: Dsl[Keyword, Domain, Value]): Dsl[Keyword, Domain, Value]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )
implicit def derivedFunction1Dsl[Keyword, State, Domain, Value](implicit restDsl: Dsl[Keyword, Domain, Value]): Dsl[Keyword, (State) ⇒ Domain, Value]

Definition Classes
LowPriorityDsl1
implicit def derivedTailRecDsl[Keyword, Domain, Value](implicit restDsl: Dsl[Keyword, Domain, Value]): Dsl[Keyword, TailRec[Domain], Value]
implicit def derivedThrowableTailRecDsl[Keyword, LeftDomain, Value](implicit restDsl: Dsl[Keyword, !![LeftDomain, Throwable], Value]): Dsl[Keyword, !![TailRec[LeftDomain], Throwable], Value]
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
implicit def nothingCollectionDsl[Keyword, Element, Collection[_]](implicit factory: Factory[Element, Collection[Element]], restDsl: Dsl[Keyword, Element, Nothing]): Dsl[Keyword, Collection[Element], Nothing]

Definition Classes
LowPriorityDsl2
implicit def nothingContinuationDsl[Keyword, LeftDomain, RightDomain](implicit restDsl: Dsl[Keyword, RightDomain, Nothing]): Dsl[Keyword, !![LeftDomain, RightDomain], Nothing]
implicit def nothingFutureDsl[Keyword, Domain](implicit restDsl: Dsl[Keyword, Domain, Nothing]): Dsl[Keyword, Future[Domain], Nothing]
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
implicit def throwableContinuationDsl[Keyword, LeftDomain, Value](implicit restDsl: Dsl[Keyword, LeftDomain, Value]): Dsl[Keyword, !![LeftDomain, Throwable], Value]

Definition Classes
LowPriorityDsl0
def toString(): String

Definition Classes
AnyRef → Any
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Deprecated Value Members

def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
Deprecated
(Since version ) see corresponding Javadoc for more information.

Related Docs: trait Dsl | package dsl

object Dsl extends LowPriorityDsl0

Type Members

type !![R, +A] = ((A) ⇒ R @com.thoughtworks.dsl.Dsl.reset) ⇒ R

type Continuation[R, +A] = ((A) ⇒ R @com.thoughtworks.dsl.Dsl.reset) ⇒ R

trait Keyword[Self, Value] extends Any

trait TryCatch[Value, OuterDomain, BlockDomain] extends AnyRef

trait TryCatchFinally[Value, OuterDomain, BlockDomain, FinalizerDomain] extends AnyRef

trait TryFinally[Value, OuterDomain, BlockDomain, FinalizerDomain] extends AnyRef

final class reset extends Annotation with ResetAnnotation with StaticAnnotation with TypeConstraint

final class shift extends Annotation with StaticAnnotation

Value Members

val !!: Continuation.type

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Continuation

object TryCatch extends LowPriorityTryCatch

object TryCatchFinally

object TryFinally extends LowPriorityTryFinally

def apply[Keyword, Domain, Value](implicit typeClass: Dsl[Keyword, Domain, Value]): Dsl[Keyword, Domain, Value]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

implicit def derivedFunction1Dsl[Keyword, State, Domain, Value](implicit restDsl: Dsl[Keyword, Domain, Value]): Dsl[Keyword, (State) ⇒ Domain, Value]

implicit def derivedTailRecDsl[Keyword, Domain, Value](implicit restDsl: Dsl[Keyword, Domain, Value]): Dsl[Keyword, TailRec[Domain], Value]

implicit def derivedThrowableTailRecDsl[Keyword, LeftDomain, Value](implicit restDsl: Dsl[Keyword, !![LeftDomain, Throwable], Value]): Dsl[Keyword, !![TailRec[LeftDomain], Throwable], Value]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

implicit def nothingCollectionDsl[Keyword, Element, Collection[_]](implicit factory: Factory[Element, Collection[Element]], restDsl: Dsl[Keyword, Element, Nothing]): Dsl[Keyword, Collection[Element], Nothing]

implicit def nothingContinuationDsl[Keyword, LeftDomain, RightDomain](implicit restDsl: Dsl[Keyword, RightDomain, Nothing]): Dsl[Keyword, !![LeftDomain, RightDomain], Nothing]

implicit def nothingFutureDsl[Keyword, Domain](implicit restDsl: Dsl[Keyword, Domain, Nothing]): Dsl[Keyword, Future[Domain], Nothing]

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

implicit def throwableContinuationDsl[Keyword, LeftDomain, Value](implicit restDsl: Dsl[Keyword, LeftDomain, Value]): Dsl[Keyword, !![LeftDomain, Throwable], Value]

def toString(): String

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

final def wait(): Unit

Deprecated Value Members

def finalize(): Unit

Inherited from LowPriorityDsl0

Inherited from LowPriorityDsl1

Inherited from LowPriorityDsl2

Inherited from AnyRef

Inherited from Any

Ungrouped