package python
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- class AsNotebookPresenter extends AsNotebookStructurePresenter
-
class
AsNotebookStructurePresenter extends Presenter
renders MMT as Jupyter notebooks
- case class Cell(cellType: String, excecutionCount: Int, metadata: JSONObject, source: List[String], output: List[CellOutput]) extends Product with Serializable
- case class CellOutput(data: List[CellOutputPart], metadata: JSONObject, outputType: String) extends Product with Serializable
- case class CellOutputPart(mimeType: String, data: List[String]) extends Product with Serializable
- class InNotebookHTMLPresenter extends Presenter
- class JupyterKernel extends Extension
-
trait
JupyterKernelPython extends AnyRef
interface to the Python side of the Jupyter kernel (is implemented in Python)
- case class KernelSpec(displayName: String, language: String, name: String) extends Product with Serializable
- case class LanguageInfo(extension: String, mimeType: String, name: String) extends Product with Serializable
- case class Notebook(languageInfo: LanguageInfo, metadata: NotebookMetadata, format: NotebookFormat, cells: List[Cell]) extends Product with Serializable
- case class NotebookFormat(major: Int, minor: Int) extends Product with Serializable
-
class
NotebookGenerator extends ServerExtension
:notebook?THEORY returns a Jupyter notebook with a fresh theory including THEORY
-
class
NotebookImporter extends Importer
imports notebooks written with the MMT kernel by extracting the "omdoc" field inserted by the Finalize command in the REPLServer
- case class NotebookMetadata(kernelSpec: KernelSpec) extends Product with Serializable
-
class
Py4JGateway extends Extension
allows controlling MMT from Python
allows controlling MMT from Python
this only starts a Py4J server that handles the communication with python See the file mmt.py for the Python counterpart and more documentation and examples.
- case class PythonParamDict(map: List[(String, Any)]) extends Product with Serializable
-
trait
WidgetPython extends AnyRef
interface to the Python side of the Jupyter kernel (will be implemented in Python)
Value Members
- object MMTCell
- object MMTNotebook
- object Notebook extends Serializable
- object PythonParamDict extends Serializable
- object Widget