| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Modelling.CdOd.Output
Synopsis
- cacheCd :: (MonadCache m, MonadDiagrams m, MonadGraphviz m) => CdDrawSettings -> Style V2 Double -> AnyCd -> FilePath -> m FilePath
- cacheOd :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m) => Od -> DirType -> Bool -> FilePath -> m FilePath
- drawCd :: (MonadDiagrams m, MonadGraphviz m) => CdDrawSettings -> Style V2 Double -> AnyCd -> m ByteString
- drawOdFromInstance :: (MonadCatch m, MonadDiagrams m, MonadGraphviz m, MonadWriteFile m, RandomGen g) => AlloyInstance -> Maybe [String] -> [String] -> Maybe Rational -> DirType -> Bool -> FilePath -> RandT g m FilePath
- drawOd :: (MonadDiagrams m, MonadGraphviz m, MonadThrow m) => Od -> DirType -> Bool -> m ByteString
Documentation
cacheCd :: (MonadCache m, MonadDiagrams m, MonadGraphviz m) => CdDrawSettings -> Style V2 Double -> AnyCd -> FilePath -> m FilePath Source #
cacheOd :: (MonadCache m, MonadDiagrams m, MonadGraphviz m, MonadThrow m) => Od -> DirType -> Bool -> FilePath -> m FilePath Source #
drawCd :: (MonadDiagrams m, MonadGraphviz m) => CdDrawSettings -> Style V2 Double -> AnyCd -> m ByteString Source #
Arguments
| :: (MonadCatch m, MonadDiagrams m, MonadGraphviz m, MonadWriteFile m, RandomGen g) | |
| => AlloyInstance | the Alloy object diagram instance |
| -> Maybe [String] | all possible object names, for see |
| -> [String] | possible link names |
| -> Maybe Rational | ratio of anonymous objects |
| -> DirType | direction of links |
| -> Bool | whether to print link names |
| -> FilePath | where to store the object diagram |
| -> RandT g m FilePath |
Parses an Alloy object diagram instance, draws it and saves it to a file. (the path where it has been stored is returned)
drawOd :: (MonadDiagrams m, MonadGraphviz m, MonadThrow m) => Od -> DirType -> Bool -> m ByteString Source #