scalaz-core/scalaz/CoyonedaInstances5

CoyonedaInstances5

sealed abstract
class CoyonedaInstances5 extends CoyonedaInstances6
class Object
trait Matchable
class Any
object Coyoneda

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, _$57]]
Inherited from
CoyonedaInstances7
implicit
def coyonedaApply[F[_] : Apply]: Apply[[_] =>> Coyoneda[F, _$62]]
Inherited from
CoyonedaInstances8
implicit
def coyonedaBind[F[_] : Bind]: Bind[[_] =>> Coyoneda[F, _$51]]
Inherited from
CoyonedaInstances6
implicit
def coyonedaContravariant[F[_] : Functor]: Contravariant[[_] =>> Coyoneda[F, _$68]]
Inherited from
CoyonedaInstances9
implicit
def coyonedaFoldable[F[_] : Foldable]: Foldable[[_] =>> Coyoneda[F, _$71]]
Inherited from
CoyonedaInstances10
implicit
def coyonedaFoldable1[F[_] : Foldable1]: Foldable1[[_] =>> Coyoneda[F, _$60]]
Inherited from
CoyonedaInstances8
implicit
def coyonedaFunctor[F[_]]: Functor[[_] =>> Coyoneda[F, _$73]]

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

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

Inherited from
CoyonedaInstances10
implicit
def coyonedaPlus[F[_] : Functor]: Plus[[_] =>> Coyoneda[F, _$54]]
Inherited from
CoyonedaInstances6
implicit
def coyonedaTraverse[F[_] : Traverse]: Traverse[[_] =>> Coyoneda[F, _$65]]
Inherited from
CoyonedaInstances9