- Companion
- class
class CoyonedaInstances
class CoyonedaInstances0
class CoyonedaInstances1
class CoyonedaInstances2
class CoyonedaInstances3
class CoyonedaInstances4
class CoyonedaInstances5
class CoyonedaInstances6
class CoyonedaInstances7
class CoyonedaInstances8
class CoyonedaInstances9
class CoyonedaInstances10
class Object
trait Matchable
class Any
Type members
Classlikes
Value members
Concrete methods
@inline
Partial application of type parameters to apply
. It is often
more convenient to invoke Coyoneda.by[F]{x: X => ...}
then
Coyoneda[...](...){x => ...}
.
Partial application of type parameters to apply
. It is often
more convenient to invoke Coyoneda.by[F]{x: X => ...}
then
Coyoneda[...](...){x => ...}
.
def liftT[F[_], G[_]](fg: NaturalTransformation[F, G]): NaturalTransformation[[_] =>> Coyoneda[F, _$20], [_] =>> Coyoneda[G, _$21]]
Turns a natural transformation F ~> G into CF ~> CG
Turns a natural transformation F ~> G into CF ~> CG
def liftTF[F[_], G[_] : Functor](fg: NaturalTransformation[F, G]): NaturalTransformation[[_] =>> Coyoneda[F, _$17], G]
Turns a natural transformation F ~> G into CF ~> G
Turns a natural transformation F ~> G into CF ~> G
Implicits
Inherited implicits
implicit
Coyoneda[F,_]
is a functor for any F
Coyoneda[F,_]
is a functor for any F
- Inherited from
- CoyonedaInstances10