turbolift-core/turbolift.std_effects/Fail

Fail

case object Fail extends ChoiceEffect
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait ChoiceSig
trait CanInterpret
trait HasSignature
trait CanPerform[ChoiceSig]
trait Signature
class Object
trait Matchable
class Any
Fail.type

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:
ChoiceEffect

Inherited types

final override type !@![+A, U] = Computation[A, U]
Inherited from:
CanPerform
type MirroredElemLabels = EmptyTuple
Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple
Inherited from:
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror
type MirroredMonoType = Singleton
Inherited from:
Singleton
type MirroredType = Singleton
Inherited from:
Singleton
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

Concrete methods

def handler: Free[Option]

Inherited methods

final def &![Fx2 <: HasSignature](fx2: Fx2): Combine2[Fail.type, Fx2]
Inherited from:
Effect
final def apply[A](as: A*): Computation[A, Fail.type]
Inherited from:
ChoiceEffect
final override def choose[A](as: Iterable[A]): Computation[A, Fail.type]
Definition Classes
Inherited from:
ChoiceEffect
final def empty: Computation[Nothing, Fail.type]
Inherited from:
ChoiceEffect
final def fromEither[E, A](x: Either[E, A]): Computation[A, Fail.type]
Inherited from:
ChoiceEffect
final def fromOption[A](x: Option[A]): Computation[A, Fail.type]
Inherited from:
ChoiceEffect
def fromProduct(p: Product): MirroredMonoType
Inherited from:
Singleton
final def fromTry[A](x: Try[A]): Computation[A, Fail.type]
Inherited from:
ChoiceEffect
final override def orElse[A, U <: Fail.type](lhs: Computation[A, U], rhs: => Computation[A, U]): Computation[A, U]
Definition Classes
Inherited from:
ChoiceEffect
final def perform[A, U <: ThisEffect](f: ChoiceSig & Apply[U] => A !@! U { def apply(z: ChoiceSig & Apply[U]): A !@! U; }): Computation[A, U]
Inherited from:
CanPerform
final def plus[A, U <: Fail.type](lhs: Computation[A, U], rhs: => Computation[A, U]): Computation[A, U]
Inherited from:
ChoiceEffect
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product
final def pure[A](a: A): Computation[A, ThisEffect]
Inherited from:
CanPerform
final override def signatures: Array[Signature]
Definition Classes
Effect -> CanInterpret
Inherited from:
Effect

Inherited fields

final override val fail: Computation[Nothing, Fail.type]
Inherited from:
ChoiceEffect