import cakeless._
import cats.effect.{IO, IOApp, ExitCode}

trait FooComponent {
  def foo: Int
  def bar: String
}

trait BarComponent {
  def bar: String
  def baz: BigInt
}

object Foo extends CakeWiring[IO] {
  type Component = FooComponent
  case class Dependencies(foo: Int, bar: String)

  def wire = cakeT[IO, Component].as[Dependencies]
}

object Bar extends CakeWiring[IO] {
  type Component = BarComponent
  case class Dependencies(bar: String, baz: BigInt)

  def wire = cakeT[IO, Component].as[Dependencies]
}

object Main extends IOApp {
  def putStrLn(s: Any): IO[Unit] = IO { println(s) }

  case class AllDependencies(foo: Int, bar: String, baz: BigInt)

  def run(args: List[String]): IO[ExitCode] = {
     val program = for {
        foo <- Foo.wire
        bar <- Bar.wire
     } yield foo.foo + foo.bar + bar.baz
    
    program
      .as[AllDependencies]
      .bake(AllDependencies(
         foo = 1,
         bar = "bar",
         baz = BigInt(20000000000)
      ))
      .flatTap(putStrLn)
      .redeem(_ => ExitCode.Error, _ => ExitCode.Success)
  }
}

import cakeless._
import cats.effect.IO

trait FooComponent {
  def foo: Int
  def bar: String
}

trait BarComponent {
  def bar: String
  def baz: BigInt
}

object Main extends IOApp {
  def putStrLn(s: Any): IO[Unit] = IO { println(s) }

  def run(args: List[String]): IO[ExitCode] = {
     val program = for {
        foo <- cakeT[IO, FooComponent]
        bar <- cakeT[IO, FooComponent]
     } yield foo.foo + foo.bar + bar.baz

    val foo: Int = 1
    val bar: String = "bar"
    val baz: BigInt = BigInt(20000000000)
    
    program.auto // special method using macro-materilized type class
      .flatTap(putStrLn)
      .redeem(_ => ExitCode.Error, _ => ExitCode.Success)
  }
}