package
free
Type Members
-
sealed abstract
class
:+:[F[_], U <: Union] extends Union
-
sealed abstract
class
Arrows[U <: Union, -A, +B] extends AnyRef
-
sealed abstract
class
Choice[M[_], +A] extends AnyRef
-
sealed abstract
class
Error[E, +A] extends AnyRef
-
sealed abstract
class
Free[U <: Union, +A] extends AnyRef
-
case class
Impure[U <: Union, A, B](union: U { type T = A }, arrows: Arrows[U, A, B]) extends Free[U, B] with Product with Serializable
-
sealed abstract
class
Inl[F[_], U <: Union] extends :+:[F, U]
-
sealed abstract
class
Inr[F[_], U <: Union] extends :+:[F, U]
-
trait
Member[F[_], U <: Union] extends AnyRef
-
case class
Pure[U <: Union, A](value: A) extends Free[U, A] with Product with Serializable
-
sealed abstract
class
Reader[R, +A] extends AnyRef
-
sealed abstract
class
State[S, +A] extends AnyRef
-
sealed abstract
class
Union extends AnyRef
-
sealed abstract
class
Void extends Union
-
sealed abstract
class
Writer[W, +A] extends AnyRef
Value Members
-
-
-
-
-
object
Inl
-
object
Inr
-
-
-
-