turbolift-core/turbolift.internals.interpreter/InverseControl

InverseControl

object InverseControl
class Object
trait Matchable
class Any

Type members

Types

type Focus[T[_[_], _], M[_]] = InverseControl { type UpperMonad = [X] =>> T[M, X]; type UpperFunctor = [X] =>> X; type LowerMonad = M; type FocusTrans = [Y[_], X] =>> T[Y, X]; }

Value members

Concrete methods

def focus[T[_[_], _], M[_]](M: MonadZip[M]): Focus[T, M]