Implement initial service, power, and network primitives #9

Closed
opened 2026-06-06 14:02:49 +02:00 by yorunikakeru · 0 comments
Owner

Parent: #2

Goal

Implement the built-in actions and policies required by current README examples.

Tasks

  • Service actions: enable and disable named services.
  • Power action: set a typed power profile such as Performance.
  • Network/service policies: allowPorts, port, fallback, and nextAvailablePort.
  • Smart constructors that hide root and domain IR constructors.
  • Domain value types for service names and valid port numbers.

Acceptance criteria

  • All action and policy examples in README type-check.
  • Builder output maps unambiguously to domain IR nodes.
  • Primitive constructors contain no runtime decision logic.
  • Fallback remains declarative and is interpreted by FrogOS.
Parent: #2 ## Goal Implement the built-in actions and policies required by current README examples. ## Tasks - Service actions: enable and disable named services. - Power action: set a typed power profile such as `Performance`. - Network/service policies: `allowPorts`, `port`, `fallback`, and `nextAvailablePort`. - Smart constructors that hide root and domain IR constructors. - Domain value types for service names and valid port numbers. ## Acceptance criteria - All action and policy examples in README type-check. - Builder output maps unambiguously to domain IR nodes. - Primitive constructors contain no runtime decision logic. - Fallback remains declarative and is interpreted by FrogOS.
Sign in to join this conversation.
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
FrogOS/DSL#9
No description provided.