• Home
• dev.continuously.libretto
• libretto-examples_3
• 0.3.2
• source code
• SupermarketInterface.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

libretto.examples.supermarket.SupermarketInterface.scala Maven / Gradle / Ivy

package libretto.examples.supermarket

import libretto.scaletto.StarterKit.*
import libretto.examples.supermarket.money.*

trait SupermarketInterface {
  type Supermarket
  type Shopping[Items]

  val goods: GoodsConsumer

  import goods.{Beer, ToiletPaper}

  given comonoidSupermarket: Comonoid[Supermarket]
  given basketReadiness[Items]: Signaling.Positive[Shopping[Items]]

  def enterAndObtainBasket: Supermarket -⚬ Shopping[One]

  def addBeerToBasket       [Items]: Shopping[Items] -⚬ Shopping[Beer        |*| Items]
  def addToiletPaperToBasket[Items]: Shopping[Items] -⚬ Shopping[ToiletPaper |*| Items]

  def payForBeer       [Items]: (Coin |*| Shopping[Beer        |*| Items]) -⚬ (Beer        |*| Shopping[Items])
  def payForToiletPaper[Items]: (Coin |*| Shopping[ToiletPaper |*| Items]) -⚬ (ToiletPaper |*| Shopping[Items])

  def returnBasketAndLeave: Shopping[One] -⚬ One
}