diff options
author | Jed Barber <jjbarber@y7mail.com> | 2014-05-17 14:25:24 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2014-05-17 14:25:24 +1000 |
commit | bf08dbac7e988e6b282b19060cfba3c8b82e3684 (patch) | |
tree | 29991ec73d743c2fd6ac0f675879893af64f1d84 /src | |
parent | 845c5043f321365c7751eb5d8377ca62869f9f4f (diff) |
sub, div instructions complete
Diffstat (limited to 'src')
-rw-r--r-- | src/Grasp/Interpreter.hs | 31 |
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) |