nutcracker/nutcracker.toolkit/FreeBranchingToolkit

FreeBranchingToolkit

trait FreeBranchingToolkit extends FreeRefToolkit with FreeStashToolkit with BranchingToolkit
trait Toolkit
class Object
trait Matchable
class Any
object PropBranch.type

Type members

Inherited types

type Lang[K[_], A]
Inherited from:
FreeToolkit
override type Out[A] = OutK[Prg, A]
Inherited from:
FreeRefToolkit
type OutK[K[_], A]
Inherited from:
FreeRefToolkit
override type Prg[A] = FreeK[Lang, A]
Inherited from:
FreeToolkit
override type State = StateK[Prg]
Inherited from:
FreeToolkit
type StateK[K[_]]
Inherited from:
FreeToolkit
override type Val[A] = ValK[Prg, A]
Inherited from:
FreeRefToolkit
type ValK[K[_], A]
Inherited from:
FreeRefToolkit
override type Var[A] = VarK[Prg, A]
Inherited from:
FreeRefToolkit
type VarK[K[_], A]
Inherited from:
FreeRefToolkit

Value members

Inherited methods

def assess(s: State): Assessment[List[Prg[Unit]]]
Inherited from:
BranchingToolkit
override def empty: State
Definition Classes
Inherited from:
FreeToolkit
def emptyK[K[_]]: StateK[K]
Inherited from:
FreeToolkit
override def fetch[A](ref: Var[A], s: State): A
Definition Classes
Inherited from:
FreeRefToolkit
override def fetch[A](ref: Val[A], s: State): Option[A]
Definition Classes
Inherited from:
FreeRefToolkit
def fetchK[K[_], A](ref: VarK[K, A], s: StateK[K]): A
Inherited from:
FreeRefToolkit
def fetchK[K[_], A](ref: ValK[K, A], s: StateK[K]): Option[A]
Inherited from:
FreeRefToolkit
def fetchResult[A](ref: Val[A], s: State)(implicit fin: Final[A]): Option[Out]
Inherited from:
RefToolkit
def interpret[A](p: Prg[A], s: State): (State, A)
Inherited from:
FreeToolkit
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 readOnlyK[K[_], A](ref: VarK[K, A]): ValK[K, A]
Inherited from:
FreeRefToolkit
override def readOut[A](a: Out[A], s: State): A
Definition Classes
Inherited from:
FreeRefToolkit
def readOutK[K[_], A](a: OutK[K, A], s: StateK[K]): A
Inherited from:
FreeRefToolkit
def solveDfs[D](p: Prg[Val[D]])(implicit fin: Final[D]): StreamT[Id, Out]
Inherited from:
BranchingToolkit
def solveDfs[A, B](p: Prg[A], f: (A, State) => Option[B]): StreamT[Id, B]
Inherited from:
BranchingToolkit
def solveDfs1[D](p: Prg[Val[D]])(implicit fin: Final[D]): StreamT[[_] =>> WriterT[Int, Id, _$1], Out]

Like solveDfs, but also outputs the number of times it had to backtrack.

Like solveDfs, but also outputs the number of times it had to backtrack.

Inherited from:
BranchingToolkit
def solveDfsAll[D](p: Prg[Val[D]])(implicit fin: Final[D]): List[Out]
Inherited from:
BranchingToolkit
def solveDfsAll1[D](p: Prg[Val[D]])(implicit fin: Final[D]): (List[Out], Int)

Like solveDfsAll, but also returns the number of dead branches explored.

Like solveDfsAll, but also returns the number of dead branches explored.

Inherited from:
BranchingToolkit
override def stashRestore: StashRestore[State]
Definition Classes
Inherited from:
FreeStashToolkit
def stashRestoreK[K[_]]: StashRestore[StateK[K]]
Inherited from:
FreeStashToolkit
def valOrderK[K[_]]: HOrderK[[_] =>> ValK[K, _$17]]
Inherited from:
FreeRefToolkit
def valShowK[K[_]]: ShowK[[_] =>> ValK[K, _$19]]
Inherited from:
FreeRefToolkit
def varOrderK[K[_]]: HOrderK[[_] =>> VarK[K, _$13]]
Inherited from:
FreeRefToolkit
def varShowK[K[_]]: ShowK[[_] =>> VarK[K, _$15]]
Inherited from:
FreeRefToolkit

Inherited fields

lazy val interpreter: NaturalTransformation[Prg, [_] =>> StateT[State, Id, _$5]]
Inherited from:
FreeToolkit
val stepInterpreter: StateInterpreter[Prg, [_] =>> Lang[Prg, _$4], State]
Inherited from:
FreeToolkit

Implicits

Inherited implicits

implicit val branchingApi: Aux1[Prg, Var, Val]
Inherited from:
BranchingToolkit
implicit def prgMonad: Monad[Prg]
Inherited from:
Toolkit
implicit override def readOnly[A](ref: Var[A]): Val[A]
Definition Classes
Inherited from:
FreeRefToolkit
implicit def valOrder: HOrderK[Val]
Inherited from:
FreeRefToolkit
implicit def valShow: ShowK[Val]
Inherited from:
FreeRefToolkit
implicit def varOrder: HOrderK[Var]
Inherited from:
FreeRefToolkit
implicit def varShow: ShowK[Var]
Inherited from:
FreeRefToolkit