OPENFPDocsall docsSearch names, modules, packages, or :: a typeCtrl K

GHC 9.10.3

Package0.1.0

milestone-dsl

Forge-wide milestones: the theory, its values, its model and its pure interpreter

Modules

4 modules
  • Milestone.Effects24The milestone theory, and the scope a milestone program is elaborated
  • Milestone.Model20Forge-wide milestones as pure state. Every operation is total; one
  • Milestone.Pure2The milestone theory folded over the pure Model. Each verb is the
  • Milestone.Types19The values the milestone language speaks. Each has Read and Show,

Description

A milestone is a plan: a title, a markdown description, an optional due date and a set of member refs (ns/proj#N for an issue, ns/proj!N for a merge request, the namespace possibly nested). Its progress is the share of its members that are done. Milestone.Types holds the values, which cross the wire as show-rendered Haskell; Milestone.Model is the pure state and its total operations; Milestone.Effects declares the Milestones theory with makeSem and is the scope a program is elaborated in; Milestone.Pure folds a program over the model, every refusal a MilestoneError.

Depends on

3 packages

Used by in this set · 1