root/cps.automaticColoring

cps.automaticColoring

package cps.automaticColoring

Type members

Classlikes

trait AutomaticColoringTag[F[_]]
Source
tag.scala
trait WarnValueDiscard[F[_]]

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

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

Source
tag.scala

Givens

Givens

given conversion: T => U
given tag[F[_]]: AutomaticColoringTag[F]

import of this tag enable automatic coloring

import of this tag enable automatic coloring

Source
tag.scala