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

kplan

kplanIO

zipSteps'

zipSteps

completedness

contextCompletedness

adapt

progressCompletedness

unliftPlan

unliftKPlan

data Timeline s t

instants

foldTimeline

foldTimeline'

data Context s t

data Tick s t

data Progress s t

onTick

runPlan

runKPlan

data RunState s t

class Sylvan l