Merge pull request #108 from kirill-markin/codex/split-ios-domain-types

Split iOS flashcards domain types

Author: kirill-markin

apps/android/app/src/main/java/com/flashcardsopensourceapp/app/navigation/TopLevelDestinations.kt

@@ -13,7 +13,7 @@ import com.flashcardsopensourceapp.app.R
 /*
  Keep Android navigation destinations aligned with:
  - apps/web/src/routes.ts
- - apps/ios/Flashcards/Flashcards/FlashcardsTypes.swift
+ - apps/ios/Flashcards/Flashcards/App/AppNavigationTypes.swift
  */
 
 sealed interface TopLevelDestination {

apps/android/data/local/src/main/java/com/flashcardsopensourceapp/data/local/model/FlashcardsModels.kt

@@ -3,7 +3,14 @@ package com.flashcardsopensourceapp.data.local.model
 /*
  Keep these shared data contracts aligned with:
  - apps/web/src/types.ts
- - apps/ios/Flashcards/Flashcards/FlashcardsTypes.swift
+ - apps/ios/Flashcards/Flashcards/Cards/CardDeckTypes.swift
+ - apps/ios/Flashcards/Flashcards/Cards/CardDeckSnapshotTypes.swift
+ - apps/ios/Flashcards/Flashcards/Cards/TagTypes.swift
+ - apps/ios/Flashcards/Flashcards/Cloud/CloudTypes.swift
+ - apps/ios/Flashcards/Flashcards/Cloud/Sync/CloudSyncTypes.swift
+ - apps/ios/Flashcards/Flashcards/Database/WorkspaceLocalTypes.swift
+ - apps/ios/Flashcards/Flashcards/Review/FsrsTypes.swift
+ - apps/ios/Flashcards/Flashcards/Review/ReviewTypes.swift
  */
 
 data class WorkspaceSummary(
@@ -363,7 +370,7 @@ data class PersistedOutboxEntry(
     val operation: SyncOperation
 )
 
-// Keep in sync with apps/backend/src/schedule.ts::FsrsCardState, apps/web/src/types.ts::FsrsCardState, and apps/ios/Flashcards/Flashcards/FlashcardsTypes.swift::FsrsCardState.
+// Keep in sync with apps/backend/src/schedule.ts::FsrsCardState, apps/web/src/types.ts::FsrsCardState, and apps/ios/Flashcards/Flashcards/Review/FsrsTypes.swift::FsrsCardState.
 enum class FsrsCardState {
     NEW,
     LEARNING,
@@ -401,7 +408,7 @@ data class DeckSummary(
     val updatedAtMillis: Long
 )
 
-// Keep in sync with apps/backend/src/workspaceSchedulerSettings.ts::WorkspaceSchedulerSettings, apps/web/src/types.ts::WorkspaceSchedulerSettings, and apps/ios/Flashcards/Flashcards/FlashcardsTypes.swift::WorkspaceSchedulerSettings.
+// Keep in sync with apps/backend/src/workspaceSchedulerSettings.ts::WorkspaceSchedulerSettings, apps/web/src/types.ts::WorkspaceSchedulerSettings, and apps/ios/Flashcards/Flashcards/Review/FsrsTypes.swift::WorkspaceSchedulerSettings.
 data class WorkspaceSchedulerSettings(
     val workspaceId: String,
     val algorithm: String,
@@ -413,7 +420,7 @@ data class WorkspaceSchedulerSettings(
     val updatedAtMillis: Long
 )
 
-// Keep in sync with apps/backend/src/cards.ts::Card, apps/web/src/types.ts::Card, and apps/ios/Flashcards/Flashcards/FlashcardsTypes.swift::Card.
+// Keep in sync with apps/backend/src/cards.ts::Card, apps/web/src/types.ts::Card, and apps/ios/Flashcards/Flashcards/Cards/CardDeckTypes.swift::Card.
 data class CardSummary(
     val cardId: String,
     val workspaceId: String,

apps/backend/src/workspaceSchedulerConfig.ts

@@ -1,6 +1,6 @@
 export type SchedulerAlgorithm = "fsrs-6";
 
-// Keep in sync with apps/ios/Flashcards/Flashcards/FlashcardsTypes.swift::WorkspaceSchedulerSettings.
+// Keep in sync with apps/ios/Flashcards/Flashcards/Review/FsrsTypes.swift::WorkspaceSchedulerSettings.
 export type WorkspaceSchedulerSettings = Readonly<{
   algorithm: SchedulerAlgorithm;
   desiredRetention: number;

apps/ios/Flashcards/Flashcards/AI/AIChatPresentationTypes.swift

@@ -0,0 +1,24 @@
+import Foundation
+
+enum AIChatPresentationRequest: Hashable, Sendable {
+    case createCard
+    case attachCard(AIChatCardReference)
+}
+
+struct AIChatCardReference: Hashable, Sendable {
+    let cardId: String
+    let frontText: String
+    let backText: String
+    let tags: [String]
+    let effortLevel: EffortLevel
+}
+
+func makeAIChatCardReference(card: Card) -> AIChatCardReference {
+    AIChatCardReference(
+        cardId: card.cardId,
+        frontText: card.frontText,
+        backText: card.backText,
+        tags: card.tags,
+        effortLevel: card.effortLevel
+    )
+}

apps/ios/Flashcards/Flashcards/App/AppNavigationTypes.swift

@@ -0,0 +1,40 @@
+import Foundation
+
+/**
+ Keep workspace navigation aligned with web and Android:
+ the primary destinations are Review, Progress, AI, Cards, and Settings.
+ Decks and tags belong under workspace settings on both platforms.
+ Web exposes account settings from the account menu, while iOS nests account
+ settings inside the Settings tab. Android keeps the same product destinations
+ in `apps/android/app/src/main/java/com/flashcardsopensourceapp/app/navigation/TopLevelDestinations.kt`,
+ with nested settings destinations in `apps/android/app/src/main/java/com/flashcardsopensourceapp/app/navigation/SettingsDestinations.kt`.
+ */
+enum AppTab: Hashable, CaseIterable, Sendable {
+    case review
+    case progress
+    case ai
+    case cards
+    case settings
+}
+
+enum SettingsNavigationDestination: Hashable, Sendable {
+    case currentWorkspace
+    case device
+    case access
+    case accessPermissionDetail(AccessPermissionKind)
+    case workspace
+    case workspaceNotifications
+    case workspaceOverview
+    case workspaceScheduler
+    case workspaceExport
+    case workspaceDecks
+    case workspaceTags
+    case account
+    case accountStatus
+    case accountLegalSupport
+    case accountOpenSource
+    case accountAdvanced
+    case accountServer
+    case accountAgentConnections
+    case accountDangerZone
+}