class CarCdrOperation extends StoreOperation

Linear Supertypes
StoreOperation, Primitive[Addr, Abs], AnyRef, Any
Known Subclasses
Caaaar, Caaadr, Caaar, Caadar, Caaddr, Caadr, Caar, Cadaar, Cadadr, Cadar, Caddar, Cadddr, Caddr, Cadr, Car, Cdaaar, Cdaadr, Cdaar, Cdadar, Cdaddr, Cdadr, Cdar, Cddaar, Cddadr, Cddar, Cdddar, Cddddr, Cdddr, Cddr, Cdr
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CarCdrOperation
  2. StoreOperation
  3. Primitive
  4. AnyRef
  5. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new CarCdrOperation(name: String)

Type Members

  1. trait Spec extends AnyRef

Value Members

  1. def call(v: Abs, store: Store[Addr, Abs]): MayFail[(Abs, Store[Addr, Abs], Set[Effect[Addr]])]
    Definition Classes
    CarCdrOperation → StoreOperation
  2. 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
  3. def call(store: Store[Addr, Abs]): MayFail[(Abs, Store[Addr, Abs], Set[Effect[Addr]])]
    Definition Classes
    StoreOperation
  4. 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
  5. 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
  6. def call(arg1: Abs, arg2: Abs, store: Store[Addr, Abs]): MayFail[(Abs, Store[Addr, Abs], Set[Effect[Addr]])]
    Definition Classes
    StoreOperation
  7. def call(args: List[Abs], store: Store[Addr, Abs]): MayFail[(Abs, Store[Addr, Abs], Set[Effect[Addr]])]
    Definition Classes
    StoreOperation
  8. val name: String

    The name of the primitive

    The name of the primitive

    Definition Classes
    CarCdrOperation → StoreOperation → Primitive
  9. val nargs: Option[Int]
    Definition Classes
    StoreOperation
  10. val spec: List[Spec]
  11. object Car extends Spec with Product with Serializable
  12. object Cdr extends Spec with Product with Serializable