nutcracker/nutcracker.toolkit/DeferListModule

DeferListModule

class DeferListModule[D, Lang0[_[_], _], State0[_[_]]](base: Aux[D, Lang0, State0]) extends ListModule[Lang0, State0] with StashDeferModule[D]
trait DeferModule[D]
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 freeDeferApi[F[_[_], _]](implicit i: Inject[[_] =>> Lang0[[_] =>> FreeK[F, _$28], _$29], [_] =>> F[[_] =>> FreeK[F, _$30], _$31]]): Defer[[_] =>> FreeK[F, _$8], D]
def interpreter[K[_], S](implicit lens: Lens[S, StateK[K]]): StateInterpreter[K, [_] =>> Lang0[K, _$33], 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