datatypes

Documentation

Index

• Constants
• type EditorContent
• type ErrorInstance
• type REPLCommand

Constants

const EditorContentKind = "EditorContent"

const ErrorInstanceKind = "Error"

const REPLCommandKind = "REPLCommand"

Types

type EditorContent

type EditorContent struct {
	UID       string `json:"uid"`
	Timestamp int64  `json:"timestamp"`
	Content   string `json:"content"`
}

type ErrorInstance

type ErrorInstance struct {
	UID         string `json:"uid"`
	Timestamp   int64  `json:"timestamp"`
	Description string `json:"description"`
}

type REPLCommand

type REPLCommand struct {
	UID       string `json:"uid"`
	Timestamp int64  `json:"timestamp"`
	Command   string `json:"command"`
}