summaryrefslogtreecommitdiff
path: root/src/Grasp
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2014-05-17 14:25:24 +1000
committerJed Barber <jjbarber@y7mail.com>2014-05-17 14:25:24 +1000
commitbf08dbac7e988e6b282b19060cfba3c8b82e3684 (patch)
tree29991ec73d743c2fd6ac0f675879893af64f1d84 /src/Grasp
parent845c5043f321365c7751eb5d8377ca62869f9f4f (diff)
sub, div instructions complete
Diffstat (limited to 'src/Grasp')
-rw-r--r--src/Grasp/Interpreter.hs31
1 files changed, 28 insertions, 3 deletions
diff --git a/src/Grasp/Interpreter.hs b/src/Grasp/Interpreter.hs
index 7d38ebd..4e9914b 100644
--- a/src/Grasp/Interpreter.hs
+++ b/src/Grasp/Interpreter.hs
@@ -235,7 +235,7 @@ addmulI f g ip = do
g' <- case argL of
x | not (all isFloat x) -> error ("Instruction " ++ (show node) ++
" has non numeric arguments")
- x -> let s = f . map (read :: String -> Float) $ x
+ x -> let s = f . (map read) $ x
in return (foldl' (\gr n -> reLabel gr n (show s)) g outN)
ip' <- updateIP ip nextLN
@@ -245,10 +245,35 @@ addmulI f g ip = do
subI :: GraspProgram -> IP -> IO (GraspProgram, IP)
-subI g ip = return (g,ip)
+subI = subdivI (\a b -> a - (sum b))
divI :: GraspProgram -> IP -> IO (GraspProgram, IP)
-divI g ip = return (g,ip)
+divI = subdivI (\a b -> a / (product b))
+
+subdivI :: (Float -> [Float] -> Float) -> GraspProgram -> IP -> IO (GraspProgram, IP)
+subdivI f g ip = do
+ let node = fst . head $ ip
+ edges = Graph.out g node
+
+ leftL = targetLabels g (getByLabel "left" edges)
+ rightL = targetLabels g (getByLabel "right" edges)
+ outN = targetNodes (getByLabel "out" edges)
+ nextLN = targetLNodes g (getByLabel "next" edges)
+
+ g' <- case (leftL, rightL) of
+ (x,_) | length x /= 1 -> error ("Instruction " ++ (show node) ++
+ " lacks a left edge")
+ (x,y) | not (all isFloat x && all isFloat y) ->
+ error ("Instruction " ++ (show node) ++
+ " has non numeric arguments")
+ (x,y) -> let s = f (read . head $ x) (map read y)
+ in return (foldl' (\gr n -> reLabel gr n (show s)) g outN)
+
+ ip' <- updateIP ip nextLN
+
+ return (g',ip')
+
+
modI :: GraspProgram -> IP -> IO (GraspProgram, IP)
modI g ip = return (g,ip)