object Pull
- Source
- Pull.scala
- Alphabetic
- By Inheritance
- Pull
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
acquire[F[_], R](r: F[R])(cleanup: (R) ⇒ F[Unit]): Pull[F, Nothing, R]
Acquire a resource within a
Pull
.Acquire a resource within a
Pull
. The cleanup action will be run at the end of the.close
scope which executes the returnedPull
. The acquired resource is returned as the result value of the pull. -
def
acquireCancellable[F[_], R](r: F[R])(cleanup: (R) ⇒ F[Unit]): Pull[F, Nothing, (Pull[F, Nothing, Unit], R)]
Like acquire but the result value is a tuple consisting of a cancellation pull and the acquired resource.
Like acquire but the result value is a tuple consisting of a cancellation pull and the acquired resource. Running the cancellation pull frees the resource. This allows the acquired resource to be released earlier than at the end of the containing pull scope.
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
attemptEval[F[_], R](f: F[R]): Pull[F, Nothing, Attempt[R]]
Creates a pull that when interpreted, evalutes the specified effectful value and returns the result as the resource of the pull.
Creates a pull that when interpreted, evalutes the specified effectful value and returns the result as the resource of the pull. If evaluating the effect results in an exception, the exception is returned as a
Left
. Otherwise, the result is returned as aRight
. -
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
implicit
def
covaryPure[F[_], W, R](p: Pull[Pure, W, R]): Pull[F, W, R]
Converts a pure pull to an effectful pull of the specified type.
-
def
done: Pull[Nothing, Nothing, Nothing]
The completed
Pull
.The completed
Pull
. Reads and outputs nothing. -
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
eval[F[_], R](f: F[R]): Pull[F, Nothing, R]
Creates a pull that when interpreted, evalutes the specified effectful value and returns the result as the resource of the pull.
Creates a pull that when interpreted, evalutes the specified effectful value and returns the result as the resource of the pull. If evaluating the effect results in an exception, the exception fails the pull (via fail).
-
def
evalScope[F[_], R](f: Scope[F, R]): Pull[F, Nothing, R]
Lifts a scope in to a pull.
-
def
fail(err: Throwable): Pull[Nothing, Nothing, Nothing]
The
Pull
that reads and outputs nothing, and fails with the given error. -
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
loop[F[_], W, R](using: (R) ⇒ Pull[F, W, R]): (R) ⇒ Pull[F, W, Nothing]
Repeatedly use the output of the
Pull
as input for the next step of the pull.Repeatedly use the output of the
Pull
as input for the next step of the pull. Halts when a step terminates withPull.done
orPull.fail
. -
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
onError[F[_], O, R](p: Pull[F, O, R])(handle: (Throwable) ⇒ Pull[F, O, R]): Pull[F, O, R]
If
p
terminates withfail(e)
, invokehandle(e)
. -
def
output[F[_], W](w: Chunk[W]): Pull[F, W, Unit]
Write a
Chunk[W]
to the output of thisPull
. -
def
output1[F[_], W](w: W): Pull[F, W, Unit]
Write a single
W
to the output of thisPull
. -
def
outputs[F[_], O](s: Stream[F, O]): Pull[F, O, Unit]
Write a stream to the output of this
Pull
. -
def
pure[R](r: R): Pull[Nothing, Nothing, R]
The
Pull
that reads and outputs nothing, and succeeds with the given value,R
. -
def
suspend[F[_], O, R](p: ⇒ Pull[F, O, R]): Pull[F, O, R]
Returns a pull that lazily evaluates
p
. -
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )