package free
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- free
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- type Const[A, B] = A
- final case class Free[F[_], A](unwrap: FreeBind[[a]Either[a, F[a]], A]) extends Product with Serializable
- sealed abstract class FreeBind[F[_], A] extends AnyRef
- trait FreeBindInstances extends FreeBindInstances1
- trait FreeBindInstances1 extends AnyRef
- trait FreeInstances extends FreeInstances1
- trait FreeInstances1 extends AnyRef
- final case class FreeT[F[_], M[_], A] extends Product with Serializable
- final case class Trampoline[A] extends AnyVal with Product with Serializable
Value Members
- implicit def coproductFoldable[F[_], G[_]](implicit arg0: Foldable[F], arg1: Foldable[G]): Foldable[[a]Either[F[a], G[a]]]
- implicit def coproductTraverse[F[_], G[_]](implicit arg0: Traverse[F], arg1: Traverse[G]): Traverse[[a]Either[F[a], G[a]]]
- object Coproduct
- object Free extends FreeInstances with Serializable
- object FreeBind extends FreeBindInstances
- object FreeT extends FreeTInstances with Serializable
- object Trampoline extends Serializable