pms-domain-service: pms-domain-service
Modules
[Index] [Quick Jump]
- PMS
- Domain
- Service
- App
- DM
- DS
- PMS.Domain.Service.DS.Core
- State
- PMS.Domain.Service.DS.State.Run
- PMS.Domain.Service.DS.State.Run.PromptsGet
- PMS.Domain.Service.DS.State.Run.PromptsList
- PMS.Domain.Service.DS.State.Run.ResourcesList
- PMS.Domain.Service.DS.State.Run.ResourcesRead
- PMS.Domain.Service.DS.State.Run.ResourcesTemplatesList
- PMS.Domain.Service.DS.State.Run.ToolsCall
- PMS.Domain.Service.DS.State.Run.ToolsList
- PMS.Domain.Service.DS.State.Start
- PMS.Domain.Service.DS.State.Stop
- PMS.Domain.Service.DS.State.Run
- PMS.Domain.Service.DS.Utility
- Service
- Domain
Downloads
- pms-domain-service-0.0.6.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.0.1.0, 0.0.2.0, 0.0.3.0, 0.0.4.0, 0.0.5.0, 0.0.6.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | aeson, base (>=4.18 && <5), bytestring, conduit, data-default, directory, fast-logger, filepath, lens, monad-logger, mtl, mustache, network-uri, pms-domain-model, safe-exceptions, stm, template-haskell, text, transformers, unordered-containers [details] |
| License | Apache-2.0 |
| Copyright | 2025-2026 phoityne.hs@gmail.com |
| Author | phoityne.hs@gmail.com |
| Maintainer | phoityne.hs@gmail.com |
| Category | AI |
| Home page | https://github.com/phoityne/pms-domain-service |
| Bug tracker | https://github.com/phoityne/pms-domain-service/issues |
| Uploaded | by phoityne_hs at 2025-07-19T05:22:25Z |
| Distributions | |
| Downloads | 18 total (13 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2025-07-19 [all 1 reports] |
Readme for pms-domain-service-0.0.6.0
[back to package description]pms-domain-service
pms-domain-service is one of the internal packages that make up the pty-mcp-server project.
It defines the state-managed core application logic, serving as the foundation of the system’s behavior and lifecycle management.
This package models the application as an explicit state machine, where domain operations are defined in terms of transitions between well-typed states.
To achieve this, it leverages Generalized Algebraic Data Types (GADTs) to encode state transitions and enforce correctness at the type level.
The design enables the domain to maintain strict control over valid operations, lifecycle invariants, and business rules.
Though it follows the State Pattern in structure, the emphasis is on ensuring a predictable, evolvable, and verifiable control flow within the domain.
By isolating this logic from UI and infrastructure concerns, pms-domain-service functions as the core domain layer, managing the internal state of the application in a controlled and testable manner.
Package Structure
Module Structure
