nutcracker/nutcracker.util.free

nutcracker.util.free

package nutcracker.util.free

Type members

Classlikes

object Coproduct
final case class Free[F[_], A](unwrap: FreeBind[<none>, A])
Companion:
object
object Free extends FreeInstances
Companion:
class
sealed abstract class FreeBind[F[_], A]
Companion:
object
object FreeBind extends FreeBindInstances
Companion:
class
trait FreeBindInstances extends FreeBindInstances1
trait FreeBindInstances1
trait FreeInstances extends FreeInstances1
trait FreeInstances1
final case class FreeT[F[_], M[_], A]
Companion:
object
object FreeT extends FreeTInstances
Companion:
class
final case class Trampoline[A] extends AnyVal
Companion:
object
object Trampoline
Companion:
class

Types

type Const[A, B] = A

Implicits

Implicits

implicit def coproductFoldable[F[_] : Foldable, G[_] : Foldable]: Foldable[[a] =>> Either[F[a], G[a]]]
implicit def coproductTraverse[F[_] : Traverse, G[_] : Traverse]: Traverse[[a] =>> Either[F[a], G[a]]]