core/higherkindness.droste/Basis

Basis

sealed trait Basis[F[_], R] extends Embed[F, R] with Project[F, R]
Companion
object
trait Project[F, R]
trait Embed[F, R]
class Object
trait Matchable
class Any
class Default[F, R]

Value members

Inherited methods

def algebra: Algebra[F, R]
Inherited from
Embed
def all(r: R)(p: R => Boolean)(F: Foldable[F]): Boolean
Inherited from
Project
def any(r: R)(p: R => Boolean)(F: Foldable[F]): Boolean
Inherited from
Project
def coalgebra: Coalgebra[F, R]
Inherited from
Project
def collect[U, B](r: R)(pf: PartialFunction[R, B])(`evidence$1`: Monoid[U], U: Basis[[_] =>> ListF[B, _$4], U], F: Foldable[F]): U
Inherited from
Project
def contains(r: R, c: R)(R: Eq[R], F: Foldable[F]): Boolean
Inherited from
Project
def foldMap[Z](r: R)(f: R => Z)(`evidence$2`: Monoid[Z], F: Foldable[F]): Z
Inherited from
Project
def foldMapM[M[_], Z](r: R)(f: R => M[Z])(M: Monad[M], Z: Monoid[Z], F: Foldable[F]): M[Z]
Inherited from
Project

Implicits

Inherited implicits

implicit val tc: Project[F, R]
Inherited from
Project