scalaz/scalaz.example/FreeMonadsUsage

FreeMonadsUsage

object FreeMonadsUsage
class Object
trait Matchable
class Any

Type members

Classlikes

object Console
Companion
class
trait Console[F[_]]
Companion
object

Value members

Concrete methods

def freeState: Free[[a] =>> Coproduct[[a] =>> Ast[String, a], Ast, a], String]
def freeWriter: Free[[a] =>> Coproduct[[a] =>> Ast[String, a], Ast, a], String]
def withState[F[_]](C: Console[F])(implicit F: MonadState[F, String]): F[String]
def withWriter[F[_]](C: Console[F])(implicit F: MonadTell[F, String]): F[String]