page

Documentation

Index

• func NewInstancesPage() tea.Model
• func NewOrchestratorPage(app *app.App) tea.Model
• func NewSettingsPage(app *pandoapp.App) tea.Model
• type ChatKeyMap
• type ChatLayoutMode
• type ChatPageModel
  • func NewChatPage(app *app.App) *ChatPageModel
  • func (p *ChatPageModel) BindingKeys() []key.Binding
  • func (p *ChatPageModel) FileTree() filetree.Component
  • func (p *ChatPageModel) GetSize() (int, int)
  • func (p *ChatPageModel) HasRunningGoal() bool
  • func (p *ChatPageModel) Init() tea.Cmd
  • func (p *ChatPageModel) LayoutMode() ChatLayoutMode
  • func (p *ChatPageModel) SetSize(width, height int) tea.Cmd
  • func (p *ChatPageModel) TabBar() *editor.TabBar
  • func (p *ChatPageModel) Update(msg tea.Msg) (tea.Model, tea.Cmd)
  • func (p *ChatPageModel) View() string
  • func (p *ChatPageModel) Viewer() editor.FileViewerComponent
• type EvaluatorPageModel
  • func NewEvaluatorPage(svc evaluator.Service) EvaluatorPageModel
• type LogPage
  • func NewLogsPage() LogPage
• type ModalPage
• type OrchestratorFilterMsg
• type PageChangeMsg
• type PageID
• type SnapshotPage
  • func NewSnapshotsPage(app *app.App) SnapshotPage
• type TagFilterable

Functions

func NewInstancesPage

func NewInstancesPage() tea.Model

NewInstancesPage creates a new instances browser page.

func NewOrchestratorPage

func NewOrchestratorPage(app *app.App) tea.Model

func NewSettingsPage

func NewSettingsPage(app *pandoapp.App) tea.Model

Types

type ChatKeyMap

type ChatKeyMap struct {
	ShowCompletionDialog      key.Binding
	ShowSlashCompletionDialog key.Binding
	NewSession                key.Binding
	Cancel                    key.Binding
	ToggleSidebar             key.Binding
	NextPanel                 key.Binding
	ToggleEditorChat          key.Binding
}

type ChatLayoutMode

type ChatLayoutMode int

const (
	ChatOnly ChatLayoutMode = iota
	SidebarChat
	SidebarEditor
	EditorChatSplit
	EditorChatTab
)

type ChatPageModel

type ChatPageModel struct {
	// contains filtered or unexported fields
}

func NewChatPage

func NewChatPage(app *app.App) *ChatPageModel

func (*ChatPageModel) BindingKeys

func (p *ChatPageModel) BindingKeys() []key.Binding

func (*ChatPageModel) FileTree

func (p *ChatPageModel) FileTree() filetree.Component

func (*ChatPageModel) GetSize

func (p *ChatPageModel) GetSize() (int, int)

func (*ChatPageModel) HasRunningGoal

func (p *ChatPageModel) HasRunningGoal() bool

func (*ChatPageModel) Init

func (p *ChatPageModel) Init() tea.Cmd

func (*ChatPageModel) LayoutMode

func (p *ChatPageModel) LayoutMode() ChatLayoutMode

func (*ChatPageModel) SetSize

func (p *ChatPageModel) SetSize(width, height int) tea.Cmd

func (*ChatPageModel) TabBar

func (p *ChatPageModel) TabBar() *editor.TabBar

func (*ChatPageModel) Update

func (p *ChatPageModel) Update(msg tea.Msg) (tea.Model, tea.Cmd)

func (*ChatPageModel) View

func (p *ChatPageModel) View() string

func (*ChatPageModel) Viewer

func (p *ChatPageModel) Viewer() editor.FileViewerComponent

type EvaluatorPageModel

type EvaluatorPageModel interface {
	tea.Model
	layout.Sizeable
	layout.Bindings
}

EvaluatorPageModel is the public interface for the self-improvement page.

func NewEvaluatorPage

func NewEvaluatorPage(svc evaluator.Service) EvaluatorPageModel

NewEvaluatorPage creates and returns a new self-improvement evaluator page.

type LogPage

type LogPage interface {
	tea.Model
	layout.Sizeable
	layout.Bindings
}

func NewLogsPage

func NewLogsPage() LogPage

type ModalPage

type ModalPage interface {
	HasActiveModal() bool
	ClearModals()
}

ModalPage is implemented by pages that host modal dialogs, allowing the app-level key handler to check whether a modal is active before intercepting navigation keys like Esc.

type OrchestratorFilterMsg

type OrchestratorFilterMsg struct {
	Tag string
}

OrchestratorFilterMsg asks the orchestrator page to apply a tag filter and navigate to it.

type PageChangeMsg

type PageChangeMsg struct {
	ID PageID
}

PageChangeMsg is used to change the current page

type PageID

type PageID string

const (
	ChatPage         PageID = "chat"
	LogsPage         PageID = "logs"
	SettingsPage     PageID = "settings"
	OrchestratorPage PageID = "orchestrator"
	SnapshotsPage    PageID = "snapshots"
	EvaluatorPage    PageID = "evaluator"
)

const InstancesPage PageID = "instances"

InstancesPage is the page.PageID for the instance browser.

type SnapshotPage

type SnapshotPage interface {
	tea.Model
	layout.Sizeable
	layout.Bindings
}

SnapshotPage is the public interface for the snapshots page.

func NewSnapshotsPage

func NewSnapshotsPage(app *app.App) SnapshotPage

NewSnapshotsPage creates and returns a new snapshots page.

type TagFilterable

type TagFilterable interface {
	SetFilterTag(tag string)
}

TagFilterable is implemented by pages that support tag-based task filtering.