CofreeInstances0

sealed abstract

Implicits

Implicits

implicit
def cofreeMonad[F[_] : Functor]: Monad[[_] =>> Cofree[F, _$43]]
implicit
def cofreeZipApplicative[F[_] : Applicative]: Applicative[[_] =>> CofreeZip[F, _$41]]

Inherited implicits

implicit
def cofreeBind[F[_] : Functor]: Bind[[_] =>> Cofree[F, _$35]]
Inherited from
CofreeInstances2
implicit
def cofreeEqual[F[_], A](implicit A0: Equal[A], F0: => Equal[F[Cofree[F, A]]]): Equal[Cofree[F, A]]
implicit
def cofreeFoldable[F[_] : Foldable]: Foldable1[[_] =>> Cofree[F, _$27]]

low priority Foldable1 instance

low priority Foldable1 instance

Inherited from
CofreeInstances4
implicit
def cofreeFoldable1[F[_] : Foldable1]: Foldable1[[_] =>> Cofree[F, _$33]]

high priority Foldable1 instance. more efficient

high priority Foldable1 instance. more efficient

Inherited from
CofreeInstances2
implicit
def cofreeOrder[F[_], A](implicit A0: Order[A], F0: => Order[F[Cofree[F, A]]]): Order[Cofree[F, A]]
implicit
def cofreeTraverse[F[_] : Traverse]: Traverse1[[_] =>> Cofree[F, _$29]]

low priority Traverse1 instance

low priority Traverse1 instance

Inherited from
CofreeInstances3
implicit
def cofreeTraverse1[F[_] : Traverse1]: Traverse1[[_] =>> Cofree[F, _$37]]

high priority Traverse1 instance. more efficient

high priority Traverse1 instance. more efficient

Inherited from
CofreeInstances1
implicit
def cofreeZipApply[F[_] : Apply]: Apply[[_] =>> CofreeZip[F, _$39]]
Inherited from
CofreeInstances1
implicit
def cofreeZipEqual[F[_], A](implicit A: Equal[A], F: => Equal[F[CofreeZip[F, A]]]): Equal[CofreeZip[F, A]]
implicit
def cofreeZipFunctor[F[_] : Functor]: Functor[[_] =>> CofreeZip[F, _$31]]
Inherited from
CofreeInstances3
implicit
def cofreeZipOrder[F[_], A](implicit A: Order[A], F: => Order[F[CofreeZip[F, A]]]): Order[CofreeZip[F, A]]