CoyonedaInstances5

sealed abstract

Implicits

Implicits

implicit
def coyonedaMonad[F[_] : Monad]: Monad[[_] =>> Coyoneda[F, _$45]]
implicit
def coyonedaPlusEmpty[F[_] : Functor]: PlusEmpty[[_] =>> Coyoneda[F, _$48]]

Inherited implicits

implicit
def coyonedaApplicative[F[_] : Applicative]: Applicative[[_] =>> Coyoneda[F, _$58]]
Inherited from
CoyonedaInstances7
implicit
def coyonedaApply[F[_] : Apply]: Apply[[_] =>> Coyoneda[F, _$63]]
Inherited from
CoyonedaInstances8
implicit
def coyonedaBind[F[_] : Bind]: Bind[[_] =>> Coyoneda[F, _$51]]
Inherited from
CoyonedaInstances6
implicit
def coyonedaContravariant[F[_] : Functor]: Contravariant[[_] =>> Coyoneda[F, _$69]]
Inherited from
CoyonedaInstances9
implicit
def coyonedaFoldable[F[_] : Foldable]: Foldable[[_] =>> Coyoneda[F, _$72]]
Inherited from
CoyonedaInstances10
implicit
def coyonedaFoldable1[F[_] : Foldable1]: Foldable1[[_] =>> Coyoneda[F, _$61]]
Inherited from
CoyonedaInstances8
implicit
def coyonedaFunctor[F[_]]: Functor[[_] =>> Coyoneda[F, _$74]]

Coyoneda[F,_] is a functor for any F

Coyoneda[F,_] is a functor for any F

Inherited from
CoyonedaInstances10
implicit
def coyonedaMonadError[S, F[_]](implicit F: MonadError[F, S]): MonadError[[_] =>> Coyoneda[F, _$79], S]
Inherited from
CoyonedaInstances12
implicit
Inherited from
CoyonedaInstances11
implicit
def coyonedaPlus[F[_] : Functor]: Plus[[_] =>> Coyoneda[F, _$53]]
Inherited from
CoyonedaInstances6
implicit
def coyonedaTraverse[F[_] : Traverse]: Traverse[[_] =>> Coyoneda[F, _$66]]
Inherited from
CoyonedaInstances9