Packages

object Store

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Store
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. def empty[Addr, Abs](counting: Boolean)(implicit arg0: Address[Addr], arg1: JoinLattice[Abs]): Store[Addr, Abs]
  2. def empty[Addr, Abs](implicit arg0: Address[Addr], arg1: JoinLattice[Abs]): Store[Addr, Abs]
  3. def initial[Addr, Abs](values: Iterable[(Addr, Abs)])(implicit arg0: Address[Addr], arg1: JoinLattice[Abs]): Store[Addr, Abs]
  4. implicit def monoid[Addr, Abs](implicit arg0: Address[Addr], arg1: JoinLattice[Abs]): Monoid[Store[Addr, Abs]]