scalaz-core/scalaz.syntax/ToPlusEmptyOps0

ToPlusEmptyOps0

trait ToPlusEmptyOps0[TC <: ([F[_]] =>> PlusEmpty[F])] extends ToPlusEmptyOpsU[TC]
trait ToPlusEmptyOpsU[TC]
class Object
trait Matchable
class Any
object plusEmpty0
trait ToPlusEmptyOps[TC]
object plusEmpty
trait ToMonadPlusOps[TC]
object monadPlus
trait ToIsEmptyOps[TC]
object isEmpty
object Scalaz
object all

Value members

Concrete methods

def mempty[F[_], A](implicit F: PlusEmpty[F]): F[A]

Implicits

Implicits

implicit
def ToPlusEmptyOps[F[_], A](v: F[A])(implicit F0: TC[F]): PlusEmptyOps[F, A]

Inherited implicits

implicit
def ToPlusEmptyOpsUnapply[FA](v: FA)(implicit F0: Unapply[TC, FA]): PlusEmptyOps[M, A]
Inherited from
ToPlusEmptyOpsU