Migrate all FunctionIO

byg/src/ComputationM.hs

@@ -1,17 +1,14 @@
 {-# LANGUAGE GADTs #-}
 module ComputationM where
 
+import Types
+import Sources
+import Functions
+
 import Unsafe.Coerce (unsafeCoerce)
 import Control.Monad.State
 import Control.Monad.Writer
 
-import Functions
-import Sources
-
-
-data ComputationRun a b = ComputationRun (Function a b)
-                        | ComputationRunIO (FunctionIO a b)
-
 
 
 data TypedRun a b where
@@ -77,6 +74,9 @@ runIO f input = genDependency (Dependency input (FIO f))
 
 listDirectory = runIO ListDirectory
 openImage = runIO OpenImage
+convertImage = runIO ConvertImage
+saveFile = runIO SaveFile
+runPandoc = runIO RunPandoc
 
 
 makeTraversable :: Token TokenNotTraversable [a] -> Token TokenTraversable (Token TokenNotTraversable a)