Modulemilestone-dsl-0.1.0GHC2024

Milestone.Pure

The milestone theory folded over the pure Model. Each verb is the model operation of its name less the Milestone noun a program's scope needs (createMilestone is create, progress is progress), the two readers aside: getMilestone and listMilestones are milestone and milestones. A refusal is thrown as the MilestoneError the model gave.

2 values

Packagemilestone-dsl-0.1.0
Exports2
LanguageGHC2024
LicenceMIT
SourcePure.hs

valuerunMilestonesPure

:: String
-> String
-> Sem (Milestones ': r) a
-> Sem (State Model ': Error MilestoneError ': r) a

Interprets Milestones as State over the Model, refusing through Error. The author and the creation time stamp every milestone the program creates: one run is one caller at one moment.

valuefoldMilestones

:: String
-> String
-> Model
-> Sem '[Milestones] a
-> Either MilestoneError (Model, a)

Runs a whole program from a model, giving the model it leaves and its result. A refusal ends the program and keeps none of what it changed.