libretto-examples/libretto.examples.coffeemachine/Protocol

Protocol

object Protocol
class Object
trait Matchable
class Any

Type members

Classlikes

case class Beverage(description: String)
enum Flavor
enum ShotCount
enum Size

Types

type CoffeeMachine = Rec[[CoffeeMachine] =>> EspressoMenu |*| CoffeeMachine |&| LatteMenu |*| CoffeeMachine |&| Done]
type FlavorChoice = Neg[Option[Flavor]]
type LatteParams = (Size, ShotCount, Option[Flavor])
type SizeChoice = Neg[Size]