addRuleEdge :: Monad m => RuleOp -> TypeId -> (Int, Int) -> b -> InstanceBuilder a b m Int
addRuleEdge o t c p = do eid <- newEdge Rule t c p
                         setRuleOperation o E eid
                         return eid

-- | Sets the operation on the selected rule node.
addRuleEdge :: Monad m => RuleOp -> TypeId -> (Int, Int) -> b -> InstanceBuilder a b m Int
addRuleEdge o t c p = do eid <- newEdge Rule t c p
                         setRuleOperation o E eid
                         return eid

-- | Sets the operation on the selected rule node.
addRuleEdge o t c p = do eid <- newEdge Rule t c p
                         setRuleOperation o E eid
                         return eid

-- | Sets the operation on the selected rule node.