TwoLevel

Companion:
class
trait Product
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 empty[F[_], A](implicit F: PlusEmpty[F]): TwoLevel[F, A]
def lift1[F[_], A](fa: F[A])(implicit F: PlusEmpty[F]): TwoLevel[F, A]
def lift2[F[_], A](fa: F[A])(implicit F: PlusEmpty[F]): TwoLevel[F, A]

Implicits

Inherited implicits

implicit def catenableInstance[F[_]](implicit F: Catenable[F]): Catenable[[_] =>> TwoLevel[F, _$6]]
Inherited from:
TwoLevelInstances
implicit def monoidInstance[F[_], A](implicit F: PlusEmpty[F]): Monoid[TwoLevel[F, A]]
Inherited from:
TwoLevelInstances1
implicit def plusEmptyInstance[F[_]](implicit F: PlusEmpty[F]): PlusEmpty[[_] =>> TwoLevel[F, _$9]]
Inherited from:
TwoLevelInstances1
implicit def stratifiedMonoidAggregator[F[_], A](implicit F: PlusEmpty[F]): StratifiedMonoidAggregator[TwoLevel[F, A], F[A]]
Inherited from:
TwoLevelInstances