Implements NeoHaskell INTEGRATION modules under Integrations/ for a context, in the GREEN phase when a verified integration node (outbound or inbound) needs code. Covers three patterns: outbound per-trigger (nullary marker type, EntityOf instance, pure…
Implements a NeoHaskell QUERY / read-model module at Queries/Name.hs — the record, Json and ToSchema instances, canAccess and canView auth functions, the deriveQuery macro, and a hand-written QueryOf instance whose combine returns Update, NoOp, or Delete. Use…
The NeoHaskell COLLECTIONS cheatsheet for concrete data-structure operations: Array (no filter — use takeIf/dropIf; get returns Maybe; foldl is element-first left fold for replays), Map (set/get/contains/remove; reduce takes acc first), Text…
Designs an Event Modeling blueprint for a NeoHaskell feature and appends it ADDITIVELY to the project's event-model.json — a submodel, chapters, slices, and command/event/query/integration nodes plus edges — creating the file if absent and staying compliant…
Implements a NeoHaskell COMMAND module at Commands/Name.hs — the record, getEntityId, a three-argument decide function, EntityOf and TransportsOf type instances, and the command TH macro. Use in the GREEN phase after neohaskell-domain-modeling stubbed the…
Implements a NeoHaskell EVENT: creates the payload module Events/Name.hs (in-file type always named Event), adds the variant to the context Event.hs ADT, extends getEventEntityId with a new branch, and adds the matching case to the Entity.hs update fold. Use…
The NeoHaskell `neo` CLI subcommand-and-flag reference. Use when the user needs to know WHICH `neo` subcommand and flags to run for a tooling intent: building, running, testing, scaffolding (neo new, library vs app), locking domain files, opening the IDE, or…
Explains NeoHaskell's DEPLOYED-CODE IMMUTABILITY model and how to change a frozen domain file: the .locked-files manifest, how neo lock and the neo build pre-build gate freeze every file under Commands/ Events/ Queries/, and the exact V-BUMP rule (change…