ThoughtWorksInc/Dsl.scala
2.0.0+110-af34c909
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

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
Supertypes
class Object
trait Matchable
class Any
Self type
Derived.type
object For

Attributes

Companion
trait
Source
Dsl.scala
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
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]
Show all
object HasValueOrElement

Attributes

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

Attributes

Companion
object
Source
Dsl.scala
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
Supertypes
trait HasValueOrElement[Keyword, Value]
class Object
trait Matchable
class Any
Known subtypes
object IsStackSafe

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion
trait
Source
Dsl.scala
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
Supertypes
trait From => To
class Object
trait Matchable
class Any
Known subtypes
trait OneStep[From, To]
object Run

Attributes

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

Attributes

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

Inherited classlikes

object Searching

Attributes

Inherited from:
LowPriorityDsl1 (hidden)
Source
Dsl.scala
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 Composed[Keyword, Domain, Value]: (Keyword, Value => Domain) => Domain =:= (Keyword, Domain) => Value

Attributes

Source
Dsl.scala
def Original[Keyword, Domain, Value]: (Keyword, Value => Domain) => Domain =:= (Keyword, Domain) => Value

Attributes

Source
Dsl.scala
def shift[Keyword, Value](keyword: Keyword): Value

Attributes

Source
Dsl.scala

Givens

Givens

given `given_StackSafe_Keyword_!!_TailRecValue`[Keyword, LeftDomain, TailRecValue](using IsStackSafe[LeftDomain], Searching[Keyword, LeftDomain !! Throwable, TailRecValue]): StackSafe[Keyword, TailRec[LeftDomain] !! Throwable, TailRecValue]

Attributes

Source
Dsl.scala
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
given given_StackUnsafe_Keyword_TailRec_Value[Keyword, Domain, Value](using NotGiven[IsStackSafe[Domain]], Searching[Keyword, Domain, Value]): StackUnsafe[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
given given_StackUnsafe_Keyword_Function_Value[Keyword, State, Domain, Value](using NotGiven[IsStackSafe[Domain]], Searching[Keyword, Domain, Value]): StackUnsafe[Keyword, State => Domain, Value]

Attributes

Inherited from:
LowPriorityDsl1 (hidden)
Source
Dsl.scala

Extensions

Extensions

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

Attributes

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

Attributes

Source
Dsl.scala
Generated with