nutcracker/nutcracker.toolkit/CostListModule

CostListModule

class CostListModule[C, Lang0[_[_], _], State0[_[_]]](base: Aux[C, Lang0, State0]) extends ListModule[Lang0, State0] with CostModule[C]
trait CostModule[C]
class ListModule[Lang0, State0]
trait Module
class Object
trait Matchable
class Any

Type members

Types

override type Lang[K[_], A] = Lang0[K, A]

Inherited types

type StateK[K[_]] = NonEmptyList[State0[K]]
Inherited from:
ListModule

Value members

Concrete methods

def freeCost[F[_[_], _]](implicit i: Inject[[_] =>> Lang0[[_] =>> FreeK[F, _$29], _$30], [_] =>> F[[_] =>> FreeK[F, _$31], _$32]]): Aux[[_] =>> FreeK[F, _$8], C]
def getCost[K[_]](s: StateK[K]): C
def interpreter[K[_], S](implicit lens: Lens[S, StateK[K]]): StateInterpreter[K, [_] =>> Lang0[K, _$34], S]

Inherited methods

override def emptyK[K[_]]: StateK[K]
Definition Classes
Inherited from:
ListModule

Implicits

Inherited implicits

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