abstract class MemberLike extends StoreOperation

(define (member e l) ; member, memq and memv are similar, the difference lies in the comparison function used (if (null? l) #f (if (equal? (car l) e) l (member e (cdr l)))))

Linear Supertypes
StoreOperation, Primitive[Addr, Abs], AnyRef, Any
Known Subclasses
Member, Memq
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MemberLike
  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 MemberLike(n: String, eqFn: (Abs, Abs, Store[Addr, Abs]) ⇒ MayFail[(Abs, Set[Effect[Addr]])])

Value Members

  1. def call(e: Abs, l: Abs, store: Store[Addr, Abs]): MayFail[(Abs, Store[Addr, Abs], Set[Effect[Addr]])]
    Definition Classes
    MemberLike → 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 mem(e: Abs, l: Abs, visited: Set[Abs], store: Store[Addr, Abs]): MayFail[(Abs, Set[Effect[Addr]])]
  9. val n: String
  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