nutcracker/nutcracker.data/IncSets

IncSets

class IncSets[F[_], Var[_], Val[_]](implicit P: Aux1[F, Var, Val])
class Object
trait Matchable
class Any

Value members

Concrete methods

def collect[A](cps: ContU[F, A]): F[Var[IncSet[A]]]
def collectAll[A](cps: ContU[F, A]*): F[Var[IncSet[A]]]
def collectAll[A](cps: Iterable[ContU[F, A]]): F[Var[IncSet[A]]]
def forEach[A](ref: Var[IncSet[A]]): IndexedContT[Subscription[F], Unit, F, A]

Returns the given set in a CPS style, executing any subsequently given callback for every current and future element of that set.

Returns the given set in a CPS style, executing any subsequently given callback for every current and future element of that set.

def forEach_[A](ref: Var[IncSet[A]]): ContU[F, A]
def include[A](sub: Var[IncSet[A]], sup: Var[IncSet[A]]): F[Unit]
def includeC[A](cps: ContU[F, A], ref: Var[IncSet[A]]): F[Unit]
def init[A]: F[Var[IncSet[A]]]
def insert[A](a: A, into: Var[IncSet[A]]): F[Unit]
def insertAll[A](add: Set[A], into: Var[IncSet[A]]): F[Unit]
def relBind[A, B](sref: Var[IncSet[A]])(f: A => F[Var[IncSet[B]]]): F[Var[IncSet[B]]]

Relative monadic bind. Var[IncSet[A]] is a monad relative to F, i.e. we can implement bind if additional effects of type F are allowed. This is equivalent to having a monad instance for λ[A => F[Var[IncSet[A]]]].

Relative monadic bind. Var[IncSet[A]] is a monad relative to F, i.e. we can implement bind if additional effects of type F are allowed. This is equivalent to having a monad instance for λ[A => F[Var[IncSet[A]]]].

Implicits

Implicits

implicit def monad: Monad[[A] =>> F[Var[IncSet[A]]]]