Packages

c

CSchemePrimitives

class CSchemePrimitives[Addr, Abs] extends SchemePrimitives[Addr, Abs]

Linear Supertypes
SchemePrimitives[Addr, Abs], Primitives[Addr, Abs], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CSchemePrimitives
  2. SchemePrimitives
  3. Primitives
  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 CSchemePrimitives()(implicit arg0: Address[Addr], arg1: IsCSchemeLattice[Abs])

Type Members

  1. abstract class AssocLike extends StoreOperation
    Definition Classes
    SchemePrimitives
  2. class CarCdrOperation extends StoreOperation
    Definition Classes
    SchemePrimitives
  3. 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)))))

    (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)))))

    Definition Classes
    SchemePrimitives
  4. abstract class NoStoreOperation extends Primitive[Addr, Abs]
    Definition Classes
    SchemePrimitives
  5. abstract class StoreOperation extends Primitive[Addr, Abs]
    Definition Classes
    SchemePrimitives

Value Members

  1. val abs: IsSchemeLattice[Abs]
    Definition Classes
    SchemePrimitives
  2. def acos: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  3. def all: List[Primitive[Addr, Abs]]

    Bundles all the primitives together, annotated with R5RS support (v: supported, vv: supported and tested in PrimitiveTests, vx: not fully supported, x: not supported), and section in Guile manual

    Bundles all the primitives together, annotated with R5RS support (v: supported, vv: supported and tested in PrimitiveTests, vx: not fully supported, x: not supported), and section in Guile manual

    Definition Classes
    CSchemePrimitivesSchemePrimitivesPrimitives
  4. def asin: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  5. def atan: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  6. lazy val bindings: List[(String, Addr, Abs)]
    Definition Classes
    Primitives
  7. def ceiling: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  8. def cos: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  9. def div: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  10. def eqq: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  11. def err(e: SemanticError): MayFail[(Abs, Set[Effect[Addr]])]
    Definition Classes
    SchemePrimitives
  12. def exactToInexact: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  13. def floor: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  14. def inexactToExact: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  15. def isBoolean: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  16. def isChar: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  17. def isCons: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  18. def isInteger: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  19. def isNull: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  20. def isReal: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  21. def isString: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  22. def isSymbol: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  23. def isVector: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  24. def log: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  25. def lt: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  26. val mfmon: Monoid[MayFail[(Abs, Set[Effect[Addr]])]]
    Definition Classes
    SchemePrimitives
  27. def minus: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  28. def modulo: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  29. def not: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  30. def numEq: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  31. def numberToString: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  32. def plus: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  33. def quotient: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  34. def random: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  35. def remainder: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  36. def round: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  37. def sin: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  38. def sqrt: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  39. def stringAppend: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  40. def stringLength: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  41. def stringLt: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  42. def stringToSymbol: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  43. def success(v: Abs): MayFail[(Abs, Set[Effect[Addr]])]
    Definition Classes
    SchemePrimitives
  44. def symbolToString: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  45. def tan: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  46. def times: (Abs, Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  47. def toVal(prim: Primitive[Addr, Abs]): Abs
    Definition Classes
    SchemePrimitivesPrimitives
  48. def traced(prim: Primitive[Addr, Abs]): Primitive[Addr, Abs]

    Modify a primitive to trace it: output will be printed when the primitive is called.

    Modify a primitive to trace it: output will be printed when the primitive is called. This is for debugging purposes.

    Definition Classes
    Primitives
  49. def vectorLength: (Abs) ⇒ MayFail[Abs]
    Definition Classes
    SchemePrimitives
  50. object NewLock extends Primitive[Addr, Abs]
  51. object ACos extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  52. object ASin extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  53. object ATan extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  54. object Abs extends NoStoreOperation

    (define (abs x) (if (< x 0) (- 0 x) x))

    (define (abs x) (if (< x 0) (- 0 x) x))

    Definition Classes
    SchemePrimitives
  55. object Assoc extends AssocLike
    Definition Classes
    SchemePrimitives
  56. object Assq extends AssocLike
    Definition Classes
    SchemePrimitives
  57. object BoolTop extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  58. object Booleanp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  59. object Caaaar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  60. object Caaadr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  61. object Caaar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  62. object Caadar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  63. object Caaddr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  64. object Caadr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  65. object Caar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  66. object Cadaar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  67. object Cadadr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  68. object Cadar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  69. object Caddar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  70. object Cadddr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  71. object Caddr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  72. object Cadr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  73. object Car extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  74. object Cdaaar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  75. object Cdaadr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  76. object Cdaar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  77. object Cdadar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  78. object Cdaddr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  79. object Cdadr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  80. object Cdar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  81. object Cddaar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  82. object Cddadr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  83. object Cddar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  84. object Cdddar extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  85. object Cddddr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  86. object Cdddr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  87. object Cddr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  88. object Cdr extends CarCdrOperation
    Definition Classes
    SchemePrimitives
  89. object Ceiling extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  90. object Charp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  91. object Cons extends Primitive[Addr, Abs]
    Definition Classes
    SchemePrimitives
  92. object Cos extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  93. object Display extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  94. object Div extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  95. object Eq extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  96. object Equal extends StoreOperation

    (define (equal? a b) (or (eq? a b) (and (null? a) (null? b)) (and (pair? a) (pair? b) (equal? (car a) (car b)) (equal? (cdr a) (cdr b))) (and (vector? a) (vector? b) (let ((n (vector-length a))) (and (= (vector-length b) n) (letrec ((loop (lambda (i) (or (= i n) (and (equal? (vector-ref a i) (vector-ref b i)) (loop (+ i 1))))))) (loop 0)))))))

    (define (equal? a b) (or (eq? a b) (and (null? a) (null? b)) (and (pair? a) (pair? b) (equal? (car a) (car b)) (equal? (cdr a) (cdr b))) (and (vector? a) (vector? b) (let ((n (vector-length a))) (and (= (vector-length b) n) (letrec ((loop (lambda (i) (or (= i n) (and (equal? (vector-ref a i) (vector-ref b i)) (loop (+ i 1))))))) (loop 0)))))))

    Definition Classes
    SchemePrimitives
  97. object Error extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  98. object Evenp extends NoStoreOperation

    (define (even? x) (= 0 (modulo x 2)))

    (define (even? x) (= 0 (modulo x 2)))

    Definition Classes
    SchemePrimitives
  99. object ExactToInexact extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  100. object Expt extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  101. object Floor extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  102. object Gcd extends NoStoreOperation

    (define (gcd a b) (if (= b 0) a (gcd b (modulo a b))))

    (define (gcd a b) (if (= b 0) a (gcd b (modulo a b))))

    Definition Classes
    SchemePrimitives
  103. object GreaterOrEqual extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  104. object GreaterThan extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  105. object InexactToExact extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  106. object IntTop extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  107. object Integerp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  108. object Length extends StoreOperation
    Definition Classes
    SchemePrimitives
  109. object LessOrEqual extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  110. object LessThan extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  111. object ListPrim extends StoreOperation
    Definition Classes
    SchemePrimitives
  112. 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")))

    (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")))

    Definition Classes
    SchemePrimitives
  113. object Listp extends StoreOperation

    (define (list? l) (or (and (pair? l) (list? (cdr l))) (null? l)))

    (define (list? l) (or (and (pair? l) (list? (cdr l))) (null? l)))

    Definition Classes
    SchemePrimitives
  114. object Log extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  115. object MakeVector extends Primitive[Addr, Abs]
    Definition Classes
    SchemePrimitives
  116. object Max extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  117. object Member extends MemberLike
    Definition Classes
    SchemePrimitives
  118. object Memq extends MemberLike
    Definition Classes
    SchemePrimitives
  119. object Min extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  120. object Minus extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  121. object Modulo extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  122. object Negativep extends NoStoreOperation

    (define (positive? x) (< 0 x))

    (define (positive? x) (< 0 x))

    Definition Classes
    SchemePrimitives
  123. object Newline extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  124. object Not extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  125. object Nullp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  126. object NumEq extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  127. object NumberToString extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  128. object Numberp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  129. object Oddp extends NoStoreOperation

    (define (odd? x) (= 1 (modulo x 2)))

    (define (odd? x) (= 1 (modulo x 2)))

    Definition Classes
    SchemePrimitives
  130. object Pairp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  131. object Plus extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  132. object Positivep extends NoStoreOperation

    (define (positive? x) (< x 0))

    (define (positive? x) (< x 0))

    Definition Classes
    SchemePrimitives
  133. object Quotient extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  134. object Random extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  135. object Realp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  136. object Remainder extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  137. object Round extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  138. object SetCar extends StoreOperation
    Definition Classes
    SchemePrimitives
  139. object SetCdr extends StoreOperation
    Definition Classes
    SchemePrimitives
  140. object Sin extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  141. object Sqrt extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  142. object StringAppend extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  143. object StringLength extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  144. object StringLt extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  145. object StringToSymbol extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  146. object Stringp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  147. object SymbolToString extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  148. object Symbolp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  149. object Tan extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  150. object Times extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  151. object Vector extends Primitive[Addr, Abs]
    Definition Classes
    SchemePrimitives
  152. object VectorLength extends StoreOperation
    Definition Classes
    SchemePrimitives
  153. object VectorRef extends StoreOperation
    Definition Classes
    SchemePrimitives
  154. object VectorSet extends Primitive[Addr, Abs]
    Definition Classes
    SchemePrimitives
  155. object Vectorp extends NoStoreOperation
    Definition Classes
    SchemePrimitives
  156. object Zerop extends NoStoreOperation

    (define (zero? x) (= x 0))

    (define (zero? x) (= x 0))

    Definition Classes
    SchemePrimitives