turbolift-core/turbolift.std_effects/ErrorGK

ErrorGK

trait ErrorGK[M[_, _], K, F[_], V] extends ErrorEffect[M[K, F[V]], (K, V)]
trait ErrorEffect[M[K, F[V]], (K, V)]
trait ErrorSig[M[K, F[V]], (K, V)]
trait Effect[ErrorSig[M[K, F[V]], (K, V)]]
trait CanInterpret
trait HasSignature
trait CanPerform[ErrorSig[M[K, F[V]], (K, V)]]
trait Signature
class Object
trait Matchable
class Any

Type members

Inherited classlikes

abstract class Proxy[Fx] extends ProxyWithParam[Fx] with ThisInterpreter
Inherited from:
CanInterpret
abstract class Stateful[S, F[_]] extends Stateful[S, F] with ThisInterpreter
Inherited from:
CanInterpret
abstract class Stateless[F[_]] extends Stateless[F] with ThisInterpreter
Inherited from:
CanInterpret
object ThisHandler
Inherited from:
CanInterpret
sealed trait ThisInterpreter extends Unsealed
Inherited from:
CanInterpret
object handlers
Inherited from:
ErrorEffect

Inherited types

final override type !@![+A, U] = Computation[A, U]
Inherited from:
CanPerform
final override type ThisEffect = Effect
Inherited from:
Effect
final type ThisHandler[F[_], N] = Handler[F, ThisEffect, N]
Inherited from:
CanInterpret
final override type ThisSignature = Z
Inherited from:
Effect

Value members

Inherited methods

final def &![Fx2 <: HasSignature](fx2: Fx2): Combine2[ErrorGK[M, K, F, V], Fx2]
Inherited from:
Effect
final def fromEither[A](x: Either[(K, V), A]): Computation[A, ErrorGK[M, K, F, V]]
Inherited from:
ErrorEffect
final def fromOption[A](x: Option[A])(e: => (K, V)): Computation[A, ErrorGK[M, K, F, V]]
Inherited from:
ErrorEffect
final def fromTry[A](x: Try[A])(implicit ev: Throwable <:< (K, V)): Computation[A, ErrorGK[M, K, F, V]]
Inherited from:
ErrorEffect
final def handler(implicit E: (K, V) =:= M[K, F[V]]): Free[[_] =>> Either[M[K, F[V]], _$4]]
Inherited from:
ErrorEffect
final override def katch[A, U <: ErrorGK[M, K, F, V]](body: Computation[A, U])(f: M[K, F[V]] => Computation[A, U]): Computation[A, U]
Definition Classes
Inherited from:
ErrorEffect
final def perform[A, U <: ThisEffect](f: ErrorSig[M[K, F[V]], (K, V)] & Apply[U] => A !@! U { def apply(z: ErrorSig[M[K, F[V]], (K, V)] & Apply[U]): A !@! U; }): Computation[A, U]
Inherited from:
CanPerform
final def pure[A](a: A): Computation[A, ThisEffect]
Inherited from:
CanPerform
final def raise[K, V1](k: K, v: V1)(implicit ev: (K, V1) <:< (K, V)): Computation[Unit, ErrorGK[M, K, F, V]]
Inherited from:
ErrorEffect
final override def raise(e: (K, V)): Computation[Nothing, ErrorGK[M, K, F, V]]
Definition Classes
Inherited from:
ErrorEffect
final def raises[K, V](k: K, v: V)(implicit ev: (K, V) <:< M[K, F[V]]): Computation[Unit, ErrorGK[M, K, F, V]]
Inherited from:
ErrorEffect
final override def raises(e: M[K, F[V]]): Computation[Nothing, ErrorGK[M, K, F, V]]
Definition Classes
Inherited from:
ErrorEffect
final override def signatures: Array[Signature]
Definition Classes
Effect -> CanInterpret
Inherited from:
Effect