Packages

  • package root
    Definition Classes
    root
  • class SchemePrimitives[Addr, Abs] extends Primitives[Addr, Abs]

    This is where we define Scheme primitives

    This is where we define Scheme primitives

    Definition Classes
    root
c

SchemePrimitives

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

This is where we define Scheme primitives

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

Type Members

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

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

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from SchemePrimitives[Addr, Abs] to any2stringadd[SchemePrimitives[Addr, Abs]] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (SchemePrimitives[Addr, Abs], B)
    Implicit
    This member is added by an implicit conversion from SchemePrimitives[Addr, Abs] to ArrowAssoc[SchemePrimitives[Addr, Abs]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. val abs: IsSchemeLattice[Abs]
  7. def acos: (Abs) ⇒ MayFail[Abs]
  8. 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
    SchemePrimitivesPrimitives
  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. def asin: (Abs) ⇒ MayFail[Abs]
  11. def atan: (Abs) ⇒ MayFail[Abs]
  12. lazy val bindings: List[(String, Addr, Abs)]
    Definition Classes
    Primitives
  13. def ceiling: (Abs) ⇒ MayFail[Abs]
  14. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  15. def cos: (Abs) ⇒ MayFail[Abs]
  16. def div: (Abs, Abs) ⇒ MayFail[Abs]
  17. def ensuring(cond: (SchemePrimitives[Addr, Abs]) ⇒ Boolean, msg: ⇒ Any): SchemePrimitives[Addr, Abs]
    Implicit
    This member is added by an implicit conversion from SchemePrimitives[Addr, Abs] to Ensuring[SchemePrimitives[Addr, Abs]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  18. def ensuring(cond: (SchemePrimitives[Addr, Abs]) ⇒ Boolean): SchemePrimitives[Addr, Abs]
    Implicit
    This member is added by an implicit conversion from SchemePrimitives[Addr, Abs] to Ensuring[SchemePrimitives[Addr, Abs]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  19. def ensuring(cond: Boolean, msg: ⇒ Any): SchemePrimitives[Addr, Abs]
    Implicit
    This member is added by an implicit conversion from SchemePrimitives[Addr, Abs] to Ensuring[SchemePrimitives[Addr, Abs]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  20. def ensuring(cond: Boolean): SchemePrimitives[Addr, Abs]
    Implicit
    This member is added by an implicit conversion from SchemePrimitives[Addr, Abs] to Ensuring[SchemePrimitives[Addr, Abs]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  21. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. def eqq: (Abs, Abs) ⇒ MayFail[Abs]
  23. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  24. def err(e: SemanticError): MayFail[(Abs, Set[Effect[Addr]])]
  25. def exactToInexact: (Abs) ⇒ MayFail[Abs]
  26. def floor: (Abs) ⇒ MayFail[Abs]
  27. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from SchemePrimitives[Addr, Abs] to StringFormat[SchemePrimitives[Addr, Abs]] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  28. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  29. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  30. def inexactToExact: (Abs) ⇒ MayFail[Abs]
  31. def isBoolean: (Abs) ⇒ MayFail[Abs]
  32. def isChar: (Abs) ⇒ MayFail[Abs]
  33. def isCons: (Abs) ⇒ MayFail[Abs]
  34. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  35. def isInteger: (Abs) ⇒ MayFail[Abs]
  36. def isNull: (Abs) ⇒ MayFail[Abs]
  37. def isReal: (Abs) ⇒ MayFail[Abs]
  38. def isString: (Abs) ⇒ MayFail[Abs]
  39. def isSymbol: (Abs) ⇒ MayFail[Abs]
  40. def isVector: (Abs) ⇒ MayFail[Abs]
  41. def log: (Abs) ⇒ MayFail[Abs]
  42. def lt: (Abs, Abs) ⇒ MayFail[Abs]
  43. val mfmon: Monoid[MayFail[(Abs, Set[Effect[Addr]])]]
  44. def minus: (Abs, Abs) ⇒ MayFail[Abs]
  45. def modulo: (Abs, Abs) ⇒ MayFail[Abs]
  46. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  47. def not: (Abs) ⇒ MayFail[Abs]
  48. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  49. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  50. def numEq: (Abs, Abs) ⇒ MayFail[Abs]
  51. def numberToString: (Abs) ⇒ MayFail[Abs]
  52. def plus: (Abs, Abs) ⇒ MayFail[Abs]
  53. def quotient: (Abs, Abs) ⇒ MayFail[Abs]
  54. def random: (Abs) ⇒ MayFail[Abs]
  55. def remainder: (Abs, Abs) ⇒ MayFail[Abs]
  56. def round: (Abs) ⇒ MayFail[Abs]
  57. def sin: (Abs) ⇒ MayFail[Abs]
  58. def sqrt: (Abs) ⇒ MayFail[Abs]
  59. def stringAppend: (Abs, Abs) ⇒ MayFail[Abs]
  60. def stringLength: (Abs) ⇒ MayFail[Abs]
  61. def stringLt: (Abs, Abs) ⇒ MayFail[Abs]
  62. def stringToSymbol: (Abs) ⇒ MayFail[Abs]
  63. def success(v: Abs): MayFail[(Abs, Set[Effect[Addr]])]
  64. def symbolToString: (Abs) ⇒ MayFail[Abs]
  65. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  66. def tan: (Abs) ⇒ MayFail[Abs]
  67. def times: (Abs, Abs) ⇒ MayFail[Abs]
  68. def toString(): String
    Definition Classes
    AnyRef → Any
  69. def toVal(prim: Primitive[Addr, Abs]): Abs
    Definition Classes
    SchemePrimitivesPrimitives
  70. 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
  71. def vectorLength: (Abs) ⇒ MayFail[Abs]
  72. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  73. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  74. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  75. def [B](y: B): (SchemePrimitives[Addr, Abs], B)
    Implicit
    This member is added by an implicit conversion from SchemePrimitives[Addr, Abs] to ArrowAssoc[SchemePrimitives[Addr, Abs]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
  76. object ACos extends NoStoreOperation
  77. object ASin extends NoStoreOperation
  78. object ATan extends NoStoreOperation
  79. object Abs extends NoStoreOperation

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

  80. object Assoc extends AssocLike
  81. object Assq extends AssocLike
  82. object BoolTop extends NoStoreOperation
  83. object Booleanp extends NoStoreOperation
  84. object Caaaar extends CarCdrOperation
  85. object Caaadr extends CarCdrOperation
  86. object Caaar extends CarCdrOperation
  87. object Caadar extends CarCdrOperation
  88. object Caaddr extends CarCdrOperation
  89. object Caadr extends CarCdrOperation
  90. object Caar extends CarCdrOperation
  91. object Cadaar extends CarCdrOperation
  92. object Cadadr extends CarCdrOperation
  93. object Cadar extends CarCdrOperation
  94. object Caddar extends CarCdrOperation
  95. object Cadddr extends CarCdrOperation
  96. object Caddr extends CarCdrOperation
  97. object Cadr extends CarCdrOperation
  98. object Car extends CarCdrOperation
  99. object Cdaaar extends CarCdrOperation
  100. object Cdaadr extends CarCdrOperation
  101. object Cdaar extends CarCdrOperation
  102. object Cdadar extends CarCdrOperation
  103. object Cdaddr extends CarCdrOperation
  104. object Cdadr extends CarCdrOperation
  105. object Cdar extends CarCdrOperation
  106. object Cddaar extends CarCdrOperation
  107. object Cddadr extends CarCdrOperation
  108. object Cddar extends CarCdrOperation
  109. object Cdddar extends CarCdrOperation
  110. object Cddddr extends CarCdrOperation
  111. object Cdddr extends CarCdrOperation
  112. object Cddr extends CarCdrOperation
  113. object Cdr extends CarCdrOperation
  114. object Ceiling extends NoStoreOperation
  115. object Charp extends NoStoreOperation
  116. object Cons extends Primitive[Addr, Abs]
  117. object Cos extends NoStoreOperation
  118. object Display extends NoStoreOperation
  119. object Div extends NoStoreOperation
  120. object Eq extends NoStoreOperation
  121. 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)))))))

  122. object Error extends NoStoreOperation
  123. object Evenp extends NoStoreOperation

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

  124. object ExactToInexact extends NoStoreOperation
  125. object Expt extends NoStoreOperation
  126. object Floor extends NoStoreOperation
  127. object Gcd extends NoStoreOperation

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

  128. object GreaterOrEqual extends NoStoreOperation
  129. object GreaterThan extends NoStoreOperation
  130. object InexactToExact extends NoStoreOperation
  131. object IntTop extends NoStoreOperation
  132. object Integerp extends NoStoreOperation
  133. object Length extends StoreOperation
  134. object LessOrEqual extends NoStoreOperation
  135. object LessThan extends NoStoreOperation
  136. object ListPrim extends StoreOperation
  137. 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")))

  138. object Listp extends StoreOperation

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

  139. object Log extends NoStoreOperation
  140. object MakeVector extends Primitive[Addr, Abs]
  141. object Max extends NoStoreOperation
  142. object Member extends MemberLike
  143. object Memq extends MemberLike
  144. object Min extends NoStoreOperation
  145. object Minus extends NoStoreOperation
  146. object Modulo extends NoStoreOperation
  147. object Negativep extends NoStoreOperation

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

  148. object Newline extends NoStoreOperation
  149. object Not extends NoStoreOperation
  150. object Nullp extends NoStoreOperation
  151. object NumEq extends NoStoreOperation
  152. object NumberToString extends NoStoreOperation
  153. object Numberp extends NoStoreOperation
  154. object Oddp extends NoStoreOperation

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

  155. object Pairp extends NoStoreOperation
  156. object Plus extends NoStoreOperation
  157. object Positivep extends NoStoreOperation

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

  158. object Quotient extends NoStoreOperation
  159. object Random extends NoStoreOperation
  160. object Realp extends NoStoreOperation
  161. object Remainder extends NoStoreOperation
  162. object Round extends NoStoreOperation
  163. object SetCar extends StoreOperation
  164. object SetCdr extends StoreOperation
  165. object Sin extends NoStoreOperation
  166. object Sqrt extends NoStoreOperation
  167. object StringAppend extends NoStoreOperation
  168. object StringLength extends NoStoreOperation
  169. object StringLt extends NoStoreOperation
  170. object StringToSymbol extends NoStoreOperation
  171. object Stringp extends NoStoreOperation
  172. object SymbolToString extends NoStoreOperation
  173. object Symbolp extends NoStoreOperation
  174. object Tan extends NoStoreOperation
  175. object Times extends NoStoreOperation
  176. object Vector extends Primitive[Addr, Abs]
  177. object VectorLength extends StoreOperation
  178. object VectorRef extends StoreOperation
  179. object VectorSet extends Primitive[Addr, Abs]
  180. object Vectorp extends NoStoreOperation
  181. object Zerop extends NoStoreOperation

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

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from Primitives[Addr, Abs]

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from SchemePrimitives[Addr, Abs] to any2stringadd[SchemePrimitives[Addr, Abs]]

Inherited by implicit conversion StringFormat from SchemePrimitives[Addr, Abs] to StringFormat[SchemePrimitives[Addr, Abs]]

Inherited by implicit conversion Ensuring from SchemePrimitives[Addr, Abs] to Ensuring[SchemePrimitives[Addr, Abs]]

Inherited by implicit conversion ArrowAssoc from SchemePrimitives[Addr, Abs] to ArrowAssoc[SchemePrimitives[Addr, Abs]]

Ungrouped