libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/CoreLib/Multiple

Multiple

libretto.CoreLib.Multiple$
object Multiple

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def map[A, B](f: A -⚬ B): Multiple[A] -⚬ Multiple[B]
def one[A]: A -⚬ Multiple[A]
def switch[A, R](case0: One -⚬ R, case1: A -⚬ R, caseN: Multiple[A] |*| Multiple[A] -⚬ R): Multiple[A] -⚬ R
def zero[A]: One -⚬ Multiple[A]

Implicits

Implicits

implicit def monoidMultiple[A]: Monoid[Multiple[A]]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL