Dsl

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

Attributes

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

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Derived.type
object For

Attributes

Companion:
trait
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
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]

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
trait HasValueOrElement[Keyword, Value]
class Object
trait Matchable
class Any
Known subtypes

Attributes

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

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
opaque object Keyword

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Keyword.type
object Lift

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Run.type

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Inherited classlikes

object Searching

Attributes

Inherited from:
LowPriorityDsl1 (hidden)
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

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

opaque type Run[Keyword, Domain, Value]

Inherited types

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

Attributes

Inherited from:
LowPriorityDsl1 (hidden)

Value members

Givens

Inherited givens

Attributes

Inherited from:
LowPriorityDsl0 (hidden)

Attributes

Inherited from:
LowPriorityDsl1 (hidden)

Extensions

Extensions

extension [Keyword, Value](from: Keyword)
transparent inline def unary_!(using inline asKeyword: IsKeyword[Keyword, Value]): Value
extension [Keyword, Value](keyword: Keyword)
def cpsApply[Domain](using dsl: Searching[Keyword, Domain, Value])(handler: Value => Domain): Domain