Packages

object ConcreteLattice extends MakeSchemeLattice[S, B, I, F, C, Sym]

Linear Supertypes
MakeSchemeLattice[S, B, I, F, C, Sym], SchemeLattice, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ConcreteLattice
  2. MakeSchemeLattice
  3. SchemeLattice
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class Bool(b: B) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  2. case class CannotJoin[Abs](values: Set[Abs]) extends Exception with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  3. case class Char(c: C) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  4. case class Closure[Exp, Addr](lambda: Exp, env: Environment[Addr])(implicit evidence$9: Expression[Exp], evidence$10: Address[Addr]) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  5. case class Cons[Addr](car: Addr, cdr: Addr)(implicit evidence$11: Address[Addr]) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  6. case class Element(v: Value) extends L with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  7. case class Elements(vs: Set[Value]) extends L with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  8. case class Int(i: I) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  9. sealed trait L extends AnyRef
    Definition Classes
    MakeSchemeLattice
  10. case class Prim[Addr, Abs](prim: Primitive[Addr, Abs])(implicit evidence$7: Address[Addr], evidence$8: JoinLattice[Abs]) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  11. case class Real(f: F) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  12. case class Str(s: S) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  13. case class Symbol(s: Sym) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  14. sealed trait Value extends AnyRef
    Definition Classes
    MakeSchemeLattice
  15. case class Vec[Addr](size: I, elements: Map[I, Addr], init: Addr)(implicit evidence$12: Address[Addr]) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  16. case class VectorAddress[Addr](a: Addr)(implicit evidence$13: Address[Addr]) extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice

Value Members

  1. object Bot extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  2. object L
    Definition Classes
    MakeSchemeLattice
  3. object Nil extends Value with Product with Serializable
    Definition Classes
    MakeSchemeLattice
  4. val False: Bool
    Definition Classes
    MakeSchemeLattice
  5. val True: Bool
    Definition Classes
    MakeSchemeLattice
  6. val boolAndMonoid: Monoid[Boolean]
    Definition Classes
    MakeSchemeLattice
  7. val boolOrMonoid: Monoid[Boolean]
    Definition Classes
    MakeSchemeLattice
  8. val isSchemeLattice: IsSchemeLattice[L] { ... /* 2 definitions in type refinement */ }
    Definition Classes
    MakeSchemeLattice → SchemeLattice
  9. val isSchemeLatticeValue: IsSchemeLattice[Value]
    Definition Classes
    MakeSchemeLattice
  10. implicit val lsetMonoid: Monoid[L]
    Definition Classes
    MakeSchemeLattice
  11. implicit def mayFailMonoid[A](implicit monoid: Monoid[A]): Monoid[MayFail[A]]
    Definition Classes
    MakeSchemeLattice
  12. implicit def setMonoid[A]: Monoid[Set[A]]
    Definition Classes
    MakeSchemeLattice