ThoughtWorksInc/Dsl.scala
2.0.0+39-4dd79a87
API
Generated with
ThoughtWorksInc/Dsl.scala/com.thoughtworks.dsl/Dsl

Dsl

com.thoughtworks.dsl.Dsl$package$.Dsl$
opaque object Dsl

Attributes

Source:
Dsl.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Dsl.type

Members list

Concise view

Type members

Classlikes

opaque object Derived

Includes Dsls derived from other Dsls for the same Keyword in a simpler domain. For example, a Dsl.Derived.StackUnsafe for keywords.Yield in the domain Vector[Int] !! String is derived from the Dsl for keywords.Yield in the domain Vector[Int].

Includes Dsls derived from other Dsls for the same Keyword in a simpler domain. For example, a Dsl.Derived.StackUnsafe for keywords.Yield in the domain Vector[Int] !! String is derived from the Dsl for keywords.Yield in the domain Vector[Int].

Attributes

Source:
Dsl.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Derived.type
object For

Attributes

Companion:
trait
Source:
Dsl.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
For.type
sealed trait For

The AST returned from a for...yield or a for...do expression.

The AST returned from a for...yield or a for...do expression.

Note that a For does not directly support !-notation. Instead, keywords.Each.ToView is used to convert a For to a Keyword that supports !-notation.

Attributes

Companion:
object
Source:
Dsl.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Do
class FlatForeach[Upstream, UpstreamElement, Nested]
class Foreach[Upstream, UpstreamElement]
class KeywordForeach[Upstream, UpstreamElement, UnitKeyword]
trait Yield[Element]
class FlatMap[Upstream, UpstreamElement, Mapped, Element]
class KeywordMap[Upstream, UpstreamElement, ElementKeyword, Element]
class Map[Upstream, UpstreamElement, Element]
class WithFilter[Upstream, Element]
object HasValueOrElement

Attributes

Companion:
trait
Source:
Dsl.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait HasValueOrElement[KeywordOrView, Element]

Attributes

Companion:
object
Source:
Dsl.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait IsKeyword[Keyword, Value]
trait IsKeyword[Keyword, Value] extends HasValueOrElement[Keyword, Value]

Attributes

Source:
Dsl.scala
Graph
Supertypes
trait HasValueOrElement[Keyword, Value]
class Object
trait Matchable
class Any
Known subtypes
object IsStackSafe

Attributes

Companion:
trait
Source:
Dsl.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait IsStackSafe[Domain]

Attributes

Companion:
object
Source:
Dsl.scala
Graph
Supertypes
class Object
trait Matchable
class Any
opaque object Keyword

Attributes

Source:
Dsl.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Keyword.type
object Lift

Attributes

Companion:
trait
Source:
Dsl.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Lift.type
@FunctionalInterface
trait Lift[From, +To] extends From => To

Attributes

Companion:
object
Source:
Dsl.scala
Graph
Supertypes
trait From => To
class Object
trait Matchable
class Any
Known subtypes
trait OneStep[From, To]
object Run

Attributes

Source:
Dsl.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Run.type
object TrampolineFunction1

Attributes

Source:
Dsl.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Inherited classlikes

object Searching

Attributes

Inherited from:
LowPriorityDsl1 (hidden)
Source:
Dsl.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Types

opaque type Composed[-Keyword, Domain, +Value]

An Dsl for a control flow Keyword, composed of other Dsls for subtree of the Keyword. For example, a Dsl.Composed for keywords.If is composed of the Dsl for the condition, the Dsl for the then clause, and the Dsl for the else clause.

An Dsl for a control flow Keyword, composed of other Dsls for subtree of the Keyword. For example, a Dsl.Composed for keywords.If is composed of the Dsl for the condition, the Dsl for the then clause, and the Dsl for the else clause.

Attributes

Source:
Dsl.scala
type Keyword = Opaque | Trait

Attributes

Source:
Dsl.scala
opaque type Original[-Keyword, Domain, +Value]

An original Dsl for a Keyword, i.e. neither Derived.StackSafe nor Derived.StackUnsafe nor Composed.

An original Dsl for a Keyword, i.e. neither Derived.StackSafe nor Derived.StackUnsafe nor Composed.

Attributes

Source:
Dsl.scala
opaque type Run[Keyword, Domain, Value]

Attributes

Source:
Dsl.scala

Inherited types

opaque type Searching[-Keyword, Domain, +Value]

Attributes

Inherited from:
LowPriorityDsl1 (hidden)
Source:
Dsl.scala

Value members

Concrete methods

def shift[Keyword, Value](keyword: Keyword): Value

Attributes

Source:
Dsl.scala

Givens

Givens

given given_StackSafe_Keyword_TailRec_Value[Keyword, Domain, Value](using IsStackSafe[Domain], Searching[Keyword, Domain, Value]): StackSafe[Keyword, TailRec[Domain], Value]

Attributes

Source:
Dsl.scala

Inherited givens

given `given_StackSafe_Keyword_!!_Value`[Keyword, LeftDomain, Value](using IsStackSafe[LeftDomain], Searching[Keyword, LeftDomain, Value]): StackSafe[Keyword, LeftDomain !! Throwable, Value]

Attributes

Inherited from:
LowPriorityDsl0 (hidden)
Source:
Dsl.scala
given `given_StackUnsafe_Keyword_!!_Value`[Keyword, LeftDomain, Value](using NotGiven[IsStackSafe[LeftDomain]], Searching[Keyword, LeftDomain, Value]): StackUnsafe[Keyword, LeftDomain !! Throwable, Value]

Attributes

Inherited from:
LowPriorityDsl0 (hidden)
Source:
Dsl.scala
given given_StackSafe_Keyword_Function_Value[Keyword, State, Domain, Value](using IsStackSafe[Domain], Searching[Keyword, Domain, Value]): StackSafe[Keyword, State => Domain, Value]

Attributes

Inherited from:
LowPriorityDsl1 (hidden)
Source:
Dsl.scala

Extensions

Extensions

extension [Keyword, Value](from: Keyword)
transparent inline def unary_!(using inline asKeyword: IsKeyword[Keyword, Value]): Value

Attributes

Source:
Dsl.scala
extension [Keyword, Value](keyword: Keyword)
def cpsApply[Domain](using dsl: Searching[Keyword, Domain, Value])(handler: Value => Domain): Domain

Attributes

Source:
Dsl.scala
Generated with