cats-effect/cats.effect/Sync

Sync

object Sync
Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

trait AllOps[F[_], A] extends Ops[F, A]
trait Ops[F[_], A]
trait ToSyncOps
class `ops$`
object nonInheritedOps extends ToSyncOps

Value members

Concrete methods

@inline
def apply[F[_]](instance: Sync[F]): Sync[F]

Summon an instance of Sync for F.

Summon an instance of Sync for F.

Concrete fields

val ops: `ops$`

Implicits

Implicits

implicit def catsEitherTSync[F[_], L](`evidence$1`: Sync[F]): Sync[[_] =>> EitherT[F, L, _$3]]

Sync instance built for cats.data.EitherT values initialized with any F data type that also implements Sync.

Sync instance built for cats.data.EitherT values initialized with any F data type that also implements Sync.

implicit def catsIorTSync[F[_], L](`evidence$7`: Sync[F], `evidence$8`: Semigroup[L]): Sync[[_] =>> IorT[F, L, _$13]]

Sync instance built for cats.data.IorT values initialized with any F data type that also implements Sync.

Sync instance built for cats.data.IorT values initialized with any F data type that also implements Sync.

implicit def catsKleisliSync[F[_], R](`evidence$6`: Sync[F]): Sync[[_] =>> Kleisli[F, R, _$11]]

Sync instance built for cats.data.Kleisli values initialized with any F data type that also implements Sync.

Sync instance built for cats.data.Kleisli values initialized with any F data type that also implements Sync.

implicit def catsOptionTSync[F[_]](`evidence$2`: Sync[F]): Sync[[_] =>> OptionT[F, _$5]]

Sync instance built for cats.data.OptionT values initialized with any F data type that also implements Sync.

Sync instance built for cats.data.OptionT values initialized with any F data type that also implements Sync.

implicit def catsReaderWriteStateTSync[F[_], E, L, S](`evidence$9`: Sync[F], `evidence$10`: Monoid[L]): Sync[[_] =>> ReaderWriterStateT[F, E, L, S, _$15]]

Sync instance built for cats.data.ReaderWriterStateT values initialized with any F data type that also implements Sync.

Sync instance built for cats.data.ReaderWriterStateT values initialized with any F data type that also implements Sync.

implicit def catsStateTSync[F[_], S](`evidence$3`: Sync[F]): Sync[[_] =>> StateT[F, S, _$7]]

Sync instance built for cats.data.StateT values initialized with any F data type that also implements Sync.

Sync instance built for cats.data.StateT values initialized with any F data type that also implements Sync.

implicit def catsWriterTSync[F[_], L](`evidence$4`: Sync[F], `evidence$5`: Monoid[L]): Sync[[_] =>> WriterT[F, L, _$9]]

Sync instance built for cats.data.WriterT values initialized with any F data type that also implements Sync.

Sync instance built for cats.data.WriterT values initialized with any F data type that also implements Sync.