PureharmEffectsAliases

class Object
trait Matchable
class Any

Type members

Inherited types

final type Always[A] = Always[A]
Inherited from
CatsAliases
final type Applicative[F[_]] = Applicative[F]
Inherited from
CatsAliases
final type ApplicativeError[F[_], E] = ApplicativeError[F, E]
Inherited from
CatsAliases
final type ApplicativeThrow[F[_]] = ApplicativeThrow[F]
Inherited from
CatsAliases
final type Apply[F[_]] = Apply[F]
Inherited from
CatsAliases
final type Async[F[_]] = Async[F]
Inherited from
CatsEffectAliases
type Attempt[+R] = Attempt[R]
type AttemptT[F[_], R] = AttemptT[F, R]
final type Bitraverse[F[_, _]] = Bitraverse[F]
Inherited from
CatsAliases
final type Blocker = Blocker
Inherited from
CatsEffectAliases

Used to block on an F[A], and ensure that all recovery and shifting back is always done.

Used to block on an F[A], and ensure that all recovery and shifting back is always done.

For instance, always ensure that any F[A] that talks to, say, amazon S3, is wrapped in such a

 blockingShifter.blockOn(S3Util.putSomething(...))

Libraries in the typelevel eco-system tend to already do this, so you don't need to be careful. For instance, doobie will always ensure that this is done to and from the EC that you provide specifically for accessing the DB. But you always need to double check, and be careful that you NEVER execute blocking IO on the same thread pool as the CPU bound one dedicated to your ContextShift[A]

Inherited from
PureharmEffectsTypeDefinitions
final type Bracket[F[_], E] = Bracket[F, E]
Inherited from
CatsEffectAliases
final type BracketThrow[F[_]] = BracketThrow[F]
Inherited from
CatsEffectAliases
final type CancelToken[F[_]] = CancelToken[F]
Inherited from
CatsEffectAliases
final type Chain[+A] = Chain[A]
Inherited from
CatsAliases
type Chunk[+O] = Chunk[O]
Inherited from
Fs2Aliases
final type CoflatMap[F[_]] = CoflatMap[F]
Inherited from
CatsAliases
type Collector[-A] = Collector[A]
Inherited from
Fs2Aliases
final type Comparison = Comparison
Inherited from
CatsAliases
final type Concurrent[F[_]] = Concurrent[F]
Inherited from
CatsEffectAliases
final type ConcurrentEffect[F[_]] = ConcurrentEffect[F]
Inherited from
CatsEffectAliases
final type ContextShift[F[_]] = ContextShift[F]
Inherited from
CatsEffectAliases
final type Deferred[F[_], A] = Deferred[F, A]
Inherited from
CatsEffectAliases
type Dequeue[F[_], A] = Dequeue[F, A]
Inherited from
Fs2Aliases
type Dequeue1[F[_], A] = Dequeue1[F, A]
Inherited from
Fs2Aliases
type DequeueChunk1[F[_], G[_], A] = DequeueChunk1[F, G, A]
Inherited from
Fs2Aliases
final type Effect[F[_]] = Effect[F]
Inherited from
CatsEffectAliases
final type EitherT[F[_], L, R] = EitherT[F, L, R]
Inherited from
CatsAliases
final type Endo[T] = () => T
Inherited from
CatsAliases
type Enqueue[F[_], A] = Enqueue[F, A]
Inherited from
Fs2Aliases
final type Eq[A] = Eq[A]
Inherited from
CatsAliases
final type Eval[+A] = Eval[A]
Inherited from
CatsAliases
final type ExecutionContext = ExecutionContext
Inherited from
ScalaStdAliases
final type ExecutionContextExecutor = ExecutionContextExecutor
Inherited from
ScalaStdAliases
final type ExecutionContextExecutorService = ExecutionContextExecutorService
Inherited from
ScalaStdAliases
final type ExitCase[+E] = ExitCase[E]
Inherited from
CatsEffectAliases
final type ExitCode = ExitCode
Inherited from
CatsEffectAliases
final type Fiber[F[_], A] = Fiber[F, A]
Inherited from
CatsEffectAliases
final type FlatMap[F[_]] = FlatMap[F]
Inherited from
CatsAliases
final type Functor[F[_]] = Functor[F]
Inherited from
CatsAliases
final type Future[+A] = Future[A]
Inherited from
ScalaStdAliases
final type Group[A] = Group[A]
Inherited from
CatsAliases
final type Hash[A] = Hash[A]
Inherited from
CatsAliases
final type IO[+A] = IO[A]
Inherited from
CatsEffectAliases
final type IOApp = IOApp
Inherited from
CatsEffectAliases
type InspectableQueue[F[_], A] = InspectableQueue[F, A]
Inherited from
Fs2Aliases
final type Kleisli[F[_], A, B] = Kleisli[F, A, B]
Inherited from
CatsAliases
final type Later[A] = Later[A]
Inherited from
CatsAliases
final type LiftIO[F[_]] = LiftIO[F]
Inherited from
CatsEffectAliases
final type MVar2[F[_], A] = MVar2[F, A]
Inherited from
CatsEffectAliases
final type Monad[F[_]] = Monad[F]
Inherited from
CatsAliases
final type MonadError[F[_], E] = MonadError[F, E]
Inherited from
CatsAliases
final type MonadThrow[F[_]] = MonadThrow[F]
Inherited from
CatsAliases
final type Monoid[A] = Monoid[A]
Inherited from
CatsAliases
final type NEChain[+A] = Type[A]
Inherited from
CatsAliases
final type NEList[+A] = NonEmptyList[A]
Inherited from
CatsAliases
final type NEMap[K, +A] = Type[K, A]
Inherited from
CatsAliases
final type NESet[A] = Type[A]
Inherited from
CatsAliases
type NoStackTrace = NoStackTrace
Inherited from
ScalaStdAliases
final type NonEmptyChain[+A] = Type[A]
Inherited from
CatsAliases
final type NonEmptyList[+A] = NonEmptyList[A]
Inherited from
CatsAliases
final type NonEmptyMap[K, +A] = Type[K, A]
Inherited from
CatsAliases
final type NonEmptyParallel[F[_]] = NonEmptyParallel[F]
Inherited from
CatsAliases
final type NonEmptySet[A] = Type[A]
Inherited from
CatsAliases
final type NonEmptyTraverse[F[_]] = NonEmptyTraverse[F]
Inherited from
CatsAliases
type NoneTerminatedQueue[F[_], A] = NoneTerminatedQueue[F, A]
Inherited from
Fs2Aliases
final type Now[A] = Now[A]
Inherited from
CatsAliases
final type OptionT[F[_], A] = OptionT[F, A]
Inherited from
CatsAliases
final type Order[A] = Order[A]
Inherited from
CatsAliases
final type Parallel[F[_]] = Parallel[F]
Inherited from
CatsAliases
final type PartialOrder[A] = PartialOrder[A]
Inherited from
CatsAliases
type Pipe[F[_], -I, +O] = (F, I) => O
Inherited from
Fs2Aliases
type Pull[+F[_], +O, +R] = Pull[F, O, R]
Inherited from
Fs2Aliases
type Queue[F[_], A] = Queue[F, A]
Inherited from
Fs2Aliases
final type Reader[A, B] = Reader[A, B]
Inherited from
CatsAliases
final type ReaderT[F[_], A, B] = Kleisli[F, A, B]
Inherited from
CatsAliases
final type Ref[F[_], A] = Ref[F, A]
Inherited from
CatsEffectAliases
final type Resource[F[_], A] = Resource[F, A]
Inherited from
CatsEffectAliases
final type Semaphore[F[_]] = Semaphore[F]
Inherited from
CatsEffectAliases
final type Semigroupal[F[_]] = Semigroupal[F]
Inherited from
CatsAliases
final type Show[T] = Show[T]
Inherited from
CatsAliases
type Stream[+F[_], +O] = Stream[F, O]
Inherited from
Fs2Aliases
final type Sync[F[_]] = Sync[F]
Inherited from
CatsEffectAliases
final type SyncIO[+A] = SyncIO[A]
Inherited from
CatsEffectAliases
final type Timer[F[_]] = Timer[F]
Inherited from
CatsEffectAliases
final type Traverse[F[_]] = Traverse[F]
Inherited from
CatsAliases
final type TraverseFilter[F[_]] = TraverseFilter[F]
Inherited from
CatsAliases
final type Try[+A] = Try[A]
Inherited from
ScalaStdAliases
final type TryableDeferred[F[_], A] = TryableDeferred[F, A]
Inherited from
CatsEffectAliases
final type UnorderedTraverse[F[_]] = UnorderedTraverse[F]
Inherited from
CatsAliases

Deprecated and Inherited types

@deprecated("Use ApplicativeThrow instead", "0.1.0")
type ApplicativeAttempt[F[_]] = ApplicativeError[F, Throwable]

Useful since we don't have partial kind application by default Usage:

Useful since we don't have partial kind application by default Usage:

 def canFail[F[_]: ApplicativeAttempt, T](p1: T) : F[T] = ???
Deprecated
Inherited from
PureharmEffectsTypeDefinitions
@deprecated("Use BracketThrow instead", "0.1.0")
type BracketAttempt[F[_]] = Bracket[F, Throwable]
Deprecated
Inherited from
PureharmEffectsTypeDefinitions
@deprecated("`MVar` is now deprecated in favour of a new generation `MVar2` with `tryRead` and `swap` support", "2.2.0")
final type MVar[F[_], A] = MVar[F, A]
Deprecated
Inherited from
CatsEffectAliases
@deprecated("Use MonadThrow instead", "0.1.0")
type MonadAttempt[F[_]] = MonadError[F, Throwable]

Useful since we don't have partial kind application by default Usage:

Useful since we don't have partial kind application by default Usage:

 def canFail[F[_]: MonadAttempt, T](p1: T) : F[T] = ???
Deprecated
Inherited from
PureharmEffectsTypeDefinitions

Value members

Inherited fields

final val Always: Always
Inherited from
CatsAliases
final val Applicative: Applicative
Inherited from
CatsAliases
final val ApplicativeError: ApplicativeError
Inherited from
CatsAliases
final val ApplicativeThrow: ApplicativeThrow
Inherited from
CatsAliases
final val Apply: Apply
Inherited from
CatsAliases
final val Async: Async
Inherited from
CatsEffectAliases
val AttemptT: EitherT
final val Await: Await
Inherited from
ScalaStdAliases
val Balance: Balance
Inherited from
Fs2Aliases
final val Bitraverse: Bitraverse
Inherited from
CatsAliases
final val Blocker: Blocker
Inherited from
CatsEffectAliases
final val Bracket: Bracket
Inherited from
CatsEffectAliases
final val Chain: Chain
Inherited from
CatsAliases
val Chunk: Chunk
Inherited from
Fs2Aliases
final val CoflatMap: CoflatMap
Inherited from
CatsAliases
val Collector: Collector
Inherited from
Fs2Aliases
final val Comparison: Comparison
Inherited from
CatsAliases
final val Concurrent: Concurrent
Inherited from
CatsEffectAliases
final val ConcurrentEffect: ConcurrentEffect
Inherited from
CatsEffectAliases
final val ContextShift: ContextShift
Inherited from
CatsEffectAliases
final val Deferred: Deferred
Inherited from
CatsEffectAliases
final val Effect: Effect
Inherited from
CatsEffectAliases
final val EitherT: EitherT
Inherited from
CatsAliases
final val Eq: Eq
Inherited from
CatsAliases
final val Eval: Eval
Inherited from
CatsAliases
final val ExecutionContext: ExecutionContext
Inherited from
ScalaStdAliases
final val ExitCase: ExitCase
Inherited from
CatsEffectAliases
final val ExitCode: ExitCode
Inherited from
CatsEffectAliases
final val Fiber: Fiber
Inherited from
CatsEffectAliases
final val FlatMap: FlatMap
Inherited from
CatsAliases
final val Functor: Functor
Inherited from
CatsAliases
final val Future: Future
Inherited from
ScalaStdAliases
final val Group: Group
Inherited from
CatsAliases
final val Hash: Hash
Inherited from
CatsAliases
final val IO: IO
Inherited from
CatsEffectAliases
final val IOApp: IOApp
Inherited from
CatsEffectAliases
val InspectableQueue: InspectableQueue
Inherited from
Fs2Aliases
final val Kleisli: Kleisli
Inherited from
CatsAliases
final val Later: Later
Inherited from
CatsAliases
final val LiftIO: LiftIO
Inherited from
CatsEffectAliases
final val MVar: MVar
Inherited from
CatsEffectAliases
final val Monad: Monad
Inherited from
CatsAliases
final val MonadError: MonadError
Inherited from
CatsAliases
final val MonadThrow: MonadThrow
Inherited from
CatsAliases
final val Monoid: Monoid
Inherited from
CatsAliases
final val NEChain: NonEmptyChainImpl
Inherited from
CatsAliases
final val NEList: NonEmptyList
Inherited from
CatsAliases
final val NEMap: NonEmptyMapImpl
Inherited from
CatsAliases
final val NESet: NonEmptySetImpl
Inherited from
CatsAliases
final val NonEmptyChain: NonEmptyChainImpl
Inherited from
CatsAliases
final val NonEmptyList: NonEmptyList
Inherited from
CatsAliases
final val NonEmptyMap: NonEmptyMapImpl
Inherited from
CatsAliases
final val NonEmptyParallel: NonEmptyParallel
Inherited from
CatsAliases
final val NonEmptySet: NonEmptySetImpl
Inherited from
CatsAliases
final val NonEmptyTraverse: NonEmptyTraverse
Inherited from
CatsAliases
final val NonFatal: NonFatal
Inherited from
ScalaStdAliases
final val Now: Now
Inherited from
CatsAliases
final val OptionT: OptionT
Inherited from
CatsAliases
final val Order: Order
Inherited from
CatsAliases
final val Parallel: Parallel
Inherited from
CatsAliases
final val PartialOrder: PartialOrder
Inherited from
CatsAliases
val Pull: Pull
Inherited from
Fs2Aliases
val Queue: Queue
Inherited from
Fs2Aliases
final val Reader: Reader
Inherited from
CatsAliases
final val ReaderT: Kleisli
Inherited from
CatsAliases
final val Ref: Ref
Inherited from
CatsEffectAliases
final val Resource: Resource
Inherited from
CatsEffectAliases
final val Semaphore: Semaphore
Inherited from
CatsEffectAliases
final val Semigroupal: Semigroupal
Inherited from
CatsAliases
final val Show: Show
Inherited from
CatsAliases
val Stream: Stream
Inherited from
Fs2Aliases
final val Sync: Sync
Inherited from
CatsEffectAliases
final val SyncIO: SyncIO
Inherited from
CatsEffectAliases
final val Timer: Timer
Inherited from
CatsEffectAliases
final val Traverse: Traverse
Inherited from
CatsAliases
final val TraverseFilter: TraverseFilter
Inherited from
CatsAliases
final val Try: Try
Inherited from
ScalaStdAliases
final val TryFailure: Failure
Inherited from
ScalaStdAliases
final val TrySuccess: Success
Inherited from
ScalaStdAliases
final val TryableDeferred: Deferred
Inherited from
CatsEffectAliases
final val UnorderedTraverse: UnorderedTraverse
Inherited from
CatsAliases