object Assoc extends AssocLike

Linear Supertypes
AssocLike, StoreOperation, Primitive[Addr, Abs], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Assoc
  2. AssocLike
  3. StoreOperation
  4. Primitive
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. def assoc(e: Abs, l: Abs, visited: Set[Abs], store: Store[Addr, Abs]): MayFail[(Abs, Set[Effect[Addr]])]
    Definition Classes
    AssocLike
  2. def call(e: Abs, l: Abs, store: Store[Addr, Abs]): MayFail[(Abs, Store[Addr, Abs], Set[Effect[Addr]])]
    Definition Classes
    AssocLike → StoreOperation
  3. def call[Exp, Time](fexp: Exp, args: List[(Exp, Abs)], store: Store[Addr, Abs], t: Time)(implicit arg0: Expression[Exp], arg1: Timestamp[Time]): MayFail[(Abs, Store[Addr, Abs], Set[Effect[Addr]])]

    Calls the primitive.

    Calls the primitive.

    returns

    either an error, or the value returned by the primitive along with the updated store

    Definition Classes
    StoreOperation → Primitive
  4. def call(store: Store[Addr, Abs]): MayFail[(Abs, Store[Addr, Abs], Set[Effect[Addr]])]
    Definition Classes
    StoreOperation
  5. def call[Exp](fexp: Exp, arg: (Exp, Abs), store: Store[Addr, Abs])(implicit arg0: Expression[Exp]): MayFail[(Abs, Store[Addr, Abs], Set[Effect[Addr]])]
    Definition Classes
    StoreOperation
  6. def call[Exp](fexp: Exp, arg1: (Exp, Abs), arg2: (Exp, Abs), store: Store[Addr, Abs])(implicit arg0: Expression[Exp]): MayFail[(Abs, Store[Addr, Abs], Set[Effect[Addr]])]
    Definition Classes
    StoreOperation
  7. def call(arg: Abs, store: Store[Addr, Abs]): MayFail[(Abs, Store[Addr, Abs], Set[Effect[Addr]])]
    Definition Classes
    StoreOperation
  8. def call(args: List[Abs], store: Store[Addr, Abs]): MayFail[(Abs, Store[Addr, Abs], Set[Effect[Addr]])]
    Definition Classes
    StoreOperation
  9. val n: String
    Definition Classes
    AssocLike
  10. val name: String

    The name of the primitive

    The name of the primitive

    Definition Classes
    StoreOperation → Primitive
  11. val nargs: Option[Int]
    Definition Classes
    StoreOperation