Proptics core/proptics.syntax/CostarOps

CostarOps

final case class CostarOps[F[_], A, B](costar: Cokleisli[F, A, B]) extends AnyVal
trait Product
trait Equals
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def hoist[G[_]](f: FunctionK[G, F]): 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

def runCostar(fa: F[A]): B

synonym for Cokleisli run

synonym for Cokleisli run

Inherited methods

def productIterator: Iterator[Any]
Inherited from:
Product