typespec-rust-emitter 0.10.5 → 0.10.7

package/example/lib/learning/models.tsp

@@ -1,234 +0,0 @@
-import "typespec-rust-emitter";
-import "@typespec/events";
-
-using TypeSpec.Events;
-
-namespace Mtlkms.Learning.Models {
-  // ── COMMON ─────────────────────────────────────────────────────────────────
-
-  @error
-  model ApiError {
-    @doc("Machine-readable error code.")
-    code: string;
-
-    @doc("Human-readable message.")
-    message: string;
-  }
-
-  model NotFoundError extends ApiError {
-    code: "NOT_FOUND";
-  }
-  model ValidationError extends ApiError {
-    code: "VALIDATION_ERROR";
-  }
-  model ConflictError extends ApiError {
-    code: "CONFLICT";
-  }
-
-  // ── SCALARS & ENUMS ───────────────────────────────────────────────────────
-
-  @format("uuid")
-  scalar Uuid extends string;
-
-  @pattern("^#[0-9A-Fa-f]{6}$")
-  scalar HexColor extends string;
-
-  @rustDerive("sqlx::Type")
-  @rustAttr("sqlx(type_name = \"study_status\")")
-  enum StudyStatus {
-    Starting: "Starting",
-    Paused: "Paused",
-    Stopped: "Stopped",
-  }
-
-  enum ChartGranularity {
-    Day: "day",
-    Week: "week",
-    Month: "month",
-    Year: "year",
-  }
-
-  // ── AGGREGATION MIXIN ──────────────────────────────────────────────────────
-
-  @doc("Duration statistics calculated in real-time from timelogs. Unit: seconds.")
-  model DurationStats {
-    durationTotal: int64;
-    durationDay: int64;
-    durationWeek: int64;
-    durationMonth: int64;
-  }
-
-  model CalendarHeatmapItem {
-    date: string;
-    duration: int64;
-  }
-
-  // ── MODELS: GROUP ─────────────────────────────────────────────────────────
-
-  model Group {
-    id: int64;
-    accountId: Uuid;
-    createdAt: utcDateTime;
-    deletedAt: utcDateTime | null;
-
-    @maxLength(255)
-    name: string;
-
-    @maxLength(44)
-    icon: string;
-
-    colorText: HexColor;
-    colorBg: HexColor;
-  }
-
-  @rustDerive("sqlx::FromRow")
-  model GroupStatistics {
-    ...Group;
-    subjectCount: int64;
-    status: StudyStatus;
-    ...DurationStats;
-  }
-
-  model CreateGroupBody {
-    @maxLength(255)
-    name: string;
-
-    @maxLength(44)
-    icon: string;
-
-    colorText: HexColor;
-    colorBg: HexColor;
-  }
-
-  model UpdateGroupBody {
-    @maxLength(255)
-    name?: string;
-
-    @maxLength(44)
-    icon?: string;
-
-    colorText?: HexColor;
-    colorBg?: HexColor;
-  }
-
-  // ── MODELS: SUBJECT ───────────────────────────────────────────────────────
-
-  model Subject {
-    id: int64;
-    accountId: Uuid;
-    groupId: int64;
-    createdAt: utcDateTime;
-    deletedAt: utcDateTime | null;
-
-    @maxLength(255)
-    name: string;
-
-    @maxLength(44)
-    icon: string;
-
-    colorText: HexColor;
-    colorBg: HexColor;
-  }
-
-  model SubjectStatistics {
-    ...Subject;
-    status: StudyStatus;
-    ...DurationStats;
-  }
-
-  model CreateSubjectBody {
-    @maxLength(255)
-    name: string;
-
-    @maxLength(44)
-    icon: string;
-
-    colorText: HexColor;
-    colorBg: HexColor;
-  }
-
-  model UpdateSubjectBody {
-    @maxLength(255)
-    name?: string;
-
-    @maxLength(44)
-    icon?: string;
-
-    colorText?: HexColor;
-    colorBg?: HexColor;
-  }
-
-  // ── MODELS: SESSION ───────────────────────────────────────────────────────
-
-  model Log {
-    id: int64;
-    accountId: Uuid;
-    subjectId: int64;
-    startedAt: utcDateTime;
-    stoppedAt: utcDateTime | null;
-    logContent: string | null;
-    status: StudyStatus;
-  }
-
-  model Timelog {
-    id: int64;
-    accountId: Uuid;
-    logId: int64;
-    subjectId: int64;
-    startedAt: utcDateTime;
-    stoppedAt: utcDateTime | null;
-    durationInSeconds: int64;
-  }
-
-  model LogWithTimelogs {
-    ...Log;
-    timelogs: Timelog[];
-  }
-
-  @doc("Event payload for learning data changes.")
-  model SessionEvent {
-    eventType: "session" | "session_pause" | "session_resume" | "session_stop";
-    session: LogWithTimelogs;
-  }
-
-  @doc("Event payload for group CRUD.")
-  model GroupEvent {
-    eventType: "group_created" | "group_updated" | "group_deleted";
-    group: Group;
-  }
-
-  @doc("Event payload for subject CRUD.")
-  model SubjectEvent {
-    eventType:
-      | "subject_created"
-      | "subject_updated"
-      | "subject_deleted"
-      | "subject_moved";
-    subject: Subject;
-  }
-
-  @doc("Union of all learning events for SSE.")
-  @events
-  union LearningEvents {
-    sessionEvent: SessionEvent,
-    groupEvent: GroupEvent,
-    subjectEvent: SubjectEvent,
-  }
-
-  @doc("Response after start/resume — returns the log and the newly opened timelog segment.")
-  model SessionOpenedResponse {
-    log: Log;
-    timelog: Timelog;
-  }
-
-  @doc("Response after pause/stop — returns the log and the newly closed timelog segment.")
-  model SessionClosedResponse {
-    log: Log;
-    timelog: Timelog;
-  }
-
-  @doc("Optional payload for start or stop operations — contains a note for the session.")
-  model SessionNoteBody {
-    logContent?: string;
-  }
-}

package/example/lib/learning/operations.tsp

@@ -1,364 +0,0 @@
-import "@typespec/http";
-import "@typespec/sse";
-import "./models.tsp";
-
-using TypeSpec.Http;
-using TypeSpec.SSE;
-using Mtlkms.Learning.Models;
-
-@route("/accounts/{accountId}/learning")
-namespace Mtlkms.Learning;
-
-@route("/groups")
-@tag("Groups")
-namespace Groups {
-  @get
-  @doc("Retrieve a list of all groups for the current account (from view_learning_group).")
-  op list(@path accountId: Uuid): {
-    @statusCode statusCode: 200;
-    @body body: GroupStatistics[];
-  } | {
-    @statusCode statusCode: 401;
-    @body error: ApiError;
-  };
-
-  @get
-  @route("/calendar")
-  @doc("Get calendar heatmap data for a specific group by month.")
-  op calendar(
-    @path accountId: Uuid,
-    @path groupId: Uuid,
-    @query userTimezone: string,
-    @query year: int32,
-    @query month: int32,
-  ): {
-    @statusCode statusCode: 200;
-    @body body: CalendarHeatmapItem[];
-  } | {
-    @statusCode statusCode: 401;
-    @body error: ApiError;
-  };
-
-  @post
-  @useAuth(BearerAuth)
-  @doc("Create a new group.")
-  op create(@path accountId: Uuid, @body body: CreateGroupBody): {
-    @statusCode statusCode: 201;
-    @body body: Group;
-  } | {
-    @statusCode statusCode: 400;
-    @body error: ValidationError;
-  } | {
-    @statusCode statusCode: 401;
-    @body error: ApiError;
-  };
-
-  @get
-  @route("/{id}")
-  @doc("Get the details of a group by its ID.")
-  op getById(@path accountId: Uuid, @path id: int64): {
-    @statusCode statusCode: 200;
-    @body body: GroupStatistics;
-  } | {
-    @statusCode statusCode: 401;
-    @body error: ApiError;
-  } | {
-    @statusCode statusCode: 404;
-    @body error: NotFoundError;
-  };
-
-  @patch
-  @route("/{id}")
-  @useAuth(BearerAuth)
-  @doc("Update a group. Only provide the fields that need to be changed.")
-  op update(
-    @path accountId: Uuid,
-    @path id: int64,
-    @body body: UpdateGroupBody,
-  ):
-    | {
-        @statusCode statusCode: 200;
-        @body body: Group;
-      }
-    | {
-        @statusCode statusCode: 400;
-        @body error: ValidationError;
-      }
-    | {
-        @statusCode statusCode: 401;
-        @body error: ApiError;
-      }
-    | {
-        @statusCode statusCode: 404;
-        @body error: NotFoundError;
-      };
-
-  @delete
-  @route("/{id}")
-  @useAuth(BearerAuth)
-  @doc("Soft delete a group. All subjects within the group will also be soft deleted.")
-  op delete(@path accountId: Uuid, @path id: int64): {
-    @statusCode statusCode: 204;
-  } | {
-    @statusCode statusCode: 401;
-    @body error: ApiError;
-  } | {
-    @statusCode statusCode: 404;
-    @body error: NotFoundError;
-  };
-}
-
-@route("/groups/{groupId}/subjects")
-@tag("Subjects")
-namespace Subjects {
-  @get
-  @doc("Retrieve a list of subjects for a group (from view_subject_statistics).")
-  op list(@path accountId: Uuid, @path groupId: int64): {
-    @statusCode statusCode: 200;
-    @body body: SubjectStatistics[];
-  } | {
-    @statusCode statusCode: 401;
-    @body error: ApiError;
-  } | {
-    @statusCode statusCode: 404;
-
-    @doc("The group does not exist.")
-    @body
-    error: NotFoundError;
-  };
-
-  @post
-  @useAuth(BearerAuth)
-  @doc("Create a new subject within the specified group.")
-  op create(
-    @path accountId: Uuid,
-    @path groupId: int64,
-    @body body: CreateSubjectBody,
-  ):
-    | {
-        @statusCode statusCode: 201;
-        @body body: Subject;
-      }
-    | {
-        @statusCode statusCode: 400;
-        @body error: ValidationError;
-      }
-    | {
-        @statusCode statusCode: 401;
-        @body error: ApiError;
-      }
-    | {
-        @statusCode statusCode: 404;
-        @body error: NotFoundError;
-      };
-
-  @get
-  @route("/{id}")
-  @doc("Get the details of a subject by its ID.")
-  op getById(@path accountId: Uuid, @path groupId: int64, @path id: int64): {
-    @statusCode statusCode: 200;
-    @body body: SubjectStatistics;
-  } | {
-    @statusCode statusCode: 401;
-    @body error: ApiError;
-  } | {
-    @statusCode statusCode: 404;
-    @body error: NotFoundError;
-  };
-
-  @patch
-  @route("/{id}")
-  @useAuth(BearerAuth)
-  @doc("Update a subject. Only provide the fields that need to be changed.")
-  op update(
-    @path accountId: Uuid,
-    @path groupId: int64,
-    @path id: int64,
-    @body body: UpdateSubjectBody,
-  ):
-    | {
-        @statusCode statusCode: 200;
-        @body body: Subject;
-      }
-    | {
-        @statusCode statusCode: 400;
-        @body error: ValidationError;
-      }
-    | {
-        @statusCode statusCode: 401;
-        @body error: ApiError;
-      }
-    | {
-        @statusCode statusCode: 404;
-        @body error: NotFoundError;
-      };
-
-  @delete
-  @route("/{id}")
-  @useAuth(BearerAuth)
-  @doc("Soft delete a subject.")
-  op delete(@path accountId: Uuid, @path groupId: int64, @path id: int64): {
-    @statusCode statusCode: 204;
-  } | {
-    @statusCode statusCode: 401;
-    @body error: ApiError;
-  } | {
-    @statusCode statusCode: 404;
-    @body error: NotFoundError;
-  };
-}
-
-// ── NAMESPACE: SESSIONS ───────────────────────────────────────────────────
-// State machine:
-//
-//   (none) ──start──► Starting ──pause──► Paused
-//                        ▲                  │
-//                        └────resume─────────┘
-//                        │
-//                      stop
-//                        │
-//                        ▼
-//                     Stopped
-//
-// Each start/resume operation opens a new Timelog.
-// Each pause/stop operation closes the current Timelog (sets stoppedAt and calculates durationInSeconds).
-
-@route("/subjects/{subjectId}/sessions")
-@tag("Sessions")
-namespace Sessions {
-  @post
-  @useAuth(BearerAuth)
-  @doc("""
-      Start a new study session for the subject.
-      The server creates a Log (status=Starting) and the first Timelog.
-      Returns 409 if the subject already has a session in Starting or Paused status.
-    """)
-  op start(
-    @path accountId: Uuid,
-    @path subjectId: int64,
-    @body body: SessionNoteBody,
-  ):
-    | {
-        @statusCode statusCode: 201;
-        @body body: SessionOpenedResponse;
-      }
-    | {
-        @statusCode statusCode: 401;
-        @body error: ApiError;
-      }
-    | {
-        @statusCode statusCode: 404;
-        @body error: NotFoundError;
-      }
-    | {
-        @statusCode statusCode: 409;
-
-        @doc("The subject already has an active session (status is Starting or Paused).")
-        @body
-        error: ConflictError;
-      };
-
-  @post
-  @route("/{logId}/pause")
-  @useAuth(BearerAuth)
-  @doc("""
-      Pause the currently running session (transition from Starting to Paused).
-      The server closes the current Timelog (sets stoppedAt and calculates durationInSeconds).
-      Returns 409 if the session is not in the Starting state.
-    """)
-  op pause(@path accountId: Uuid, @path subjectId: int64, @path logId: int64):
-    | {
-        @statusCode statusCode: 200;
-        @body body: SessionClosedResponse;
-      }
-    | {
-        @statusCode statusCode: 401;
-        @body error: ApiError;
-      }
-    | {
-        @statusCode statusCode: 404;
-        @body error: NotFoundError;
-      }
-    | {
-        @statusCode statusCode: 409;
-
-        @doc("The session is not in the Starting state.")
-        @body
-        error: ConflictError;
-      };
-
-  @post
-  @route("/{logId}/resume")
-  @useAuth(BearerAuth)
-  @doc("""
-      Resume a paused session (transition from Paused to Starting).
-      The server creates a new Timelog.
-      Returns 409 if the session is not in the Paused state.
-    """)
-  op resume(@path accountId: Uuid, @path subjectId: int64, @path logId: int64):
-    | {
-        @statusCode statusCode: 200;
-        @body body: SessionOpenedResponse;
-      }
-    | {
-        @statusCode statusCode: 401;
-        @body error: ApiError;
-      }
-    | {
-        @statusCode statusCode: 404;
-        @body error: NotFoundError;
-      }
-    | {
-        @statusCode statusCode: 409;
-
-        @doc("The session is not in the Paused state.")
-        @body
-        error: ConflictError;
-      };
-
-  @post
-  @route("/{logId}/stop")
-  @useAuth(BearerAuth)
-  @doc("""
-      End the session (transition from Starting or Paused to Stopped).
-      The server closes the current Timelog if it is running, and updates Log.stoppedAt.
-      Returns 409 if the session is already Stopped.
-    """)
-  op stop(
-    @path accountId: Uuid,
-    @path subjectId: int64,
-    @path logId: int64,
-    @body body: SessionNoteBody,
-  ):
-    | {
-        @statusCode statusCode: 200;
-        @body body: SessionClosedResponse;
-      }
-    | {
-        @statusCode statusCode: 401;
-        @body error: ApiError;
-      }
-    | {
-        @statusCode statusCode: 404;
-        @body error: NotFoundError;
-      }
-    | {
-        @statusCode statusCode: 409;
-
-        @doc("The session is already in the Stopped state.")
-        @body
-        error: ConflictError;
-      };
-}
-
-@route("/accounts/{accountId}")
-@tag("Account")
-namespace Accounts {
-  @get
-  @route("/events")
-  @doc("Server-Sent Events stream for learning data changes.")
-  op events(
-    @path accountId: Uuid,
-    @header accept: string = "text/event-stream",
-  ): SSEStream<LearningEvents>;
-}

package/example/output-rust/src/mod.rs

@@ -1 +0,0 @@
-mod generated;