Packages

object Site

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Site
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. case class Post(name: String, content: String, optDate: Option[(Int, Int, Int)], optTitle: Option[String]) extends Product with Serializable
  2. case class Tut(name: String, rawContent: String, optTitle: Option[String]) extends Product with Serializable

Value Members

  1. def allPosts: Seq[Post]
  2. def allTuts: Vector[Tut]
  3. def body(l: Vector[String]): Vector[String]
  4. def dateOpt(l: Vector[String]): Option[(Int, Int, Int)]
  5. def filename(s: String): String
  6. def foot(relDocsPath: String): String
  7. def fromMD(s: String): String
  8. def getPost(p: Path): Post
  9. def getTut(p: Path): Tut
  10. def gitHash: String
  11. lazy val gitrep: String
  12. def head(relDocsPath: String, t: String): String
  13. def home: String
  14. def main(args: Array[String]): Unit
  15. val mathjax: String
  16. def mkDocTuts(): Int
  17. def mkDocs(): CommandResult
  18. def mkHome(): Unit
  19. def mkLists(): Unit
  20. def mkPosts(): Unit
  21. def mkSite(): Unit
  22. def mkTuts(): Unit
  23. def nav(relDocsPath: String = ""): Elem
  24. def notesList(relDocsPath: String): Seq[Elem]
  25. def page(s: String, relDocsPath: String, t: String = "ProvingGround", haltButton: Boolean = false): String
  26. def postList(relDocsPath: String): Seq[Elem]
  27. def postsDir: Path
  28. def threeDash(s: String): Boolean
  29. def titleOpt(l: Vector[String]): Option[String]
  30. def topmatter(lines: Vector[String]): Option[Vector[String]]
  31. def tutList(relDocsPath: String): Vector[Elem]
  32. def withTop(l: Vector[String]): Boolean