esmeta
API
Generated with
esmeta/esmeta/esmeta.util/Fin

Fin

esmeta.util.Fin
See theFin companion object
case class Fin[A](set: Set[A]) extends BSet[A]

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait BSet[A]
trait ConcreteLattice[A, BSet]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def &&[B >: A](that: => BSet[B]): BSet[B]

meet/intersection operator

meet/intersection operator

Attributes

Inherited from:
BSet
def --[B >: A](that: => BSet[B]): BSet[B]

prune operator

prune operator

Attributes

Inherited from:
BSet
def <=[B >: A](that: => BSet[B]): Boolean

partial order/subset operator

partial order/subset operator

Attributes

Inherited from:
BSet
def contains[B >: A](x: B): Boolean

inclusion check

inclusion check

Attributes

Inherited from:
BSet
def flatMap[B](f: A => BSet[B]): BSet[B]

flatMap function

flatMap function

Attributes

Inherited from:
BSet
def foldLeft[B](init: B)(f: (B, A) => B): B

foldLeft function

foldLeft function

Attributes

Inherited from:
BSet
def foreach(f: A => Unit): Unit

foreach function

foreach function

Attributes

Inherited from:
BSet
def getSingle[B >: A]: Flat[B]

get single value

get single value

Attributes

Inherited from:
BSet
def isBottom: Boolean

bottom check

bottom check

Attributes

Inherited from:
BSet
def isTop: Boolean

top check

top check

Attributes

Inherited from:
BSet
def map[B](f: A => B): BSet[B]

map function

map function

Attributes

Inherited from:
BSet
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def toIterable(stop: Boolean): Iterable[A]

conversion to iterable

conversion to iterable

Attributes

Inherited from:
BSet
def toList: List[A]

get list function

get list function

Attributes

Inherited from:
BSet
def ||[B >: A](that: => BSet[B]): BSet[B]

join operator

join operator

Attributes

Inherited from:
BSet
def ⊑[B >: A](that: => BSet[B]): Boolean

Attributes

Inherited from:
ConcreteLattice
def ⊓[B >: A](that: => BSet[B]): BSet[B]

Attributes

Inherited from:
ConcreteLattice
def ⊔[B >: A](that: => BSet[B]): BSet[B]

Attributes

Inherited from:
ConcreteLattice
Generated with