A monad that can describe asynchronous or synchronous computations that produce exactly one result.
An extension of
MonadError exposing the
a generalized abstracted pattern of safe resource acquisition and
release in the face of errors or interruption.
A cancelation token is an effectful action that is able to cancel a running task.
Clock provides the current time, as a pure alternative to:
Type class for Async data types that are cancelable and can be started concurrently.
Type class describing effect data types that are cancelable.
ContextShift provides support for shifting execution.
A monad that can suspend side effects into the
F context and
that supports lazy and potentially asynchronous evaluation.
Type for signaling the exit condition of an effectful computation, that may either succeed, fail with an error or get canceled.
Represents the exit code of an application.
Fiber represents the (pure) result of an Async data type (e.g.
A pure abstraction representing the intention to perform a side effect, where the result of that side effect may be obtained synchronously (via return) or asynchronously (via callback).
App type that runs a cats.effect.IO.
Resource is a data structure that captures the effectful
allocation of a resource, along with its finalizer.
the effect type in which the resource is allocated and released
the type of resource
A monad that can suspend the execution of side effects
A pure abstraction representing the intention to perform a side effect, where the result of that side effect is obtained synchronously.
Timer is a scheduler of tasks.