package worksheets
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- class DecorationWorksheetPublisher extends WorksheetPublisher
-
class
MdocClassLoader extends ClassLoader
ClassLoader that is used to reflectively invoke mdoc for worksheet evaluation.
ClassLoader that is used to reflectively invoke mdoc for worksheet evaluation.
This classloader exists in order to support Scala 2.11/2.12/2.13 for evaluating worksheets. The classes in the
mdoc.interfacesare Java-only, allowing the Metals server to call mdoc instances from different Scala versions. -
class
WorksheetProvider extends Cancelable
Implements interactive worksheets for "*.worksheet.sc" file extensions.
Implements interactive worksheets for "*.worksheet.sc" file extensions.
Code is evaluated on file save using mdoc: https://scalameta.org/mdoc/
- trait WorksheetPublisher extends AnyRef
- class WorkspaceEditWorksheetPublisher extends WorksheetPublisher
Value Members
- object MdocEnrichments
- object WorksheetProvider
- object WorkspaceEditWorksheetPublisher