kofre
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
kofre/kofre.datatypes/AddWinsSet

AddWinsSet

kofre.datatypes.AddWinsSet$
See theAddWinsSet companion class
object AddWinsSet

Attributes

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

Members list

Concise view

Type members

Classlikes

implicit class AWSetSyntax[C, E](container: C)(using x$2: ArdtOpsContains[C, AddWinsSet[E]]) extends OpsSyntaxHelper[C, AddWinsSet[E]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

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 empty[E]: AddWinsSet[E]

Givens

Givens

given bottom[E]: bottom[E]

Implicits

Implicits

final implicit def AWSetSyntax[C, E](container: C)(using x$2: ArdtOpsContains[C, AddWinsSet[E]]): AWSetSyntax[C, E]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL