Proptics profunctor/proptics.profunctor/Costar

Costar

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

Value members

Concrete methods

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

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

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

Implicits

Inherited implicits

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