Packages

case class LeanCodeGen(parser: LeanParser) extends Product with Serializable

Linear Supertypes
Serializable, Product, Equals, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LeanCodeGen
  2. Serializable
  3. Product
  4. Equals
  5. AnyRef
  6. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new LeanCodeGen(parser: LeanParser)

Value Members

  1. val base: Path
  2. def defMapCode: Apply
  3. def defTaskMapCode: Apply
  4. val header: String
  5. def indCode(m: TermIndMod): Apply
  6. def indMapCode: Apply
  7. def indTaskMapCode: Apply
  8. def memo(): Unit
  9. def memoObj: Object
  10. val parser: LeanParser
  11. def productElementNames: Iterator[String]
    Definition Classes
    Product
  12. def save(): Unit
  13. def vecCode(v: Vector[Term]): Apply
  14. def writeDefn(name: Name, code: Term): Unit
  15. def writeInduc(name: Name, ind: TermIndMod): Unit