Trait

org.specs2.control.eff

ErrorCreation

Related Doc: package eff

Permalink

trait ErrorCreation[F] extends ErrorTypes[F]

Linear Supertypes
ErrorTypes[F], AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ErrorCreation
  2. ErrorTypes
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Error = Either[Throwable, F]

    Permalink

    type of errors: exceptions or failure messages

    type of errors: exceptions or failure messages

    Definition Classes
    ErrorTypes
  2. type ErrorOrOk[A] = Evaluate[F, A]

    Permalink

    base type for this effect: either an error or a computation to evaluate a "by-name" value

    base type for this effect: either an error or a computation to evaluate a "by-name" value

    Definition Classes
    ErrorTypes
  3. type _ErrorOrOk[R] = MemberInOut[ErrorOrOk, R]

    Permalink
    Definition Classes
    ErrorTypes
  4. type _errorOrOk[R] = MemberIn[ErrorOrOk, R]

    Permalink
    Definition Classes
    ErrorTypes

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )
  6. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  8. def error[R, A](error: Error)(implicit arg0: _errorOrOk[R]): Eff[R, A]

    Permalink

    create an Eff value from an error

  9. def eval[R, A](a: EvalEffect.Eval[A])(implicit arg0: _errorOrOk[R]): Eff[R, A]

    Permalink

    create an Eff value from a computation

  10. def exception[R, A](t: Throwable)(implicit arg0: _errorOrOk[R]): Eff[R, A]

    Permalink

    create an Eff value from an exception

  11. def fail[R, A](failure: F)(implicit arg0: _errorOrOk[R]): Eff[R, A]

    Permalink

    create an Eff value from a failure

  12. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  13. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  14. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  15. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  16. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  17. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  18. def ok[R, A](a: ⇒ A)(implicit arg0: _errorOrOk[R]): Eff[R, A]

    Permalink

    create an Eff value from a computation

  19. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  20. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  21. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  22. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from ErrorTypes[F]

Inherited from AnyRef

Inherited from Any

Ungrouped