Documentation

shuffleAdLabels :: MonadRandom m => UMLActivityDiagram -> m (Map Int Int, UMLActivityDiagram) Source #

shuffleAdNames :: MonadRandom m => UMLActivityDiagram -> m (Map String String, UMLActivityDiagram) Source #

shufflePetri :: forall m p (n :: Type -> Type). (MonadRandom m, Net p n) => p n PetriKey -> m (Map Int Int, p n PetriKey) Source #