scalaz/scalaz/FreeInstances

FreeInstances

sealed abstract
class FreeInstances extends FreeInstances0 with TrampolineInstances with SinkInstances with SourceInstances
class Object
trait Matchable
class Any
object Free

Value members

Inherited fields

Implicits

Implicits

implicit
def freeMonad[S[_]]: Monad[[_] =>> Free[S, _$66]] & BindRec[[_] =>> Free[S, _$67]]
implicit
def freeMonoid[S[_], A : Monoid]: Monoid[Free[S, A]]
implicit
def freeZip[S[_]](implicit F: Functor[S], Z: Zip[S]): Zip[[_] =>> Free[S, _$73]]

Inherited implicits

implicit
def freeFoldable[F[_] : Functor]: Foldable[[_] =>> Free[F, _$56]]
Inherited from
FreeInstances3
implicit
def freeFoldable1[F[_] : Functor]: Foldable1[[_] =>> Free[F, _$58]]
Inherited from
FreeInstances2
implicit
def freeSemigroup[S[_], A : Semigroup]: Semigroup[Free[S, A]]
Inherited from
FreeInstances0
implicit
def freeTraverse[F[_] : Traverse]: Traverse[[_] =>> Free[F, _$60]]
Inherited from
FreeInstances1
implicit
def freeTraverse1[F[_] : Traverse1]: Traverse1[[_] =>> Free[F, _$62]]
Inherited from
FreeInstances0
implicit
def sinkMonad[S]: Monad[[_] =>> Sink[S, _$48]]
Inherited from
SinkInstances
implicit
def sourceMonad[S]: Monad[[_] =>> Source[S, _$52]]
Inherited from
SourceInstances