cats-effect/cats.effect

cats.effect

package cats.effect

Type members

Classlikes

object ApplicativeThrow
sealed abstract case class ExitCode
Represents the exit code of an application.
code is constrained to a range from 0 to 255, inclusive.
Companion
object
object ExitCode
Companion
class
sealed abstract class IO[+A] extends IOPlatform[A]
Companion
object
object IO extends IOCompanionPlatform with IOLowPriorityImplicits
Companion
class
trait IOApp
Companion
object
object IOApp
Companion
class
trait LiftIO[F <: ([_$1] =>> Any)]
Companion
object
object LiftIO
Companion
class
object MonadCancelThrow
object MonadThrow
sealed abstract class SyncIO[+A]
A pure abstraction representing the intention to perform a
side effect, where the result of that side effect is obtained
synchronously.
SyncIO is similar to IO, but does not support asynchronous
computations. Consequently, a SyncIO can be run synchronously
to obtain a result via unsafeRunSync. This is unlike
IO#unsafeRunSync, which cannot be safely called in general --
doing so on the JVM blocks the calling thread while the
async part of the computation is run and doing so on Scala.js
throws an exception upon encountering an async boundary.
Companion
object
object SyncIO extends SyncIOCompanionPlatform with SyncIOLowPriorityImplicits
Companion
class
trait UnsafeTimer
Companion
object
object UnsafeTimer
Companion
class
object implicits extends AllSyntax with AllInstances

Types

type ApplicativeThrow[F <: ([_$12] =>> Any)] = ApplicativeThrow[F]
type Async[F <: ([_$11] =>> Any)] = Async[F]
type Clock[F <: ([_$8] =>> Any)] = Clock[F]
type Concurrent[F <: ([_$19] =>> Any)] = Concurrent[F]
type Cont[F <: ([_$6] =>> Any), K, R] = Cont[F, K, R]
type Deferred[F <: ([_$23] =>> Any), A] = Deferred[F, A]
type Fiber[F <: ([_$4] =>> Any), E, A] = Fiber[F, E, A]
type FiberIO[A] = Fiber[[A] =>> IO[A], Throwable, A]
type GenConcurrent[F <: ([_$7] =>> Any), E] = GenConcurrent[F, E]
type GenSpawn[F <: ([_$3] =>> Any), E] = GenSpawn[F, E]
type GenTemporal[F <: ([_$9] =>> Any), E] = GenTemporal[F, E]
type MonadCancel[F <: ([_$2] =>> Any), E] = MonadCancel[F, E]
type MonadCancelThrow[F <: ([_$16] =>> Any)] = MonadCancelThrow[F]
type MonadThrow[F <: ([_$14] =>> Any)] = MonadThrow[F]
type Outcome[F <: ([_$1] =>> Any), E, A] = Outcome[F, E, A]
type OutcomeIO[A] = Outcome[[A] =>> IO[A], Throwable, A]
type ParallelF[F <: ([_$21] =>> Any), A] = T[F, A]
type Poll[F <: ([_$5] =>> Any)] = Poll[F]
type Ref[F <: ([_$24] =>> Any), A] = Ref[F, A]
type Resource[F <: ([_$22] =>> Any), +A] = Resource[F, A]
type ResourceIO[A] = Resource[[A] =>> IO[A], A]
type Spawn[F <: ([_$18] =>> Any)] = Spawn[F]
type Sync[F <: ([_$10] =>> Any)] = Sync[F]
type Temporal[F <: ([_$20] =>> Any)] = Temporal[F]

Value members

Fields

val Async: Async
val Clock: Clock
val Concurrent: GenConcurrent
val Deferred: Deferred
val GenConcurrent: GenConcurrent
val GenSpawn: GenSpawn
val GenTemporal: GenTemporal
val MonadCancel: MonadCancel
val Outcome: Outcome
val ParallelF: ParallelF
val Ref: Ref
val Resource: Resource
val Spawn: GenSpawn
val Sync: Sync
val Temporal: GenTemporal