Packages

object Ref extends Serializable

Source
Ref.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Ref
  2. Serializable
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. final class ApplyBuilders[F[_]] extends AnyVal
  2. trait Make[F[_]] extends AnyRef
    Annotations
    @implicitNotFound()

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply[F[_]](implicit mk: Make[F]): ApplyBuilders[F]

    Builds a Ref value for data types that are Sync

    Builds a Ref value for data types that are Sync

    This builder uses the Partially-Applied Type technique.

    Ref[IO].of(10) <-> Ref.of[IO, Int](10)
    See also

    of

  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. implicit def catsInvariantForRef[F[_]](implicit arg0: Functor[F]): Invariant[[β$2$]Ref[F, β$2$]]
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  8. def copyOf[F[_], A](source: Ref[F, A])(implicit arg0: Make[F], arg1: FlatMap[F]): F[Ref[F, A]]

    Creates a Ref starting with the value of the one in source.

    Creates a Ref starting with the value of the one in source.

    Updates of either of the Refs will not have an effect on the other (assuming A is immutable).

  9. def empty[F[_], A](implicit arg0: Make[F], arg1: Monoid[A]): F[Ref[F, A]]

    Creates a Ref with empty content

  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  13. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. def in[F[_], G[_], A](a: A)(implicit F: Sync[F], G: Sync[G]): F[Ref[G, A]]

    Builds a Ref value for data types that are Sync like of but initializes state using another effect constructor

  16. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  17. def lens[F[_], A, B](ref: Ref[F, A])(get: (A) => B, set: (A) => (B) => A)(implicit F: Functor[F]): Ref[F, B]

    Creates an instance focused on a component of another Ref's value.

    Creates an instance focused on a component of another Ref's value. Delegates every get and modification to underlying Ref, so both instances are always in sync.

    Example:

    case class Foo(bar: String, baz: Int)
    
    val refA: Ref[IO, Foo] = ???
    val refB: Ref[IO, String] =
      Ref.lens[IO, Foo, String](refA)(_.bar, (foo: Foo) => (bar: String) => foo.copy(bar = bar))
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  21. def of[F[_], A](a: A)(implicit mk: Make[F]): F[Ref[F, A]]

    Creates a thread-safe, concurrent mutable reference initialized to the supplied value.

    Creates a thread-safe, concurrent mutable reference initialized to the supplied value.

    import cats.effect.IO
    import cats.effect.kernel.Ref
    
    for {
      intRef <- Ref.of[IO, Int](10)
      ten <- intRef.get
    } yield ten
  22. def ofEffect[F[_], A](fa: F[A])(implicit arg0: Make[F], arg1: FlatMap[F]): F[Ref[F, A]]

    Creates a Ref starting with the result of the effect fa.

  23. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  24. def toString(): String
    Definition Classes
    AnyRef → Any
  25. def unsafe[F[_], A](a: A)(implicit F: Sync[F]): Ref[F, A]

    Like apply but returns the newly allocated Ref directly instead of wrapping it in F.delay.

    Like apply but returns the newly allocated Ref directly instead of wrapping it in F.delay. This method is considered unsafe because it is not referentially transparent -- it allocates mutable state.

    This method uses the Partially Applied Type Params technique, so only effect type needs to be specified explicitly.

    Some care must be taken to preserve referential transparency:

    import cats.effect.IO
    import cats.effect.kernel.Ref
    
    class Counter private () {
      private val count = Ref.unsafe[IO, Int](0)
    
      def increment: IO[Unit] = count.update(_ + 1)
      def total: IO[Int] = count.get
    }
    
    object Counter {
      def apply(): IO[Counter] = IO(new Counter)
    }

    Such usage is safe, as long as the class constructor is not accessible and the public one suspends creation in IO.

    The recommended alternative is accepting a Ref[F, A] as a parameter:

    class Counter (count: Ref[IO, Int]) {
      // same body
    }
    
    object Counter {
      def apply(): IO[Counter] = Ref[IO](0).map(new Counter(_))
    }
  26. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  27. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  28. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  29. object Make extends MakeInstances

Deprecated Value Members

  1. def lens[F[_], A, B <: AnyRef](ref: Ref[F, A], get: (A) => B, set: (A) => (B) => A, F: Sync[F]): Ref[F, B]
    Annotations
    @deprecated
    Deprecated

    (Since version 3.4.0) Signature preserved for bincompat

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped