libretto.examples.canteen.Customer.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of libretto-examples_3 Show documentation

libretto-examples

The newest version!

package libretto.examples.canteen

import libretto.examples.canteen.Protocol.*
import libretto.scaletto.StarterKit.*
import libretto.scaletto.StarterKit.puroLib.*

object Customer {

  def behavior: (Session |*| PaymentCard) -⚬ PaymentCard =
    λ { case (session |*| card) =>
      val soupSection               = Session.proceedToSoups(session)
      val (soupOpt |*| mainSection) = tryGetSoupAndProceed(soupSection)
      val (dishOpt |*| paySection)  = tryGetDishAndProceed(mainSection)

      paySection(card)
        .waitFor(
          joinAll(
            soupOpt .map(eatSoup)     .getOrElse(done),
            dishOpt .map(eatMainDish) .getOrElse(done),
          )
        )
    }

  private def tryGetSoupAndProceed: SectionSoup -⚬ (Maybe[Soup] |*| SectionMain) =
    SectionSoup.getSoup > either(
      caseLeft =
        λ { case (soup |*| soupSection) =>
          val mainSection = SectionSoup.proceedToMainDishes(soupSection)
          val someSoup    = Maybe.just(soup)
          someSoup |*| mainSection
        },
      caseRight =
        λ { mainSection =>
          val noSoup = Maybe.empty[Soup]($.one)
          noSoup |*| mainSection
        },
    )

  private def tryGetDishAndProceed: SectionMain -⚬ (Maybe[MainDish] |*| SectionPayment) =
    λ { mainSection =>
      switch ( SectionMain.getMainDish(mainSection) )
        .is { case InL(dish |*| mainSection) =>
          val paySection = SectionMain.proceedToPayment(mainSection)
          val someDish   = Maybe.just(dish)
          someDish |*| paySection
        }
        .is { case InR(paySection) =>
          val noDish = Maybe.empty[MainDish]($.one)
          noDish |*| paySection
        }
        .end
    }

}