api

type CreateTodo struct {
	// Details The longer rich text content of the TODO item.
	Details *string `json:"details,omitempty"`

	// GroupId The workspace this TODO should be created in
	GroupId *string `json:"group_id,omitempty"`

	// Title The title of the TODO item.
	Title string `json:"title"`
}

type CreateTodo201JSONResponse Todo

type CreateTodo400JSONResponse struct {
	StandardBadRequestProblemJSONResponse
}

type CreateTodo404JSONResponse struct {
	StandardNotFoundProblemJSONResponse
}

type CreateTodoJSONRequestBody = CreateTodo

type CreateTodoRequestObject struct {
	WorkspaceId string `json:"workspaceId"`
	Body        *CreateTodoJSONRequestBody
}

type CreateTodoResponseObject interface {
	VisitCreateTodoResponse(w http.ResponseWriter) error
}

type CreateTododefaultJSONResponse struct {
	Body       Problem
	StatusCode int
}

type DefaultJsonSerializer struct {
}

type DeleteTodo204Response struct {
}

type DeleteTodo400JSONResponse struct {
	StandardBadRequestProblemJSONResponse
}

type DeleteTodo404JSONResponse struct {
	StandardNotFoundProblemJSONResponse
}

type DeleteTodoRequestObject struct {
	WorkspaceId string `json:"workspaceId"`
	TodoId      string `json:"todoId"`
}

type DeleteTodoResponseObject interface {
	VisitDeleteTodoResponse(w http.ResponseWriter) error
}

type DeleteTododefaultJSONResponse struct {
	Body       Problem
	StatusCode int
}

type EchoRouter interface {
	CONNECT(path string, h echo.HandlerFunc, m ...echo.MiddlewareFunc) *echo.Route
	DELETE(path string, h echo.HandlerFunc, m ...echo.MiddlewareFunc) *echo.Route
	GET(path string, h echo.HandlerFunc, m ...echo.MiddlewareFunc) *echo.Route
	HEAD(path string, h echo.HandlerFunc, m ...echo.MiddlewareFunc) *echo.Route
	OPTIONS(path string, h echo.HandlerFunc, m ...echo.MiddlewareFunc) *echo.Route
	PATCH(path string, h echo.HandlerFunc, m ...echo.MiddlewareFunc) *echo.Route
	POST(path string, h echo.HandlerFunc, m ...echo.MiddlewareFunc) *echo.Route
	PUT(path string, h echo.HandlerFunc, m ...echo.MiddlewareFunc) *echo.Route
	TRACE(path string, h echo.HandlerFunc, m ...echo.MiddlewareFunc) *echo.Route
}

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

type GetHealthZ200JSONResponse HealthZ

type GetHealthZRequestObject struct {
}

type GetHealthZResponseObject interface {
	VisitGetHealthZResponse(w http.ResponseWriter) error
}

type GetHealthZdefaultJSONResponse struct {
	Body       Problem
	StatusCode int
}

type GetTodo200JSONResponse Todo

type GetTodo400JSONResponse struct {
	StandardBadRequestProblemJSONResponse
}

type GetTodo404JSONResponse struct {
	StandardNotFoundProblemJSONResponse
}

type GetTodoRequestObject struct {
	WorkspaceId string `json:"workspaceId"`
	TodoId      string `json:"todoId"`
}

type GetTodoResponseObject interface {
	VisitGetTodoResponse(w http.ResponseWriter) error
}

type GetTododefaultJSONResponse struct {
	Body       Problem
	StatusCode int
}

type HealthZ = map[string]interface{}

type ListTodos200JSONResponse TodoPage

type ListTodos400JSONResponse struct {
	StandardBadRequestProblemJSONResponse
}

type ListTodos404JSONResponse struct {
	StandardNotFoundProblemJSONResponse
}

type ListTodosParams struct {
	// Page The page token to request.
	Page *string `form:"page,omitempty" json:"page,omitempty"`

	// PageSize The page size to limit the response to.
	PageSize *int `form:"page_size,omitempty" json:"page_size,omitempty"`

	// Status Filter by a status.
	Status *string `form:"status,omitempty" json:"status,omitempty"`

	// SortUpdatedAt Sort by updated at
	SortUpdatedAt *ListTodosParamsSortUpdatedAt `form:"sort_updated_at,omitempty" json:"sort_updated_at,omitempty"`
}

type ListTodosParamsSortUpdatedAt string

type ListTodosRequestObject struct {
	WorkspaceId string `json:"workspaceId"`
	Params      ListTodosParams
}

type ListTodosResponseObject interface {
	VisitListTodosResponse(w http.ResponseWriter) error
}

type ListTodosdefaultJSONResponse struct {
	Body       Problem
	StatusCode int
}

type Problem struct {
	// Detail A longer human-readable explanation specific to this occurrence of the Problem.
	Detail string `json:"detail"`

	// Instance A URI reference that identifies the specific occurrence of the Problem.
	Instance *string `json:"instance,omitempty"`

	// Status The HTTP status code generated by the origin server for this occurrence of the Problem.
	Status int `json:"status"`

	// Title A short human-readable summary of the problem type.
	Title string `json:"title"`

	// Type A URI reference that identifies the problem type or class.
	Type string `json:"type"`
}

type Server struct {
	Database model.Modelling
}

type ServerInterface interface {
	// Get the health status of the TODOs application
	// (GET /healthz)
	GetHealthZ(ctx echo.Context) error
	// List TODOs in the current workspace.
	// (GET /workspace/{workspaceId}/todos)
	ListTodos(ctx echo.Context, workspaceId string, params ListTodosParams) error
	// Create a new TODO in the workspace.
	// (POST /workspace/{workspaceId}/todos)
	CreateTodo(ctx echo.Context, workspaceId string) error
	// Delete a TODO item by id.
	// (DELETE /workspace/{workspaceId}/todos/{todoId})
	DeleteTodo(ctx echo.Context, workspaceId string, todoId string) error
	// Get a TODO item by id.
	// (GET /workspace/{workspaceId}/todos/{todoId})
	GetTodo(ctx echo.Context, workspaceId string, todoId string) error
}

type ServerInterfaceWrapper struct {
	Handler ServerInterface
}

type StandardBadRequestProblem = Problem

type StandardBadRequestProblemJSONResponse Problem

type StandardNotFoundProblem = Problem

type StandardNotFoundProblemJSONResponse Problem

type StandardProblemResponse = Problem

type StandardProblemResponseJSONResponse Problem

type StrictHandlerFunc = strictecho.StrictEchoHandlerFunc

type StrictMiddlewareFunc = strictecho.StrictEchoMiddlewareFunc

type StrictServerInterface interface {
	// Get the health status of the TODOs application
	// (GET /healthz)
	GetHealthZ(ctx context.Context, request GetHealthZRequestObject) (GetHealthZResponseObject, error)
	// List TODOs in the current workspace.
	// (GET /workspace/{workspaceId}/todos)
	ListTodos(ctx context.Context, request ListTodosRequestObject) (ListTodosResponseObject, error)
	// Create a new TODO in the workspace.
	// (POST /workspace/{workspaceId}/todos)
	CreateTodo(ctx context.Context, request CreateTodoRequestObject) (CreateTodoResponseObject, error)
	// Delete a TODO item by id.
	// (DELETE /workspace/{workspaceId}/todos/{todoId})
	DeleteTodo(ctx context.Context, request DeleteTodoRequestObject) (DeleteTodoResponseObject, error)
	// Get a TODO item by id.
	// (GET /workspace/{workspaceId}/todos/{todoId})
	GetTodo(ctx context.Context, request GetTodoRequestObject) (GetTodoResponseObject, error)
}

type Todo struct {
	// Details The longer rich text content of the TODO item.
	Details  *string      `json:"details,omitempty"`
	Metadata TodoMetadata `json:"metadata"`

	// Status The current status of the TODO item.
	Status string `json:"status"`

	// Title The title of the TODO item.
	Title string `json:"title"`
}

type TodoMetadata struct {
	// CreatedAt The time that the TODO item was first created.
	CreatedAt time.Time `json:"created_at"`

	// Epoch A unique epoch for this TODO item.
	Epoch int `json:"epoch"`

	// GroupEpoch The epoch of the workspace this TODO item is tied to.
	GroupEpoch int `json:"group_epoch"`

	// GroupId The workspace this TODO item exists in
	GroupId string `json:"group_id"`

	// Id A unique identifier for this TODO item.
	Id string `json:"id"`

	// Revision A monotonic revision number associated with this TODO item.
	Revision int `json:"revision"`

	// UpdatedAt The time that the TODO item was last updated.
	UpdatedAt time.Time `json:"updated_at"`

	// WorkspaceEpoch The epoch of the workspace this TODO item is tied to.
	WorkspaceEpoch int `json:"workspace_epoch"`

	// WorkspaceId The workspace this TODO item exists in
	WorkspaceId string `json:"workspace_id"`
}

type TodoPage struct {
	Items          []Todo  `json:"items"`
	NextPageToken  *string `json:"next_page_token,omitempty"`
	RemainingItems int     `json:"remaining_items"`
}