InvariantOps

Value Members

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

   

   Definition Classes

   Any

2. final def ##(): Int

   

   Definition Classes

   Any

3. def +(other: String): String

   

   Implicit information

   This member is added by an implicit conversion from InvariantOps[F, O, R] to any2stringadd[InvariantOps[F, O, R]] performed by method any2stringadd in scala.Predef.

   Definition Classes

   any2stringadd

4. def ->[B](y: B): (InvariantOps[F, O, R], B)

   

   Implicit information

   This member is added by an implicit conversion from InvariantOps[F, O, R] to ArrowAssoc[InvariantOps[F, O, R]] performed by method ArrowAssoc in scala.Predef.

   Definition Classes

   ArrowAssoc

   Annotations

   @inline()

5. final def ==(arg0: Any): Boolean

   

   Definition Classes

   Any

6. def >>[O2 >: O, R2](p2: ⇒ Pull[F, O2, R2]): Pull[F, O2, R2]

   

   Alias for flatMap(_ => p2).

7. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

8. def covary[F2[x] >: F[x]]: Pull[F2, O, R]

   

   Lifts this pull to the specified effect type.

9. def covaryAll[F2[x] >: F[x], O2 >: O, R2 >: R]: Pull[F2, O2, R2]

   

   Lifts this pull to the specified effect type, output type, and resource type.

10. def ensuring(cond: (InvariantOps[F, O, R]) ⇒ Boolean, msg: ⇒ Any): InvariantOps[F, O, R]

    

    Implicit information

    This member is added by an implicit conversion from InvariantOps[F, O, R] to Ensuring[InvariantOps[F, O, R]] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

11. def ensuring(cond: (InvariantOps[F, O, R]) ⇒ Boolean): InvariantOps[F, O, R]

    

    Implicit information

    This member is added by an implicit conversion from InvariantOps[F, O, R] to Ensuring[InvariantOps[F, O, R]] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

12. def ensuring(cond: Boolean, msg: ⇒ Any): InvariantOps[F, O, R]

    

    Implicit information

    This member is added by an implicit conversion from InvariantOps[F, O, R] to Ensuring[InvariantOps[F, O, R]] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

13. def ensuring(cond: Boolean): InvariantOps[F, O, R]

    

    Implicit information

    This member is added by an implicit conversion from InvariantOps[F, O, R] to Ensuring[InvariantOps[F, O, R]] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

14. def flatMap[O2 >: O, R2](f: (R) ⇒ Pull[F, O2, R2]): Pull[F, O2, R2]

    

    Applies the resource of this pull to f and returns the result.

15. def formatted(fmtstr: String): String

    

    Implicit information

    This member is added by an implicit conversion from InvariantOps[F, O, R] to StringFormat[InvariantOps[F, O, R]] performed by method StringFormat in scala.Predef.

    Definition Classes

    StringFormat

    Annotations

    @inline()

16. def getClass(): Class[_ <: AnyVal]

    

    Definition Classes

    AnyVal → Any

17. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

18. def onComplete[O2 >: O, R2 >: R](p2: ⇒ Pull[F, O2, R2]): Pull[F, O2, R2]

    

    Run p2 after this, regardless of errors during this, then reraise any errors encountered during this.

19. def onError[O2 >: O, R2 >: R](h: (Throwable) ⇒ Pull[F, O2, R2]): Pull[F, O2, R2]

    

    If this terminates with Pull.fail(e), invoke h(e).

20. def scope: Pull[F, O, R]

    

    Tracks any resources acquired during this pull and release them when the pull completes.

21. def toString(): String

    

    Definition Classes

    Any

22. def →[B](y: B): (InvariantOps[F, O, R], B)

    

    Implicit information

    This member is added by an implicit conversion from InvariantOps[F, O, R] to ArrowAssoc[InvariantOps[F, O, R]] performed by method ArrowAssoc in scala.Predef.

    Definition Classes

    ArrowAssoc