modelling-tasks-0.0.0.1
Safe HaskellSafe-Inferred
LanguageHaskell2010

Modelling.ActivityDiagram.Shuffle

Documentation

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