Data.Machine.Type

Machines

data MachineT m k o

data Step k o r

type Machine k o

runT_

runT

run

runMachine

encased

Building machines from plans

construct

repeatedly

unfoldPlan

before

preplan

Deconstructing machines back into plans

deconstruct

tagDone

finishWith

Reshaping machines

fit

fitM

pass

starve

stopped

stepMachine

Applicative Machines

class Appliance k