nutcracker/nutcracker.toolkit/CostToolkit

CostToolkit

trait CostToolkit[C] extends Toolkit
trait Toolkit
class Object
trait Matchable
class Any

Type members

Inherited types

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

Value members

Abstract methods

def assess(s: State): Assessment[List[Prg[Unit]]]
def getCost(s: State): C

Concrete methods

def solveBfs[A, B](p: Prg[A], f: (A, State) => Option[B]): StreamT[Id, (B, C)]
def solveBfsM[M[_], A, B](p: Prg[A], f: (A, State) => Option[B])(implicit M: Monad[M]): StreamT[M, (B, C)]

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 val costApi: Aux[Prg, C]

Inherited implicits

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