| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Capabilities.Alloy
Description
Defines a Monad context for calling Alloy
Documentation
class Monad m => MonadAlloy (m :: Type -> Type) where Source #
Methods
getInstancesWith :: CallAlloyConfig -> String -> m [AlloyInstance] Source #
Instances
| MonadAlloy m => MonadAlloy (GenericReportT l o m) Source # | |
Defined in Capabilities.Alloy Methods getInstancesWith :: CallAlloyConfig -> String -> GenericReportT l o m [AlloyInstance] Source # | |
getInstances :: MonadAlloy m => Maybe Integer -> Maybe Int -> String -> m [AlloyInstance] Source #
maxBitWidth :: Maybe Int Source #