cps-async-connect-cats-effect/cps.monads.catsEffect

cps.monads.catsEffect

package cps.monads.catsEffect

Type members

Classlikes

part of asyncScope

See also: asyncScope

CpsAsyncMonad for cats-effect.

Value members

Concrete methods

Produce effect with resource-aware scope block.

val effect = asyncScope[IO] {
   val reader = await(openFile(input))
   val writer = await(openFile(output))
   writer.transformFrom(0,Long.MaxValue,reader)
}

Here evaluation of effect will open reader and wrier, transfer data and then close reader and writer. block inside asyncScope evaluated in CpsResourceMonad[[X]=>>Resource[F,X]]

See also: [cps.monads.catsEffect.CpsResourceMonad]

Concrete fields

Givens

into F[T] to [A] =>> Resource[F,A] for using inside asyncScope

Extensions

extension [F[_], A](r: Resource[F, A])(using m: CpsMonad[F], cm: MonadCancel[F, Throwable])

Pseudo-synchronious syntax for resource, which can be used in async block.

Usage: assuming we have:

   def open(file: File): Resource[IO, BufferedReader]

we can

   async[IO] {
      ....
      open(file).useOn{ buffer =>
          await(doSomething)
          buffer.write(r)
          result
      }
   }

extension (resourceSingleton: Resource)

Pseudo-synchronious syntax for resource, which can be used in async block.

   async[IO] {
      ....
      useing(openFile){ buffer =>
          await(doSomething)
          buffer.write(r)
          result
      }
   }

Pseudo-synchronious syntax for resource, which can be used in async block.

   async[IO] {
      ....
      useing(openFile){ buffer =>
          await(doSomething)
          buffer.write(r)
          result
      }
   }

Pseudo-synchronious syntax for resource, which can be used in async block.

   async[IO] {
      ....
      useing(openFile){ buffer =>
          await(doSomething)
          buffer.write(r)
          result
      }
   }