nutcracker/nutcracker.toolkit/FreeStashToolkit

FreeStashToolkit

trait FreeStashToolkit extends FreeToolkit with StashToolkit
trait Toolkit
class Object
trait Matchable
class Any
object PropBranch.type

Type members

Inherited types

type Lang[K[_], A]
Inherited from:
FreeToolkit
override type Prg[A] = FreeK[Lang, A]
Inherited from:
FreeToolkit
override type State = StateK[Prg]
Inherited from:
FreeToolkit
type StateK[K[_]]
Inherited from:
FreeToolkit

Value members

Abstract methods

Concrete methods

override def stashRestore: StashRestore[State]
Definition Classes

Inherited methods

override def empty: State
Definition Classes
Inherited from:
FreeToolkit
def emptyK[K[_]]: StateK[K]
Inherited from:
FreeToolkit
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

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 def prgMonad: Monad[Prg]
Inherited from:
Toolkit