Packages

case class MantleRoutes()(implicit cc: castor.Context, log: Logger) extends Routes with Product with Serializable

Linear Supertypes
Serializable, Product, Equals, Routes, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MantleRoutes
  2. Serializable
  3. Product
  4. Equals
  5. Routes
  6. AnyRef
  7. 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 MantleRoutes()(implicit cc: castor.Context, log: Logger)

Value Members

  1. def caskMetadata: RoutesEndpointsMetadata[MantleRoutes.this.type]
    Definition Classes
    Routes
  2. def decorators: Seq[Decorator[_, _, _]]
    Definition Classes
    Routes
  3. def docsRoute(): String
    Annotations
    @staticFiles("/docs", endpoints.this.staticFiles.<init>$default$2)
  4. def fiddle(): Response[String]
    Annotations
    @get("/scripts/index.html", endpoints.this.get.<init>$default$2)
  5. val fiddleHTML: String
  6. def getResource(segs: Seq[String]): String
  7. def getResourceBin(segs: Seq[String]): Array[Byte]
  8. def image(request: Request): Response[Array[Byte]]
    Annotations
    @get("/images", true)
  9. def index(): Response[String]
    Annotations
    @get("/index.html", endpoints.this.get.<init>$default$2)
  10. val indexHTML: String
  11. def interactiveProver(): Response[String]
    Annotations
    @get("/interactive-prover.html", endpoints.this.get.<init>$default$2)
  12. val interactiveProverHTML: String
  13. def leanlib(): Response[String]
    Annotations
    @get("/leanlib.html", endpoints.this.get.<init>$default$2)
  14. val leanlibHTML: String
  15. def productElementNames: Iterator[String]
    Definition Classes
    Product
  16. def prover(): Response[String]
  17. val proverHTML: String
  18. def proverSocket(): TaskSocket
    Annotations
    @websocket("/prover-websock", endpoints.this.websocket.<init>$default$2)
  19. def public(request: Request): Response[String]
    Annotations
    @get("/resources", true)
  20. def repl(request: Request): String
    Annotations
    @post("/scripts/kernel", endpoints.this.post.<init>$default$2)
  21. def root(): Response[String]
    Annotations
    @get("/", endpoints.this.get.<init>$default$2)
  22. def seek(): String
    Annotations
    @post("/monoid-proof", endpoints.this.post.<init>$default$2)
  23. def sendProof(channel: WebSocketChannel): Unit
  24. def showUserProfile(): WebsocketResult
    Annotations
    @websocket("/monoid-websock", endpoints.this.websocket.<init>$default$2)
  25. def site(request: Request): String
    Annotations
    @route("build", scala.collection.immutable.Seq.apply[String]("get", "post"), endpoints.this.route.<init>$default$3)
  26. def trySite(): String