object effects extends PureharmEffectsTypeDefinitions
- Since
24 Apr 2019
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- effects
- PureharmEffectsTypeDefinitions
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- final type Applicative[F[_]] = cats.Applicative[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- 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] = ???- Definition Classes
- PureharmEffectsTypeDefinitions
- final type ApplicativeError[F[_], E] = cats.ApplicativeError[F, E]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Apply[F[_]] = cats.Apply[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Async[F[_]] = cats.effect.Async[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Attempt[+R] = Either[Throwable, R]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type AttemptT[F[_], R] = cats.data.EitherT[F, Throwable, R]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Bitraverse[F[_, _]] = cats.Bitraverse[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Bracket[F[_], E] = cats.effect.Bracket[F, E]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type BracketAttempt[F[_]] = cats.effect.Bracket[F, Throwable]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type CancelToken[F[_]] = F[Unit]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Chain[+A] = cats.data.Chain[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type CoflatMap[F[_]] = cats.CoflatMap[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Comparison = cats.kernel.Comparison
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Concurrent[F[_]] = cats.effect.Concurrent[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type ConcurrentEffect[F[_]] = cats.effect.ConcurrentEffect[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type ContextShift[F[_]] = cats.effect.ContextShift[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Deferred[F[_], A] = cats.effect.concurrent.Deferred[F, A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Effect[F[_]] = cats.effect.Effect[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type EitherT[F[_], L, R] = cats.data.EitherT[F, L, R]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Eq[A] = cats.kernel.Eq[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type ExecutionContext = scala.concurrent.ExecutionContext
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type ExecutionContextExecutor = scala.concurrent.ExecutionContextExecutor
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type ExecutionContextExecutorService = scala.concurrent.ExecutionContextExecutorService
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type ExitCase[+E] = cats.effect.ExitCase[E]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type ExitCode = cats.effect.ExitCode
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Fiber[F[_], A] = cats.effect.Fiber[F, A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type FlatMap[F[_]] = cats.FlatMap[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Functor[F[_]] = cats.Functor[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Future[+A] = scala.concurrent.Future[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Group[A] = cats.kernel.Group[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Hash[A] = cats.kernel.Hash[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type IO[+A] = cats.effect.IO[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type IOApp = cats.effect.IOApp
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Kleisli[F[_], A, B] = cats.data.Kleisli[F, A, B]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type LiftIO[F[_]] = cats.effect.LiftIO[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type MVar[F[_], A] = cats.effect.concurrent.MVar[F, A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Monad[F[_]] = cats.Monad[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- 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] = ???- Definition Classes
- PureharmEffectsTypeDefinitions
- final type MonadError[F[_], E] = cats.MonadError[F, E]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Monoid[A] = cats.kernel.Monoid[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type NEChain[+A] = Type[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type NEList[+A] = cats.data.NonEmptyList[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type NEMap[K, +A] = cats.data.NonEmptyMapImpl.Type[K, A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type NESet[A] = cats.data.NonEmptySetImpl.Type[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type NonEmptyChain[+A] = Type[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type NonEmptyList[+A] = cats.data.NonEmptyList[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type NonEmptyMap[K, +A] = cats.data.NonEmptyMapImpl.Type[K, A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type NonEmptySet[A] = cats.data.NonEmptySetImpl.Type[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type NonEmptyTraverse[F[_]] = cats.NonEmptyTraverse[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type OptionT[F[_], A] = cats.data.OptionT[F, A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Order[A] = cats.kernel.Order[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type PartialOrder[A] = cats.kernel.PartialOrder[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- type PureharmEffectsAndCatsImplicits = effects_impl.definitions.PureharmEffectsAndCatsImplicits
- type PureharmEffectsSyntaxAll = effects_impl.definitions.PureharmEffectsSyntaxAll
- type PureharmEffectsTypeDefinitions = effects_impl.definitions.PureharmEffectsTypeDefinitions
- final type Reader[A, B] = cats.data.Kleisli[Id, A, B]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type ReaderT[F[_], A, B] = cats.data.Kleisli[F, A, B]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Ref[F[_], A] = cats.effect.concurrent.Ref[F, A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Resource[F[_], A] = cats.effect.Resource[F, A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Semaphore[F[_]] = cats.effect.concurrent.Semaphore[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Semigroup[A] = cats.kernel.Semigroup[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Semigroupal[F[_]] = cats.Semigroupal[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Show[T] = cats.Show[T]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Sync[F[_]] = cats.effect.Sync[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type SyncIO[+A] = cats.effect.SyncIO[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Timer[F[_]] = cats.effect.Timer[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Traverse[F[_]] = cats.Traverse[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type TraverseFilter[F[_]] = cats.TraverseFilter[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type Try[+A] = scala.util.Try[A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type TryableDeferred[F[_], A] = cats.effect.concurrent.TryableDeferred[F, A]
- Definition Classes
- PureharmEffectsTypeDefinitions
- final type UnorderedTraverse[F[_]] = cats.UnorderedTraverse[F]
- Definition Classes
- PureharmEffectsTypeDefinitions
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
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val ApplicativeAttempt: effects_impl.ApplicativeAttempt.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val ApplicativeError: cats.ApplicativeError.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Apply: cats.Apply.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Async: cats.effect.Async.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Attempt: Either.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val AttemptT: cats.data.EitherT.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Await: scala.concurrent.Await.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Bitraverse: cats.Bitraverse.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Bracket: cats.effect.Bracket.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val BracketAttempt: effects_impl.BracketAttempt.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Chain: cats.data.Chain.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val CoflatMap: cats.CoflatMap.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Comparison: cats.Comparison.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Concurrent: cats.effect.Concurrent.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val ConcurrentEffect: cats.effect.ConcurrentEffect.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Deferred: cats.effect.concurrent.Deferred.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Effect: cats.effect.Effect.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val EitherT: cats.data.EitherT.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Eq: cats.Eq.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val ExecutionContext: scala.concurrent.ExecutionContext.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val ExitCase: cats.effect.ExitCase.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val ExitCode: cats.effect.ExitCode.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Fiber: cats.effect.Fiber.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val FlatMap: cats.FlatMap.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Functor: cats.Functor.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Future: scala.concurrent.Future.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Group: cats.Group.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Hash: cats.Hash.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val IO: cats.effect.IO.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val IOApp: cats.effect.IOApp.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Kleisli: cats.data.Kleisli.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val LiftIO: cats.effect.LiftIO.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val MVar: cats.effect.concurrent.MVar.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Monad: cats.Monad.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val MonadAttempt: effects_impl.MonadAttempt.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val MonadError: cats.MonadError.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Monoid: cats.Monoid.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val NEChain: cats.data.NonEmptyChain.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val NEList: cats.data.NonEmptyList.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val NEMap: cats.data.NonEmptyMap.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val NESet: cats.data.NonEmptySet.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val NonEmptyChain: cats.data.NonEmptyChain.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val NonEmptyList: cats.data.NonEmptyList.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val NonEmptyMap: cats.data.NonEmptyMap.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val NonEmptySet: cats.data.NonEmptySet.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val NonEmptyTraverse: cats.NonEmptyTraverse.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val NonFatal: scala.util.control.NonFatal.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val OptionT: cats.data.OptionT.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Order: cats.Order.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val PartialOrder: cats.PartialOrder.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Reader: cats.data.Reader.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val ReaderT: cats.data.ReaderT.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Ref: cats.effect.concurrent.Ref.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Resource: cats.effect.Resource.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Semaphore: cats.effect.concurrent.Semaphore.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Semigroup: cats.Semigroup.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Semigroupal: cats.Semigroupal.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Show: cats.Show.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Sync: cats.effect.Sync.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val SyncIO: cats.effect.SyncIO.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Timer: cats.effect.Timer.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Traverse: cats.Traverse.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val TraverseFilter: cats.TraverseFilter.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val Try: scala.util.Try.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val TryFailure: Failure.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val TrySuccess: Success.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val TryableDeferred: cats.effect.concurrent.Deferred.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- final val UnorderedTraverse: cats.UnorderedTraverse.type
- Definition Classes
- PureharmEffectsTypeDefinitions
- 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
- Definition Classes
- PureharmEffectsTypeDefinitions
- 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()
- object implicits extends effects_impl.definitions.PureharmEffectsSyntaxAll with effects_impl.definitions.PureharmEffectsAndCatsImplicits
!!! N.B.
!!! N.B. !!! NEVER, EVER wildcard import this, AND, cats.implicits, or anything from the cats packages.
This object is meant to bring in everything that is in cats + some extra, without burdening the user with two different imports.