Packages

c

fs2.Pull

InvariantOps

final class InvariantOps[F[_], O, R] extends AnyVal

Provides syntax for pulls that are invariant in F, O, and R.

Source
Pull.scala
Linear Supertypes
AnyVal, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. InvariantOps
  2. AnyVal
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    Any
  2. final def ##(): Int
    Definition Classes
    Any
  3. def +(other: String): String
    Implicit
    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
    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
    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
    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
    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
    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
    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
    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

Inherited from AnyVal

Inherited from Any

Inherited by implicit conversion any2stringadd from InvariantOps[F, O, R] to any2stringadd[InvariantOps[F, O, R]]

Inherited by implicit conversion StringFormat from InvariantOps[F, O, R] to StringFormat[InvariantOps[F, O, R]]

Inherited by implicit conversion Ensuring from InvariantOps[F, O, R] to Ensuring[InvariantOps[F, O, R]]

Inherited by implicit conversion ArrowAssoc from InvariantOps[F, O, R] to ArrowAssoc[InvariantOps[F, O, R]]

Ungrouped