scalaz-effect/scalaz.syntax.effect

scalaz.syntax.effect

package scalaz.syntax.effect

Type members

Classlikes

object EffectSyntax extends EffectSyntaxes

The members of this object are also offered in the package object scalaz.syntax.effect

The members of this object are also offered in the package object scalaz.syntax.effect

trait EffectSyntaxes
final
class IdOps[A](self: A) extends AnyVal
final
class LiftControlIOOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to LiftControlIO

Wraps a value self and provides methods related to LiftControlIO

trait LiftControlIOSyntax[F[_]]
final
class LiftIOOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to LiftIO

Wraps a value self and provides methods related to LiftIO

trait LiftIOSyntax[F[_]]
sealed abstract
class MonadCatchIOOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to MonadCatchIO

Wraps a value self and provides methods related to MonadCatchIO

trait MonadCatchIOSyntax[F[_]]
final
class MonadControlIOOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to MonadControlIO

Wraps a value self and provides methods related to MonadControlIO

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 to MonadIO

Wraps a value self and provides methods related to MonadIO

trait MonadIOSyntax[F[_]] extends LiftIOSyntax[F] with MonadSyntax[F]
final
class ResourceOps[F] extends Ops[F]

Wraps a value self and provides methods related to Resource

Wraps a value self and provides methods related to Resource

trait ResourceSyntax[F]
trait ToAllEffectTypeClassOps extends ToIdOps with ToResourceOps with ToMonadCatchIOOps
trait ToIdOps
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])]
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])]
trait ToMonadCatchIOOps extends ToMonadCatchIOOps0
sealed
trait ToMonadCatchIOOps0
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])]
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])]
trait ToResourceOps

Inherited classlikes

object all
Inherited from
EffectSyntaxes
object id
Inherited from
EffectSyntaxes
object monadCatchIO
Inherited from
EffectSyntaxes
object resource
Inherited from
EffectSyntaxes