Closed fumieval closed 9 years ago
Added a general plan-to-machine combinator:
preplan :: Monad m => PlanT k o m (MachineT m k o) -> MachineT m k o construct m = preplan (stopped <$ m) repeatedly m = preplan (repeatedly m <$ m) before n m = preplan (n <$ m)
Interesting idea.
Added a general plan-to-machine combinator: