Revocable

object Revocable
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

case object Revoked extends Revocable[Nothing]
case class Valid[A](value: A) extends Revocable[A]

Types

type Delta = Unit

When notification of type Delta arrives, it means the value has been revoked.

When notification of type Delta arrives, it means the value has been revoked.

type Update = Unit

Meaning of update is to revoke the value.

Meaning of update is to revoke the value.

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def apply[A](a: A): Revocable[A]
def init[F[_], Var[_], A](a: A)(implicit P: Aux0[F, Var]): F[Var[Revocable[A]]]
def revoke[F[_], Var[_], A](ref: Var[Revocable[A]])(implicit P: Aux0[F, Var]): F[Unit]

Implicits

Implicits