Proptics profunctor/proptics.profunctor/Star

Star

object Star extends StarInstances
class Object
trait Matchable
class Any
Star.type

Value members

Concrete methods

def apply[F[_], A, B](f: A => F[B]): Kleisli[F, A, B]
def hoist[F[_], G[_], A, B](f: FunctionK[F, G])(star: Kleisli[F, A, B]): Kleisli[G, A, B]

apply a natural transformation from a Functor of F to a Functor of G

apply a natural transformation from a Functor of F to a Functor of G

Implicits

Inherited implicits

final implicit def alternativeStar[F[_], E](implicit ev: Alternative[F]): Alternative[[_] =>> Kleisli[F, E, _$27]]
Inherited from:
StarInstances
final implicit def applicativeStar[F[_], E](implicit ev: Applicative[F]): Applicative[[_] =>> Kleisli[F, E, _$18]]
Inherited from:
StarInstances
final implicit def applyStar[F[_] : Apply, E]: Apply[[_] =>> Kleisli[F, E, _$15]]
Inherited from:
StarInstances
final implicit def bindStar[F[_], E](implicit ev0: FlatMap[F], ev1: Applicative[F]): FlatMap[[_] =>> Kleisli[F, E, _$21]]
Inherited from:
StarInstances
final implicit def categoryStar[F[_]](implicit ev: Monad[F]): Category[[_, _] =>> Kleisli[F, _$2, _$3]]
Inherited from:
StarInstances
final implicit def distributiveStar[F[_], E](implicit ev0: Distributive[F]): Distributive[[_] =>> Kleisli[F, E, _$36]]
Inherited from:
StarInstances
final implicit def functorStar[F[_], C](implicit ev: Functor[F]): Functor[[_] =>> Kleisli[F, C, _$8]]
Inherited from:
StarInstances
final implicit def invariantStar[F[_], E](implicit ev: Invariant[F]): Invariant[[_] =>> Kleisli[F, E, _$11]]
Inherited from:
StarInstances
final implicit def monadStar[F[_], E](implicit ev: Monad[F]): Monad[[_] =>> Kleisli[F, E, _$24]]
Inherited from:
StarInstances
final implicit def monadZeroStar[F[_], E](implicit ev: CommutativeMonad[F]): CommutativeMonad[[_] =>> Kleisli[F, E, _$33]]
Inherited from:
StarInstances
final implicit def plusStar[F[_], E](implicit ev: MonoidK[F]): MonoidK[[_] =>> Kleisli[F, E, _$30]]
Inherited from:
StarInstances
final implicit def profunctorStar[F[_]](implicit ev: Functor[F]): Profunctor[[_, _] =>> Kleisli[F, _$41, _$42]]
Inherited from:
StarInstances
final implicit def strongStar[F[_]](implicit ev: Functor[F]): Strong[[_, _] =>> Kleisli[F, _$46, _$47]]
Inherited from:
StarInstances