cats-effect/cats.effect/Timer

Timer

object Timer
Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

final class TimerOps[F[_]](val self: Timer[F]) extends AnyVal

Value members

Concrete methods

def apply[F[_]](ev: Timer[F]): Timer[F]

Implicits

Implicits

implicit def deriveEitherT[F[_], L](F: Functor[F], timer: Timer[F]): Timer[[_] =>> EitherT[F, L, _$4]]

Derives a Timer instance for cats.data.EitherT, given we have one for F[_].

Derives a Timer instance for cats.data.EitherT, given we have one for F[_].

implicit def deriveIorT[F[_], L](F: Applicative[F], timer: Timer[F]): Timer[[_] =>> IorT[F, L, _$24]]

Derives a Timer instance for cats.data.IorT, given we have one for F[_].

Derives a Timer instance for cats.data.IorT, given we have one for F[_].

implicit def deriveKleisli[F[_], R](timer: Timer[F]): Timer[[_] =>> Kleisli[F, R, _$20]]

Derives a Timer instance for cats.data.Kleisli, given we have one for F[_].

Derives a Timer instance for cats.data.Kleisli, given we have one for F[_].

implicit def deriveOptionT[F[_]](F: Functor[F], timer: Timer[F]): Timer[[_] =>> OptionT[F, _$8]]

Derives a Timer instance for cats.data.OptionT, given we have one for F[_].

Derives a Timer instance for cats.data.OptionT, given we have one for F[_].

implicit def deriveResource[F[_]](F: Applicative[F], timer: Timer[F]): Timer[[_] =>> Resource[F, _$28]]

Derives a Timer instance for cats.effect.Resource, given we have one for F[_].

Derives a Timer instance for cats.effect.Resource, given we have one for F[_].

implicit def deriveStateT[F[_], S](F: Applicative[F], timer: Timer[F]): Timer[[_] =>> StateT[F, S, _$16]]

Derives a Timer instance for cats.data.StateT, given we have one for F[_].

Derives a Timer instance for cats.data.StateT, given we have one for F[_].

implicit def deriveWriterT[F[_], L](F: Applicative[F], L: Monoid[L], timer: Timer[F]): Timer[[_] =>> WriterT[F, L, _$12]]

Derives a Timer instance for cats.data.WriterT, given we have one for F[_].

Derives a Timer instance for cats.data.WriterT, given we have one for F[_].