| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Modelling.CdOd.Auxiliary.Util
Contents
Synopsis
- alloyInstanceToOd :: MonadCatch m => Maybe [String] -> [String] -> AlloyInstance -> m Od
- emptyArr :: ArrowType
- filterFirst :: Eq a => a -> [a] -> [a]
- oneAndOther :: String -> String -> (DefaultedLimitedLinking, DefaultedLimitedLinking) -> (DefaultedLimitedLinking, DefaultedLimitedLinking)
- redColor :: Attribute
- underlinedLabel :: String -> Attribute
Documentation
Arguments
| :: MonadCatch m | |
| => Maybe [String] | the super class set of all potential objects (all possible class names is also possible) Only required for Alloy instances that were generated with
|
| -> [String] | all possible link names |
| -> AlloyInstance | the alloy instance to parse |
| -> m Od |
Parses the Alloy object diagram instance.
filterFirst :: Eq a => a -> [a] -> [a] Source #
oneAndOther :: String -> String -> (DefaultedLimitedLinking, DefaultedLimitedLinking) -> (DefaultedLimitedLinking, DefaultedLimitedLinking) Source #
underlinedLabel :: String -> Attribute Source #
Orphan instances
| MonadCatch m => MonadCatch (RandT g m) Source # | |