nutcracker/nutcracker.toolkit/PropBranch

PropBranch

object PropBranch extends FreePropagationToolkit with FreeBranchingToolkit with PropBranchToolkit
trait Toolkit
class Object
trait Matchable
class Any

Type members

Types

override type Lang[K[_], A] = Out[K, A]
override type OutK[K[_], A] = OutK[K, A]
override type StateK[K[_]] = Out[K]
override type ValK[K[_], A] = ValK[K, A]
override type VarK[K[_], A] = VarK[K, A]

Inherited types

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

Value members

Concrete methods

override def assess(s: State): Assessment[List[Prg[Unit]]]
Definition Classes
override def emptyK[K[_]]: Out[K]
Definition Classes
override def fetchK[K[_], A](ref: ValK[K, A], s: Out[K]): Option[A]
Definition Classes
override def fetchK[K[_], A](ref: VarK[K, A], s: Out[K]): A
Definition Classes
override def prgMonad: Monad[Prg]
Definition Classes
override def readOnlyK[K[_], A](ref: VarK[K, A]): ValK[K, A]
Definition Classes
override def readOutK[K[_], A](a: OutK[K, A], s: Out[K]): A
Definition Classes
override def stashRestoreK[K[_]]: StashRestore[Out[K]]
Definition Classes
override def valOrderK[K[_]]: HOrderK[[_] =>> ValK[K, _$17]]
Definition Classes
override def valShowK[K[_]]: ShowK[[_] =>> ValK[K, _$19]]
Definition Classes
override def varOrderK[K[_]]: HOrderK[[_] =>> VarK[K, _$13]]
Definition Classes
override def varShowK[K[_]]: ShowK[[_] =>> VarK[K, _$15]]
Definition Classes

Inherited methods

override def empty: State
Definition Classes
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 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
override def readOut[A](a: Out[A], s: State): A
Definition Classes
Inherited from:
FreeRefToolkit
def run[A](prg: Prg[Out[A]]): A
Inherited from:
PropagationToolkit
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

Concrete fields

val lang: Aux[[K[_], A] =>> Lang[K, A], Lang]
val stateK: Aux[[A[_]] =>> StateK[A], StateK]
override val stepInterpreter: StateInterpreter[Prg, [_] =>> Out[Prg, _$4], State]

Inherited fields

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

Implicits

Implicits

implicit override val branchingApi: Aux1[Prg, Var, Val]
implicit override val propagationApi: Aux[Prg, Var, Val, Out]

Inherited implicits

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