Allocate

cats.effect.kernel.Resource$.Allocate
final case class Allocate[F[_], A](resource: Poll[F] => F[(A, ExitCase => F[Unit])]) extends Resource[F, A]

Resource data constructor that wraps an effect allocating a resource, along with its finalizers.

Attributes

Source:
Resource.scala
Graph
Supertypes
trait Product
trait Equals
class Resource[F, A]
trait Serializable
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Inherited methods

def !>[B](that: Resource[F, B])(implicit F: MonadCancel[F, Throwable]): Resource[F, B]

Attributes

Inherited from:
Resource
Source:
Resource.scala
def allocated[B >: A](implicit F: MonadCancel[F, Throwable]): F[(B, F[Unit])]

Given a Resource, possibly built by composing multiple Resources monadically, returns the acquired resource, as well as an action that runs all the finalizers for releasing it.

Given a Resource, possibly built by composing multiple Resources monadically, returns the acquired resource, as well as an action that runs all the finalizers for releasing it.

If the outer F fails or is interrupted, allocated guarantees that the finalizers will be called. However, if the outer F succeeds, it's up to the user to ensure the returned F[Unit] is called once A needs to be released. If the returned F[Unit] is not called, the finalizers will not be run.

For this reason, this is an advanced and potentially unsafe api which can cause a resource leak if not used correctly, please prefer use as the standard way of running a Resource program.

Use cases include interacting with side-effectful apis that expect separate acquire and release actions (like the before and after methods of many test frameworks), or complex library code that needs to modify or move the finalizer for an existing resource.

Attributes

Inherited from:
Resource
Source:
Resource.scala
def allocatedCase[B >: A](implicit F: MonadCancel[F, Throwable]): F[(B, ExitCase => F[Unit])]

Given a Resource, possibly built by composing multiple Resources monadically, returns the acquired resource, as well as a cleanup function that takes an exit case and runs all the finalizers for releasing it.

Given a Resource, possibly built by composing multiple Resources monadically, returns the acquired resource, as well as a cleanup function that takes an exit case and runs all the finalizers for releasing it.

If the outer F fails or is interrupted, allocated guarantees that the finalizers will be called. However, if the outer F succeeds, it's up to the user to ensure the returned ExitCode => F[Unit] is called once A needs to be released. If the returned ExitCode => F[Unit] is not called, the finalizers will not be run.

For this reason, this is an advanced and potentially unsafe api which can cause a resource leak if not used correctly, please prefer use as the standard way of running a Resource program.

Use cases include interacting with side-effectful apis that expect separate acquire and release actions (like the before and after methods of many test frameworks), or complex library code that needs to modify or move the finalizer for an existing resource.

Attributes

Inherited from:
Resource
Source:
Resource.scala
def attempt[E](implicit F: ApplicativeError[F, E]): Resource[F, Either[E, A]]

Attributes

Inherited from:
Resource
Source:
Resource.scala
def both[B](that: Resource[F, B])(implicit F: Concurrent[F]): Resource[F, (A, B)]

Allocates two resources concurrently, and combines their results in a tuple.

Allocates two resources concurrently, and combines their results in a tuple.

The finalizers for the two resources are also run concurrently with each other, but within each of the two resources, nested finalizers are run in the usual reverse order of acquisition.

The same Resource.ExitCase is propagated to every finalizer. If both resources acquired successfully, the Resource.ExitCase is determined by the outcome of use. Otherwise, it is determined by which resource failed or canceled first during acquisition.

Note that Resource also comes with a cats.Parallel instance that offers more convenient access to the same functionality as both, for example via parMapN:

import scala.concurrent.duration._
import cats.effect.{IO, Resource}
import cats.effect.std.Random
import cats.syntax.all._

def mkResource(name: String) = {
 val acquire = for {
   n <- Random.scalaUtilRandom[IO].flatMap(_.nextIntBounded(1000))
   _ <- IO.sleep(n.millis)
   _ <- IO.println(s"Acquiring $$name")
 } yield name

 def release(name: String) =
   IO.println(s"Releasing $$name")

 Resource.make(acquire)(release)
}

val r = (mkResource("one"), mkResource("two"))
 .parMapN((s1, s2) => s"I have $s1 and $s2")
 .use(IO.println(_))

Attributes

Inherited from:
Resource
Source:
Resource.scala
def combine[B >: A](that: Resource[F, B])(implicit A: Semigroup[B]): Resource[F, B]

Attributes

Inherited from:
Resource
Source:
Resource.scala
def combineK[B >: A](that: Resource[F, B])(implicit F: MonadCancel[F, Throwable], K: SemigroupK[F], G: Make[F]): Resource[F, B]

Attributes

Inherited from:
Resource
Source:
Resource.scala
def evalMap[B](f: A => F[B]): Resource[F, B]

Applies an effectful transformation to the allocated resource. Like a flatMap on F[A] while maintaining the resource context

Applies an effectful transformation to the allocated resource. Like a flatMap on F[A] while maintaining the resource context

Attributes

Inherited from:
Resource
Source:
Resource.scala
def evalOn(ec: ExecutionContext)(implicit F: Async[F]): Resource[F, A]

Attributes

Inherited from:
Resource
Source:
Resource.scala
def evalTap[B](f: A => F[B]): Resource[F, A]

Applies an effectful transformation to the allocated resource. Like a flatTap on F[A] while maintaining the resource context

Applies an effectful transformation to the allocated resource. Like a flatTap on F[A] while maintaining the resource context

Attributes

Inherited from:
Resource
Source:
Resource.scala
def flatMap[B](f: A => Resource[F, B]): Resource[F, B]

Implementation for the flatMap operation, as described via the cats.Monad type class.

Implementation for the flatMap operation, as described via the cats.Monad type class.

Attributes

Inherited from:
Resource
Source:
Resource.scala
def forceR[B](that: Resource[F, B])(implicit F: MonadCancel[F, Throwable]): Resource[F, B]

Attributes

Inherited from:
Resource
Source:
Resource.scala
def guaranteeCase(fin: Outcome[[_] =>> Resource[F, _$30], Throwable, A] => Resource[F, Unit])(implicit F: MonadCancel[F, Throwable]): Resource[F, A]

Attributes

Inherited from:
Resource
Source:
Resource.scala
def handleErrorWith[B >: A, E](f: E => Resource[F, B])(implicit F: ApplicativeError[F, E]): Resource[F, B]

Attributes

Inherited from:
Resource
Source:
Resource.scala
def map[B](f: A => B): Resource[F, B]

Given a mapping function, transforms the resource provided by this Resource.

Given a mapping function, transforms the resource provided by this Resource.

This is the standard Functor.map.

Attributes

Inherited from:
Resource
Source:
Resource.scala
def mapK[G[_]](f: FunctionK[F, G])(implicit F: MonadCancel[F, _], G: MonadCancel[G, _]): Resource[G, A]

Given a natural transformation from F to G, transforms this Resource from effect F to effect G. The F and G constraint can also be satisfied by requiring a MonadCancelThrow[F] and MonadCancelThrow[G].

Given a natural transformation from F to G, transforms this Resource from effect F to effect G. The F and G constraint can also be satisfied by requiring a MonadCancelThrow[F] and MonadCancelThrow[G].

Attributes

Inherited from:
Resource
Source:
Resource.scala
def onCancel(fin: Resource[F, Unit])(implicit F: MonadCancel[F, Throwable]): Resource[F, A]

Attributes

Inherited from:
Resource
Source:
Resource.scala
def onFinalize(finalizer: F[Unit])(implicit F: Applicative[F]): Resource[F, A]

Runs finalizer when this resource is closed. Unlike the release action passed to Resource.make, this will run even if resource acquisition fails or is canceled.

Runs finalizer when this resource is closed. Unlike the release action passed to Resource.make, this will run even if resource acquisition fails or is canceled.

Attributes

Inherited from:
Resource
Source:
Resource.scala
def onFinalizeCase(f: ExitCase => F[Unit])(implicit F: Applicative[F]): Resource[F, A]

Like onFinalize, but the action performed depends on the exit case.

Like onFinalize, but the action performed depends on the exit case.

Attributes

Inherited from:
Resource
Source:
Resource.scala
def preAllocate(precede: F[Unit]): Resource[F, A]

Runs precede before this resource is allocated.

Runs precede before this resource is allocated.

Attributes

Inherited from:
Resource
Source:
Resource.scala

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product
def race[B](that: Resource[F, B])(implicit F: Concurrent[F]): Resource[F, Either[A, B]]

Races the evaluation of two resource allocations and returns the result of the winner, except in the case of cancelation.

Races the evaluation of two resource allocations and returns the result of the winner, except in the case of cancelation.

Attributes

Inherited from:
Resource
Source:
Resource.scala
def start(implicit F: Concurrent[F]): Resource[F, Fiber[[_] =>> Resource[F, _$35], Throwable, A]]

Attributes

Inherited from:
Resource
Source:
Resource.scala
def surround[B](gb: F[B])(implicit F: MonadCancel[F, Throwable]): F[B]

Acquires the resource, runs gb and closes the resource once gb terminates, fails or gets interrupted

Acquires the resource, runs gb and closes the resource once gb terminates, fails or gets interrupted

Attributes

Inherited from:
Resource
Source:
Resource.scala
def surroundK(implicit F: MonadCancel[F, Throwable]): FunctionK[F, F]

Creates a FunctionK that can run gb within a resource, which is then closed once gb terminates, fails or gets interrupted

Creates a FunctionK that can run gb within a resource, which is then closed once gb terminates, fails or gets interrupted

Attributes

Inherited from:
Resource
Source:
Resource.scala
def use[B](f: A => F[B])(implicit F: MonadCancel[F, Throwable]): F[B]

Allocates a resource and supplies it to the given function. The resource is released as soon as the resulting F[B] is completed, whether normally or as a raised error.

Allocates a resource and supplies it to the given function. The resource is released as soon as the resulting F[B] is completed, whether normally or as a raised error.

Attributes

f

the function to apply to the allocated resource

Returns:

the result of applying [F] to

Inherited from:
Resource
Source:
Resource.scala
def useEval[B](implicit ev: A <:< F[B], F: MonadCancel[F, Throwable]): F[B]

For a resource that allocates an action (type F[B]), allocate that action, run it and release it.

For a resource that allocates an action (type F[B]), allocate that action, run it and release it.

Attributes

Inherited from:
Resource
Source:
Resource.scala
def useForever(implicit F: Spawn[F]): F[Nothing]

Allocates a resource with a non-terminating use action. Useful to run programs that are expressed entirely in Resource.

Allocates a resource with a non-terminating use action. Useful to run programs that are expressed entirely in Resource.

The finalisers run when the resulting program fails or gets interrupted.

Attributes

Inherited from:
Resource
Source:
Resource.scala
def useKleisli[B >: A, C](usage: Kleisli[F, B, C])(implicit F: MonadCancel[F, Throwable]): F[C]

Allocates the resource and uses it to run the given Kleisli.

Allocates the resource and uses it to run the given Kleisli.

Attributes

Inherited from:
Resource
Source:
Resource.scala
def useKleisliK[B >: A](implicit F: MonadCancel[F, Throwable]): FunctionK[[_] =>> Kleisli[F, B, _$6], F]

Creates a FunctionK that, when applied, will allocate the resource and use it to run the given Kleisli.

Creates a FunctionK that, when applied, will allocate the resource and use it to run the given Kleisli.

Attributes

Inherited from:
Resource
Source:
Resource.scala
def use_(implicit F: MonadCancel[F, Throwable]): F[Unit]

Allocates a resource and closes it immediately.

Allocates a resource and closes it immediately.

Attributes

Inherited from:
Resource
Source:
Resource.scala