trait PureharmEffectsTypeDefinitions extends AnyRef
Trait to mixin all sorts of type aliases for most commonly used effects. This trait should be mixed in each of your projects to gain "one import experience" for your effect needs.
This brings in together all types from cats + cats-effect and some standard scala types
- Since
24 Apr 2019
Linear Supertypes
Known Subclasses
Ordering
- Alphabetic
- By Inheritance
Inherited
- PureharmEffectsTypeDefinitions
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- final type Applicative[F[_]] = cats.Applicative[F]
- final type ApplicativeAttempt[F[_]] = cats.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] = ???
- final type ApplicativeError[F[_], E] = cats.ApplicativeError[F, E]
- final type Apply[F[_]] = cats.Apply[F]
- final type Async[F[_]] = cats.effect.Async[F]
- final type Attempt[+R] = Either[Throwable, R]
- final type AttemptT[F[_], R] = cats.data.EitherT[F, Throwable, R]
- final type Bitraverse[F[_, _]] = cats.Bitraverse[F]
- final type Bracket[F[_], E] = cats.effect.Bracket[F, E]
- final type BracketAttempt[F[_]] = cats.effect.Bracket[F, Throwable]
- final type CancelToken[F[_]] = F[Unit]
- final type Chain[+A] = cats.data.Chain[A]
- final type CoflatMap[F[_]] = cats.CoflatMap[F]
- final type Comparison = cats.kernel.Comparison
- final type Concurrent[F[_]] = cats.effect.Concurrent[F]
- final type ConcurrentEffect[F[_]] = cats.effect.ConcurrentEffect[F]
- final type ContextShift[F[_]] = cats.effect.ContextShift[F]
- final type Deferred[F[_], A] = cats.effect.concurrent.Deferred[F, A]
- final type Effect[F[_]] = cats.effect.Effect[F]
- final type EitherT[F[_], L, R] = cats.data.EitherT[F, L, R]
- final type Eq[A] = cats.kernel.Eq[A]
- final type ExecutionContext = scala.concurrent.ExecutionContext
- final type ExecutionContextExecutor = scala.concurrent.ExecutionContextExecutor
- final type ExecutionContextExecutorService = scala.concurrent.ExecutionContextExecutorService
- final type ExitCase[+E] = cats.effect.ExitCase[E]
- final type ExitCode = cats.effect.ExitCode
- final type Fiber[F[_], A] = cats.effect.Fiber[F, A]
- final type FlatMap[F[_]] = cats.FlatMap[F]
- final type Functor[F[_]] = cats.Functor[F]
- final type Future[+A] = scala.concurrent.Future[A]
- final type Group[A] = cats.kernel.Group[A]
- final type Hash[A] = cats.kernel.Hash[A]
- final type IO[+A] = cats.effect.IO[A]
- final type IOApp = cats.effect.IOApp
- final type Kleisli[F[_], A, B] = cats.data.Kleisli[F, A, B]
- final type LiftIO[F[_]] = cats.effect.LiftIO[F]
- final type MVar[F[_], A] = cats.effect.concurrent.MVar[F, A]
- final type Monad[F[_]] = cats.Monad[F]
- final type MonadAttempt[F[_]] = cats.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] = ???
- final type MonadError[F[_], E] = cats.MonadError[F, E]
- final type Monoid[A] = cats.kernel.Monoid[A]
- final type NEChain[+A] = Type[A]
- final type NEList[+A] = cats.data.NonEmptyList[A]
- final type NEMap[K, +A] = cats.data.NonEmptyMapImpl.Type[K, A]
- final type NESet[A] = cats.data.NonEmptySetImpl.Type[A]
- final type NonEmptyChain[+A] = Type[A]
- final type NonEmptyList[+A] = cats.data.NonEmptyList[A]
- final type NonEmptyMap[K, +A] = cats.data.NonEmptyMapImpl.Type[K, A]
- final type NonEmptySet[A] = cats.data.NonEmptySetImpl.Type[A]
- final type NonEmptyTraverse[F[_]] = cats.NonEmptyTraverse[F]
- final type OptionT[F[_], A] = cats.data.OptionT[F, A]
- final type Order[A] = cats.kernel.Order[A]
- final type PartialOrder[A] = cats.kernel.PartialOrder[A]
- final type Reader[A, B] = cats.data.Kleisli[Id, A, B]
- final type ReaderT[F[_], A, B] = cats.data.Kleisli[F, A, B]
- final type Ref[F[_], A] = cats.effect.concurrent.Ref[F, A]
- final type Resource[F[_], A] = cats.effect.Resource[F, A]
- final type Semaphore[F[_]] = cats.effect.concurrent.Semaphore[F]
- final type Semigroup[A] = cats.kernel.Semigroup[A]
- final type Semigroupal[F[_]] = cats.Semigroupal[F]
- final type Show[T] = cats.Show[T]
- final type Sync[F[_]] = cats.effect.Sync[F]
- final type SyncIO[+A] = cats.effect.SyncIO[A]
- final type Timer[F[_]] = cats.effect.Timer[F]
- final type Traverse[F[_]] = cats.Traverse[F]
- final type TraverseFilter[F[_]] = cats.TraverseFilter[F]
- final type Try[+A] = scala.util.Try[A]
- final type TryableDeferred[F[_], A] = cats.effect.concurrent.TryableDeferred[F, A]
- final type UnorderedTraverse[F[_]] = cats.UnorderedTraverse[F]
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final val Applicative: cats.Applicative.type
- final val ApplicativeAttempt: effects_impl.ApplicativeAttempt.type
- final val ApplicativeError: cats.ApplicativeError.type
- final val Apply: cats.Apply.type
- final val Async: cats.effect.Async.type
- final val Attempt: Either.type
- final val AttemptT: cats.data.EitherT.type
- final val Await: scala.concurrent.Await.type
- final val Bitraverse: cats.Bitraverse.type
- final val Bracket: cats.effect.Bracket.type
- final val BracketAttempt: effects_impl.BracketAttempt.type
- final val Chain: cats.data.Chain.type
- final val CoflatMap: cats.CoflatMap.type
- final val Comparison: cats.Comparison.type
- final val Concurrent: cats.effect.Concurrent.type
- final val ConcurrentEffect: cats.effect.ConcurrentEffect.type
- final val Deferred: cats.effect.concurrent.Deferred.type
- final val Effect: cats.effect.Effect.type
- final val EitherT: cats.data.EitherT.type
- final val Eq: cats.Eq.type
- final val ExecutionContext: scala.concurrent.ExecutionContext.type
- final val ExitCase: cats.effect.ExitCase.type
- final val ExitCode: cats.effect.ExitCode.type
- final val Fiber: cats.effect.Fiber.type
- final val FlatMap: cats.FlatMap.type
- final val Functor: cats.Functor.type
- final val Future: scala.concurrent.Future.type
- final val Group: cats.Group.type
- final val Hash: cats.Hash.type
- final val IO: cats.effect.IO.type
- final val IOApp: cats.effect.IOApp.type
- final val Kleisli: cats.data.Kleisli.type
- final val LiftIO: cats.effect.LiftIO.type
- final val MVar: cats.effect.concurrent.MVar.type
- final val Monad: cats.Monad.type
- final val MonadAttempt: effects_impl.MonadAttempt.type
- final val MonadError: cats.MonadError.type
- final val Monoid: cats.Monoid.type
- final val NEChain: cats.data.NonEmptyChain.type
- final val NEList: cats.data.NonEmptyList.type
- final val NEMap: cats.data.NonEmptyMap.type
- final val NESet: cats.data.NonEmptySet.type
- final val NonEmptyChain: cats.data.NonEmptyChain.type
- final val NonEmptyList: cats.data.NonEmptyList.type
- final val NonEmptyMap: cats.data.NonEmptyMap.type
- final val NonEmptySet: cats.data.NonEmptySet.type
- final val NonEmptyTraverse: cats.NonEmptyTraverse.type
- final val NonFatal: scala.util.control.NonFatal.type
- final val OptionT: cats.data.OptionT.type
- final val Order: cats.Order.type
- final val PartialOrder: cats.PartialOrder.type
- final val Reader: cats.data.Reader.type
- final val ReaderT: cats.data.ReaderT.type
- final val Ref: cats.effect.concurrent.Ref.type
- final val Resource: cats.effect.Resource.type
- final val Semaphore: cats.effect.concurrent.Semaphore.type
- final val Semigroup: cats.Semigroup.type
- final val Semigroupal: cats.Semigroupal.type
- final val Show: cats.Show.type
- final val Sync: cats.effect.Sync.type
- final val SyncIO: cats.effect.SyncIO.type
- final val Timer: cats.effect.Timer.type
- final val Traverse: cats.Traverse.type
- final val TraverseFilter: cats.TraverseFilter.type
- final val Try: scala.util.Try.type
- final val TryFailure: Failure.type
- final val TrySuccess: Success.type
- final val TryableDeferred: cats.effect.concurrent.Deferred.type
- final val UnorderedTraverse: cats.UnorderedTraverse.type
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final val contextShift: ContextShift.type
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()