Profunctor

object Profunctor
Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

sealed
trait DownStarF
sealed
trait UpStarF

Types

type DownStar[F[_], D, C] = F[D] => C @@ DownStarF
type UpStar[F[_], D, C] = D => F[C] @@ UpStarF

Value members

Concrete methods

@inline
def apply[F[_, _]](implicit F: Profunctor[F]): Profunctor[F]
def fromIso[F[_, _], G[_, _]](D: IsoBifunctor[F, G])(implicit E: Profunctor[G]): Profunctor[F]

Concrete fields

Implicits

Implicits

implicit
def downStarFunctor[F[_], D]: Functor[[_] =>> DownStar[F, D, _$29]]
implicit
def downStarProfunctor[F[_] : Functor]: Profunctor[[_, _] =>> DownStar[F, _$21, _$22]]
implicit
def upStarFunctor[F[_] : Functor, D]: Functor[[_] =>> UpStar[F, D, _$26]]
implicit
def upStarProfunctor[F[_] : Functor]: Profunctor[[_, _] =>> UpStar[F, _$16, _$17]]