Add skeletons for function implementations

byg/src/Evaluation/Function.hs

@@ -5,4 +5,12 @@ module Evaluation.Function
 import Types (Function(..), Value(..))
 
 evalFunction :: Function -> Value -> Value
-evalFunction = undefined
+evalFunction f x = case (f, x) of
+  (IsImageFilename, String _) ->
+    Bool undefined
+
+  (ConvertedImageFilename, String _) ->
+    String undefined
+
+  _ ->
+    error "unexpected combination of function and argument type"

byg/src/Evaluation/FunctionIO.hs

@@ -5,4 +5,21 @@ module Evaluation.FunctionIO
 import Types (FunctionIO(..), Value(..))
 
 evalFunctionIO :: FunctionIO -> Value -> IO Value
-evalFunctionIO = undefined
+evalFunctionIO f x = case (f, x) of
+  (ListDirectory, String _) ->
+    pure $ List undefined
+
+  (ReadTemplate, String _) ->
+    pure $ Template undefined
+
+  (ConvertImage, Tuple (Tuple (String _, String _), ImageConversionSettings _)) ->
+    pure $ Empty
+
+  (SaveFile, Tuple (String _, String _)) ->
+    pure $ Empty
+
+  (RunPandoc, String _) ->
+    pure $ String undefined
+
+  _ ->
+    error "unexpected combination of function and argument type"

byg/src/Types/Value.hs

@@ -8,7 +8,12 @@ import Types.Values
 import Language.Haskell.TH.Syntax (Lift)
 
 data Value = String String
+           | Bool Bool
            | ImageConversionSettings ImageConversionSettings
+           | Template Template
+           | Empty
+           | Tuple (Value, Value)
+           | List [Value]
   deriving (Show, Lift)
 
 class Valuable a where

byg/src/Types/Values.hs

@@ -13,5 +13,5 @@ data TemplatePart = Literal String
                   | KeyValue String
   deriving (Show, Lift)
 
-data Template = Template [TemplatePart]
+data Template = TemplateParts [TemplatePart]
   deriving (Show, Lift)