-- | Remove an edge from the domain of a typed graph morphism
removeEdgeFromDomain :: EdgeId -> TypedGraphMorphism a b -> TypedGraphMorphism a b
removeEdgeFromDomain e tgm =
  tgm { domainGraph = GM.removeEdgeFromDomain e (domainGraph tgm)
      , mapping = GM.removeEdgeFromDomain e (mapping tgm)
      }
removeEdgeFromDomain :: EdgeId -> TypedGraphMorphism a b -> TypedGraphMorphism a b
removeEdgeFromDomain e tgm =
  tgm { domainGraph = GM.removeEdgeFromDomain e (domainGraph tgm)
      , mapping = GM.removeEdgeFromDomain e (mapping tgm)
      }
removeEdgeFromDomain e tgm =
  tgm { domainGraph = GM.removeEdgeFromDomain e (domainGraph tgm)
      , mapping = GM.removeEdgeFromDomain e (mapping tgm)
      }