nutcracker/nutcracker.toolkit/RefToolkit

RefToolkit

trait RefToolkit extends Toolkit

Extends Toolkit with a notion of observable (RefToolkit.Val) and writable (RefToolkit.Var) cells, (potentially) residing inside RefToolkit.State.

trait Toolkit
class Object
trait Matchable
class Any
object PropBranch.type
object PropRel.type

Type members

Types

type Out[_]
type Val[_]
type Var[_]

Inherited types

type Prg[_]
Inherited from:
Toolkit
type State
Inherited from:
Toolkit

Value members

Abstract methods

def fetch[A](ref: Val[A], s: State): Option[A]
def fetch[A](ref: Var[A], s: State): A
def readOut[A](a: Out[A], s: State): A

Concrete methods

def fetchResult[A](ref: Val[A], s: State)(implicit fin: Final[A]): Option[Out]

Inherited methods

def empty: State
Inherited from:
Toolkit
def interpret[A](p: Prg[A], s: State): (State, A)
Inherited from:
Toolkit
def interpret0[A](p: Prg[A]): (State, A)
Inherited from:
Toolkit
def interpretAll[F[_]](ps: F[Prg[Unit]], s: State)(implicit F: Foldable[F]): State
Inherited from:
Toolkit

Implicits

Implicits

implicit def readOnly[A](ref: Var[A]): Val[A]
implicit def valOrder: HOrderK[Val]
implicit def valShow: ShowK[Val]
implicit def varOrder: HOrderK[Var]
implicit def varShow: ShowK[Var]

Inherited implicits

implicit def prgMonad: Monad[Prg]
Inherited from:
Toolkit