| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Modelling.PetriNet.Reach.Draw
Synopsis
- drawToFile :: (Ord s, Ord t, Show s, Show t, MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m) => Bool -> FilePath -> GraphvizCommand -> Net s t -> m FilePath
- isPetriDrawable :: (MonadCatch m, MonadDiagrams m, MonadGraphviz m, Ord s, Ord t, Show s, Show t) => Net s t -> GraphvizCommand -> m Bool
Documentation
drawToFile :: (Ord s, Ord t, Show s, Show t, MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m) => Bool -> FilePath -> GraphvizCommand -> Net s t -> m FilePath Source #
isPetriDrawable :: (MonadCatch m, MonadDiagrams m, MonadGraphviz m, Ord s, Ord t, Show s, Show t) => Net s t -> GraphvizCommand -> m Bool Source #
Checks if the Net is drawable.
It is a more specific version of isNetDrawable for Reach tasks.
It attempts to draw the Petri net with and without place names
and succeeds only if both are successful.