Core types: SystemState и Plan #4

New issue

Closed

opened 2026-06-15 13:21:49 +02:00 by yorunikakeru · 0 comments

yorunikakeru commented

2026-06-15 13:21:49 +02:00

Owner

Определить Haskell-типы для FFI-контрактов между Rust и Haskell ядром.

Контракты

-- Rust -> Haskell (через FFI)
data SystemState = SystemState
  { runningProcesses :: [Text]
  , activeServices   :: [Text]
  , powerProfile     :: Text
  } deriving (Generic, FromJSON, ToJSON)

-- Haskell -> Rust (через FFI)
newtype Plan = Plan { steps :: [(Action, Undo)] }
  deriving (Generic, ToJSON, FromJSON)

data PlanError
  = ConflictingActions Text
  | UnknownService Text
  | InternalError Text
  deriving (Generic, ToJSON, Show)

Где живут

Модуль Planner.Types в src/.
Форматы JSON версионированные (поле version).

Acceptance

Типы компилируются
Round-trip aeson тесты для SystemState и Plan

Определить Haskell-типы для FFI-контрактов между Rust и Haskell ядром. ## Контракты ```haskell -- Rust -> Haskell (через FFI) data SystemState = SystemState { runningProcesses :: [Text] , activeServices :: [Text] , powerProfile :: Text } deriving (Generic, FromJSON, ToJSON) -- Haskell -> Rust (через FFI) newtype Plan = Plan { steps :: [(Action, Undo)] } deriving (Generic, ToJSON, FromJSON) data PlanError = ConflictingActions Text | UnknownService Text | InternalError Text deriving (Generic, ToJSON, Show) ``` ## Где живут Модуль `Planner.Types` в `src/`. Форматы JSON версионированные (поле `version`). ## Acceptance - Типы компилируются - Round-trip aeson тесты для SystemState и Plan

yorunikakeru added the

haskell

core

labels

2026-06-15 13:21:49 +02:00

yorunikakeru referenced this issue from FrogOS/Toad

2026-06-15 13:23:06 +02:00

Observation probes: процессы, CPU load и battery state #3

yorunikakeru referenced this issue from FrogOS/Toad

2026-06-15 13:23:15 +02:00

SystemState: агрегация полного snapshot и публикация Planner #4

yorunikakeru referenced this issue from a pull request that will close it,