Map

libretto.lambda.Var.Map
object Map

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Map.type

Members list

Value members

Concrete methods

def empty[V, F[_]]: Map[V, F]

Extensions

Extensions

extension [V, F[_]](m: Map[V, F])
def +[A](kv: (Var[V, A], F[A])): Map[V, F]
def --(keys: Set[V]): Map[V, F]
def foldLeft[Z](init: Z)(f: [A] => (x$1: Z, x$2: Var[V, A], x$3: F[A]) => Z): Z
def toList[T](f: [x] => (Var[V, x], F[x]) => T): List[T]
def values: List[Exists[F]]