Control.Plan.Core

data Plan s w m i o

data Steps s w

data Mandatoriness

foldSteps

foldSteps'

bimapSteps

zoomSteps

hoistPlan

data Tick'

getSteps

mandatoriness

step

skippable

foretell

plan

planIO

planK

planKIO

zipSteps'

zipSteps

tickToForest

contextToForest

completedToForest

pendingToForest

skippedToForest

unliftPlan

unliftPlanK

data Timeline s t

instants

foldTimeline

foldTimeline'

data Context s t

data Tick s t

data Progress s t

onTick

runPlan

runPlanK

data RunState s t

class Lasagna l

inheritTree

foldTree'