nutcracker/nutcracker.toolkit/ListModule

ListModule

class ListModule[Lang0[_[_], _], State0[_[_]]](base: Aux[Lang0, State0]) extends StashModule
trait Module
class Object
trait Matchable
class Any
class BranchingListModule[Var0, Val0, Lang0, State0]
class CostListModule[C, Lang0, State0]
class DeferListModule[D, Lang0, State0]
class PropagationListModule[Var0, Val0, Out0, Lang0, State0]
class OnDemandPropagationListModule[Var0, Val0, Out0, Lang0, State0]

Type members

Types

type Lang[K[_], A] = Lang0[K, A]
type StateK[K[_]] = NonEmptyList[State0[K]]

Value members

Concrete methods

override def emptyK[K[_]]: StateK[K]
Definition Classes

Implicits

Implicits

implicit override def stashRestore[K[_]]: StashRestore[StateK[K]]
Definition Classes