libretto-examples
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto-examples/libretto.examples.dogTreatsFactory/TreatsPack

TreatsPack

libretto.examples.dogTreatsFactory.TreatsPack$
See theTreatsPack companion enum
object TreatsPack

Attributes

Companion:
enum
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def largeBone(toy: $[Val[Toy]], bone: $[Val[Large]], biscuits: $[Val[Biscuit3]]): $[Val[TreatsPack]]
def smallBone(toy: $[Val[Toy]], bone: $[Val[Small]], biscuits: $[Val[Biscuit5]]): $[Val[TreatsPack]]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL