Proptics core/proptics.syntax/StarOps

StarOps

final case class StarOps[F[_], -A, B](star: Kleisli[F, A, B]) extends AnyVal
trait Product
trait Equals
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

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

def runStar(a: A): F[B]

synonym to Kleisli run

synonym to Kleisli run

Inherited methods

def productIterator: Iterator[Any]
Inherited from:
Product