Proptics profunctor/proptics.profunctor/CostarInstances

CostarInstances

abstract class CostarInstances
class Object
trait Matchable
class Any
object Costar.type

Implicits

Implicits

final implicit def andThenCostar[F[_] : CoflatMap]: Compose[[_, _] =>> Cokleisli[F, _$2, _$3]]
final implicit def applicativeCostar[F[_], C]: Applicative[[_] =>> Cokleisli[F, C, _$21]]
final implicit def applyCostar[F[_], C]: Apply[[_] =>> Cokleisli[F, C, _$18]]
final implicit def bindCostar[F[_], C]: FlatMap[[_] =>> Cokleisli[F, C, _$24]]
final implicit def categoryCostar[F[_]](implicit ev: Comonad[F]): Category[[_, _] =>> Cokleisli[F, _$7, _$8]]
final implicit def closedCostar[F[_]](implicit ev: Functor[F]): Closed[[_, _] =>> Cokleisli[F, _$50, _$51]]
final implicit def cochoiceCostar[F[_]](implicit ev: Applicative[F]): Cochoice[[_, _] =>> Cokleisli[F, _$45, _$46]]
final implicit def distributiveCostar[F[A], C]: Distributive[[_] =>> Cokleisli[F, C, _$29]]
final implicit def functorCostar[F[_], C]: Functor[[_] =>> Cokleisli[F, C, _$12]]
final implicit def invariantCostar[F[_], C]: Invariant[[_] =>> Cokleisli[F, C, _$15]]
final implicit def monadCostar[F[_], C]: Monad[[_] =>> Cokleisli[F, C, _$27]]
final implicit def profunctorCostar[F[_]](implicit ev: Functor[F]): Profunctor[[_, _] =>> Cokleisli[F, _$33, _$34]]
final implicit def strongCostar[F[_]](implicit ev: Comonad[F]): Strong[[_, _] =>> Cokleisli[F, _$38, _$39]]