core/higherkindness.droste/Project

Project

trait Project[F[_], R]
Companion:
object
class Object
trait Matchable
class Any
trait Basis[F, R]
class Default[F, R]
Project[F, R]

Value members

Abstract methods

def coalgebra: Coalgebra[F, R]

Concrete methods

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

Implicits

Implicits

implicit val tc: Project[F, R]