core/org.atnos.eff/Members

Members

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

Type members

Types

type &&:[H1, H2] = Cons[H1, Cons[H2, NoMember]]
type &:[H, T <: Members] = Cons[H, T]

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

Implicits

Implicits

implicit
def extractMember[T <: Members, H[_], Op[_[_], _], R](implicit effects: T, extract: ExtractMember[T, Op[H, R]]): Op[H, R]