cps.automaticColoring

Members list

Type members

Classlikes

trait AutomaticColoringTag[F[_]]

Attributes

Source
tag.scala
Supertypes
class Object
trait Matchable
class Any
trait WarnValueDiscard[F[_]]

if this tag is set for some monad, then non-unit value discards become warnings in async block, (otherwise they errors).

if this tag is set for some monad, then non-unit value discards become warnings in async block, (otherwise they errors).

Attributes

Source
tag.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object futureDiscard.type

Givens

Givens

transparent inline given conversion[F[_], T, G[_]](using CpsMonadContext[G], CpsMonadConversion[F, G], CpsMonadMemoization[F], AutomaticColoringTag[F]): Conversion[F[T], T]

implicit conversion which inserted during autmatic coloring when async value used in sync context.

implicit conversion which inserted during autmatic coloring when async value used in sync context.

Attributes

Source
implicitAwait.scala
given tag[F[_]]: tag[F]

import of this tag enable automatic coloring

import of this tag enable automatic coloring

Attributes

Source
tag.scala