turbolift-core/turbolift.std_effects

turbolift.std_effects

package turbolift.std_effects

Type members

Classlikes

trait Choice extends ChoiceEffect
sealed trait ChoiceEffect extends Effect[ChoiceSig] with ChoiceSig
trait ChoiceSig extends Signature
case object Each extends Choice
trait Error[E] extends ErrorEffect[E, E]
trait ErrorEffect[E, E1] extends Effect[ErrorSig[E, E1]] with ErrorSig[E, E1]
trait ErrorG[M[_, _], K, V] extends ErrorEffect[M[K, V], (K, V)]
trait ErrorGK[M[_, _], K, F[_], V] extends ErrorEffect[M[K, F[V]], (K, V)]
trait ErrorK[F[_], E] extends ErrorEffect[F[E], E]
trait ErrorSig[E, E1] extends Signature
case object Fail extends ChoiceEffect
trait Reader[R] extends Effect[ReaderSig[R]] with ReaderSig[R]
trait ReaderSig[R] extends Signature
trait State[S] extends Effect[StateSig[S]] with StateSig[S]
trait StateSig[S] extends Signature
trait Writer[W] extends WriterEffect[W, W]
trait WriterEffect[W, W1] extends Effect[WriterSig[W, W1]] with WriterSig[W, W1]
trait WriterG[M[_, _], K, V] extends WriterEffect[M[K, V], (K, V)]
trait WriterGK[M[_, _], K, F[_], V] extends WriterEffect[M[K, F[V]], (K, V)]
trait WriterK[F[_], W] extends WriterEffect[F[W], W]
trait WriterSig[W, W1] extends Signature

Types

type Each = Each.type
type Fail = Fail.type