nutcracker/nutcracker.toolkit/CostRefToolkit

CostRefToolkit

trait CostRefToolkit[C] extends CostToolkit[C] with RefToolkit
trait CostToolkit[C]
trait Toolkit
class Object
trait Matchable
class Any

Type members

Inherited types

type Out[_]
Inherited from:
RefToolkit
type Prg[_]
Inherited from:
Toolkit
type State
Inherited from:
Toolkit
type Val[_]
Inherited from:
RefToolkit
type Var[_]
Inherited from:
RefToolkit

Value members

Concrete methods

def solveBfs[D](p: Prg[Val[D]])(implicit fin: Final[D]): StreamT[Id, (Out, C)]

Inherited methods

def assess(s: State): Assessment[List[Prg[Unit]]]
Inherited from:
CostToolkit
def empty: State
Inherited from:
Toolkit
def fetch[A](ref: Var[A], s: State): A
Inherited from:
RefToolkit
def fetch[A](ref: Val[A], s: State): Option[A]
Inherited from:
RefToolkit
def fetchResult[A](ref: Val[A], s: State)(implicit fin: Final[A]): Option[Out]
Inherited from:
RefToolkit
def getCost(s: State): C
Inherited from:
CostToolkit
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
def readOut[A](a: Out[A], s: State): A
Inherited from:
RefToolkit
def solveBfs[A, B](p: Prg[A], f: (A, State) => Option[B]): StreamT[Id, (B, C)]
Inherited from:
CostToolkit
def solveBfsM[M[_], A, B](p: Prg[A], f: (A, State) => Option[B])(implicit M: Monad[M]): StreamT[M, (B, C)]
Inherited from:
CostToolkit

Implicits

Inherited implicits

implicit val costApi: Aux[Prg, C]
Inherited from:
CostToolkit
implicit def costMonoid: NonDecreasingMonoid[C]
Inherited from:
CostToolkit
implicit def prgMonad: Monad[Prg]
Inherited from:
Toolkit
implicit def readOnly[A](ref: Var[A]): Val[A]
Inherited from:
RefToolkit
implicit def valOrder: HOrderK[Val]
Inherited from:
RefToolkit
implicit def valShow: ShowK[Val]
Inherited from:
RefToolkit
implicit def varOrder: HOrderK[Var]
Inherited from:
RefToolkit
implicit def varShow: ShowK[Var]
Inherited from:
RefToolkit