avail/avail.anvil.views

Package-level declarations

Types

class CreateRootView(val projectDirectory: String, val onCreate: (AvailProjectRoot) -> Unit, val onCancel: () -> Unit) : JFrame

The JFrame used to create a new root.

class PhraseView(val workbench: AvailWorkbench, onClose: () -> Unit) : WorkbenchFrame

The panel for examining a module's phrase structures.

The panel for a module's structure view that lists the top level ModuleManifestEntrys.