package effect
Implicits to provide a convenient syntax to work with type classes and functions.
Non-trivial code should *not* be defined in this package; instead delegate.
- Source
- package.scala
- Alphabetic
- By Inheritance
- effect
- EffectSyntaxes
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- trait EffectSyntaxes extends AnyRef
- final class IdOps[A] extends AnyVal
- final class LiftControlIOOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toLiftControlIO
- trait LiftControlIOSyntax[F[_]] extends AnyRef
- final class LiftIOOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toLiftIO
- trait LiftIOSyntax[F[_]] extends AnyRef
- sealed abstract class MonadCatchIOOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toMonadCatchIO
- trait MonadCatchIOSyntax[F[_]] extends AnyRef
- final class MonadControlIOOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toMonadControlIO
- trait MonadControlIOSyntax[F[_]] extends LiftControlIOSyntax[F] with MonadSyntax[F]
- final class MonadIOOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toMonadIO
- trait MonadIOSyntax[F[_]] extends LiftIOSyntax[F] with MonadSyntax[F]
- final class ResourceOps[F] extends Ops[F]
Wraps a value
self
and provides methods related toResource
- trait ResourceSyntax[F] extends AnyRef
- trait ToAllEffectTypeClassOps extends ToIdOps with ToResourceOps with ToMonadCatchIOOps
- trait ToIdOps extends AnyRef
- trait ToLiftControlIOOps[TC[F[_]] <: LiftControlIO[F[_]]] extends ToLiftControlIOOps0[TC]
- trait ToLiftControlIOOps0[TC[F[_]] <: LiftControlIO[F[_]]] extends ToLiftControlIOOpsU[TC]
- sealed trait ToLiftControlIOOpsU[TC[F[_]] <: LiftControlIO[F[_]]] extends AnyRef
- trait ToLiftIOOps[TC[F[_]] <: LiftIO[F[_]]] extends ToLiftIOOps0[TC]
- trait ToLiftIOOps0[TC[F[_]] <: LiftIO[F[_]]] extends ToLiftIOOpsU[TC]
- sealed trait ToLiftIOOpsU[TC[F[_]] <: LiftIO[F[_]]] extends AnyRef
- trait ToMonadCatchIOOps extends ToMonadCatchIOOps0
- sealed trait ToMonadCatchIOOps0 extends AnyRef
- trait ToMonadControlIOOps[TC[F[_]] <: MonadControlIO[F[_]]] extends ToMonadControlIOOps0[TC] with ToLiftControlIOOps[TC] with ToMonadOps[TC]
- trait ToMonadControlIOOps0[TC[F[_]] <: MonadControlIO[F[_]]] extends ToMonadControlIOOpsU[TC]
- sealed trait ToMonadControlIOOpsU[TC[F[_]] <: MonadControlIO[F[_]]] extends AnyRef
- trait ToMonadIOOps[TC[F[_]] <: MonadIO[F[_]]] extends ToMonadIOOps0[TC] with ToLiftIOOps[TC] with ToMonadOps[TC]
- trait ToMonadIOOps0[TC[F[_]] <: MonadIO[F[_]]] extends ToMonadIOOpsU[TC]
- sealed trait ToMonadIOOpsU[TC[F[_]] <: MonadIO[F[_]]] extends AnyRef
- trait ToResourceOps extends AnyRef
Value Members
- object EffectSyntax extends EffectSyntaxes
The members of this object are also offered in the package object scalaz.syntax.effect
- object all extends ToAllEffectTypeClassOps
- Definition Classes
- EffectSyntaxes
- object id extends ToIdOps
- Definition Classes
- EffectSyntaxes
- object monadCatchIO extends ToMonadCatchIOOps
- Definition Classes
- EffectSyntaxes
- object resource extends ToResourceOps
- Definition Classes
- EffectSyntaxes