libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.scaletto/BinarySearchTree/NonEmptyTree

NonEmptyTree

libretto.scaletto.BinarySearchTree.NonEmptyTree$
object NonEmptyTree

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def branch[K, V]: NonEmptyTree[K, V] |*| NonEmptyTree[K, V] -⚬ NonEmptyTree[K, V]
def clear[K, V](f: V -⚬ Done): NonEmptyTree[K, V] -⚬ Done
def injectBranch[K, V]: Branch[K, V] -⚬ NonEmptyTree[K, V]
def maxKey[K, V]: Getter[NonEmptyTree[K, V], Val[K]]
def minKey[K, V]: Getter[NonEmptyTree[K, V], Val[K]]
def singleton[K, V]: Val[K] |*| V -⚬ NonEmptyTree[K, V]
def summary[K, V]: Getter[NonEmptyTree[K, V], Summary[K]]
def update[K : Ordering, V, A](f: A |*| V -⚬ PMaybe[V]): Val[K] |*| A |*| NonEmptyTree[K, V] -⚬ PMaybe[A] |*| PMaybe[NonEmptyTree[K, V]]
def update[K : Ordering, V, A](f: A |*| V -⚬ PMaybe[V], ifAbsent: A -⚬ Done): Val[K] |*| A |*| NonEmptyTree[K, V] -⚬ PMaybe[NonEmptyTree[K, V]]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL