edgeMapping :: TypedGraphMorphism a b -> [(EdgeId, EdgeId)]
edgeMapping = Relation.toList . GM.edgeRelation . mapping
edgeMapping :: TypedGraphMorphism a b -> [(EdgeId, EdgeId)]
edgeMapping = Relation.toList . GM.edgeRelation . mapping
edgeMapping = Relation.toList . GM.edgeRelation . mapping