- Companion:
- object
Type members
Inherited types
State that the interpreter operates on.
State that the interpreter operates on.
- Type parameters:
- Inherited from:
- Module
Value members
Abstract methods
def stepInterpreterK[K[_], S](implicit lens: Lens[S, StateK[K]]): StateInterpreter[K, [_] =>> Lang[K, _$28], S]
Implicits
Implicits
implicit def freePropagation[F[_[_], _]](implicit inj: Inject[[_] =>> Lang[[_] =>> FreeK[F, _$16], _$17], [_] =>> F[[_] =>> FreeK[F, _$18], _$19]]): Aux[[_] =>> FreeK[F, _$20], [_] =>> VarK[[_] =>> FreeK[F, _$21], _$22], [_] =>> ValK[[_] =>> FreeK[F, _$23], _$24], [_] =>> OutK[[_] =>> FreeK[F, _$25], _$26]]