core/org.atnos.eff/Members

Members

object Members
Companion:
class
Source:
Members.scala
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Members.type

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
Source:
Mirror.scala
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror
Source:
Mirror.scala

Implicits

Implicits

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