Free

izumi.functional.bio.data.Free
See theFree companion object
sealed abstract class Free[+S[_, _], +E, +A]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class FlatMapped[S, E, E1, A, B]
class Pure[S, A]
class Suspend[S, E, A]

Members list

Concise view

Value members

Concrete methods

final def *>[S1[e, a], B, E1 >: E](sc: Free[S1, E1, B]): Free[S1, E1, B]
final def <*[S1[e, a], B, E1 >: E](sc: Free[S1, E1, B]): Free[S1, E1, A]
final def as[B](as: => B): Free[S, E, B]
final def flatMap[S1[e, a], B, E1 >: E](fun: A => Free[S1, E1, B]): Free[S1, E1, B]
final def foldMap[S1[e, a], G[_, _]](transform: Morphism2[S1, G])(implicit G: Monad2[G]): G[E, A]
final def map[B](fun: A => B): Free[S, E, B]
final def mapK[S1[e, a], T[_, _]](f: Morphism2[S1, T]): Free[T, E, A]
final def void: Free[S, E, Unit]