class TSchemePrimitives[Addr, Abs] extends SchemePrimitives[Addr, Abs]
- Alphabetic
- By Inheritance
- TSchemePrimitives
- SchemePrimitives
- Primitives
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Instance Constructors
- new TSchemePrimitives()(implicit arg0: Address[Addr], arg1: IsTaintLattice[Abs])
Type Members
-
abstract
class
AssocLike extends StoreOperation
- Definition Classes
- SchemePrimitives
-
class
CarCdrOperation extends StoreOperation
- Definition Classes
- SchemePrimitives
-
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
-
abstract
class
NoStoreOperation extends Primitive[Addr, Abs]
- Definition Classes
- SchemePrimitives
-
abstract
class
StoreOperation extends Primitive[Addr, Abs]
- Definition Classes
- SchemePrimitives
Value Members
-
object
ACos extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
ASin extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
ATan extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
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
-
object
Assoc extends AssocLike
- Definition Classes
- SchemePrimitives
-
object
Assq extends AssocLike
- Definition Classes
- SchemePrimitives
-
object
BoolTop extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Booleanp extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Caaaar extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Caaadr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Caaar extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Caadar extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Caaddr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Caadr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Caar extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cadaar extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cadadr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cadar extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Caddar extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cadddr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Caddr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cadr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Car extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cdaaar extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cdaadr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cdaar extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cdadar extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cdaddr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cdadr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cdar extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cddaar extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cddadr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cddar extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cdddar extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cddddr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cdddr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cddr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Cdr extends CarCdrOperation
- Definition Classes
- SchemePrimitives
-
object
Ceiling extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Charp extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Cons extends Primitive[Addr, Abs]
- Definition Classes
- SchemePrimitives
-
object
Cos extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Display extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Div extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Eq extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
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
-
object
Error extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Evenp extends NoStoreOperation
(define (even? x) (= 0 (modulo x 2)))
(define (even? x) (= 0 (modulo x 2)))
- Definition Classes
- SchemePrimitives
-
object
ExactToInexact extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Expt extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Floor extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
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
-
object
GreaterOrEqual extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
GreaterThan extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
InexactToExact extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
IntTop extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Integerp extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Length extends StoreOperation
- Definition Classes
- SchemePrimitives
-
object
LessOrEqual extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
LessThan extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
ListPrim extends StoreOperation
- Definition Classes
- SchemePrimitives
-
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
-
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
-
object
Log extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
MakeVector extends Primitive[Addr, Abs]
- Definition Classes
- SchemePrimitives
-
object
Max extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Member extends MemberLike
- Definition Classes
- SchemePrimitives
-
object
Memq extends MemberLike
- Definition Classes
- SchemePrimitives
-
object
Min extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Minus extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Modulo extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Negativep extends NoStoreOperation
(define (positive? x) (< 0 x))
(define (positive? x) (< 0 x))
- Definition Classes
- SchemePrimitives
-
object
Newline extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Not extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Nullp extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
NumEq extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
NumberToString extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Numberp extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Oddp extends NoStoreOperation
(define (odd? x) (= 1 (modulo x 2)))
(define (odd? x) (= 1 (modulo x 2)))
- Definition Classes
- SchemePrimitives
-
object
Pairp extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Plus extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Positivep extends NoStoreOperation
(define (positive? x) (< x 0))
(define (positive? x) (< x 0))
- Definition Classes
- SchemePrimitives
-
object
Quotient extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Random extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Realp extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Remainder extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Round extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
SetCar extends StoreOperation
- Definition Classes
- SchemePrimitives
-
object
SetCdr extends StoreOperation
- Definition Classes
- SchemePrimitives
-
object
Sin extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Sqrt extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
StringAppend extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
StringLength extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
StringLt extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
StringToSymbol extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Stringp extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
SymbolToString extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Symbolp extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Tan extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Times extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Vector extends Primitive[Addr, Abs]
- Definition Classes
- SchemePrimitives
-
object
VectorLength extends StoreOperation
- Definition Classes
- SchemePrimitives
-
object
VectorRef extends StoreOperation
- Definition Classes
- SchemePrimitives
-
object
VectorSet extends Primitive[Addr, Abs]
- Definition Classes
- SchemePrimitives
-
object
Vectorp extends NoStoreOperation
- Definition Classes
- SchemePrimitives
-
object
Zerop extends NoStoreOperation
(define (zero? x) (= x 0))
(define (zero? x) (= x 0))
- Definition Classes
- SchemePrimitives
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
+(other: String): String
- Implicit
- This member is added by an implicit conversion from TSchemePrimitives[Addr, Abs] to any2stringadd[TSchemePrimitives[Addr, Abs]] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
-
def
->[B](y: B): (TSchemePrimitives[Addr, Abs], B)
- Implicit
- This member is added by an implicit conversion from TSchemePrimitives[Addr, Abs] to ArrowAssoc[TSchemePrimitives[Addr, Abs]] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
val
abs: IsSchemeLattice[Abs]
- Definition Classes
- SchemePrimitives
-
def
acos: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
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
- TSchemePrimitives → SchemePrimitives → Primitives
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
asin: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
atan: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
lazy val
bindings: List[(String, Addr, Abs)]
- Definition Classes
- Primitives
-
def
ceiling: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate() @throws( ... )
-
def
cos: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
div: (Abs, Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
ensuring(cond: (TSchemePrimitives[Addr, Abs]) ⇒ Boolean, msg: ⇒ Any): TSchemePrimitives[Addr, Abs]
- Implicit
- This member is added by an implicit conversion from TSchemePrimitives[Addr, Abs] to Ensuring[TSchemePrimitives[Addr, Abs]] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: (TSchemePrimitives[Addr, Abs]) ⇒ Boolean): TSchemePrimitives[Addr, Abs]
- Implicit
- This member is added by an implicit conversion from TSchemePrimitives[Addr, Abs] to Ensuring[TSchemePrimitives[Addr, Abs]] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean, msg: ⇒ Any): TSchemePrimitives[Addr, Abs]
- Implicit
- This member is added by an implicit conversion from TSchemePrimitives[Addr, Abs] to Ensuring[TSchemePrimitives[Addr, Abs]] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean): TSchemePrimitives[Addr, Abs]
- Implicit
- This member is added by an implicit conversion from TSchemePrimitives[Addr, Abs] to Ensuring[TSchemePrimitives[Addr, Abs]] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
eqq: (Abs, Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
err(e: SemanticError): MayFail[(Abs, Set[Effect[Addr]])]
- Definition Classes
- SchemePrimitives
-
def
exactToInexact: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
floor: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from TSchemePrimitives[Addr, Abs] to StringFormat[TSchemePrimitives[Addr, Abs]] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
inexactToExact: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
isBoolean: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
isChar: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
isCons: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isInteger: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
isNull: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
isReal: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
isString: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
isSymbol: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
isVector: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
log: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
lt: (Abs, Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
val
mfmon: Monoid[MayFail[(Abs, Set[Effect[Addr]])]]
- Definition Classes
- SchemePrimitives
-
def
minus: (Abs, Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
modulo: (Abs, Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
not: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
numEq: (Abs, Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
numberToString: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
plus: (Abs, Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
quotient: (Abs, Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
random: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
remainder: (Abs, Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
round: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
sin: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
sqrt: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
stringAppend: (Abs, Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
stringLength: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
stringLt: (Abs, Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
stringToSymbol: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
success(v: Abs): MayFail[(Abs, Set[Effect[Addr]])]
- Definition Classes
- SchemePrimitives
-
def
symbolToString: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
tan: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
times: (Abs, Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
toVal(prim: Primitive[Addr, Abs]): Abs
- Definition Classes
- SchemePrimitives → Primitives
-
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
-
def
vectorLength: (Abs) ⇒ MayFail[Abs]
- Definition Classes
- SchemePrimitives
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
→[B](y: B): (TSchemePrimitives[Addr, Abs], B)
- Implicit
- This member is added by an implicit conversion from TSchemePrimitives[Addr, Abs] to ArrowAssoc[TSchemePrimitives[Addr, Abs]] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- object Sanitize extends Primitive[Addr, Abs]
- object Sink extends Primitive[Addr, Abs]
- object Taint extends Primitive[Addr, Abs]