object ListRef extends StoreOperation

(define (list-ref l index) (if (pair? l) (if (= index 0) (car l) (list-ref (cdr l) (- index 1))) (error "list-ref applied to a non-list")))

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

Value Members

  1. def call(l: Abs, index: Abs, store: Store[Addr, Abs]): MayFail[(Abs, Store[Addr, Abs], Set[Effect[Addr]])]
    Definition Classes
    ListRef → 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(arg: 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. def listRef(l: Abs, index: Abs, visited: Set[(Abs, Abs)], store: Store[Addr, Abs]): MayFail[(Abs, Set[Effect[Addr]])]
  9. val name: String

    The name of the primitive

    The name of the primitive

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