meow/meow.control/Lan

Lan

object Lan
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def fromLan[K[_], G[_], H[_], B](s: [A] => (x$1: Lan[G, H, A]) => K[A])(hb: H[B]): K[G[B]]
def glan[G[_], H[_]]: [A] => (x$1: H[A]) => Lan[G, H, G[A]]
def toLan[K[_], G[_], H[_], B](nat: [A] => (x$1: H[A]) => K[G[A]])(lan: Lan[G, H, B])(using Functor[K]): K[B]