| Copyright | (c) Marcellus Siegburg 2019 - 2021 |
|---|---|
| License | MIT |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Language.Alloy.Debug
Description
This module provides functions to retrieve raw instances form Alloy, i.e. as Alloy provides them.
Synopsis
- getRawInstances :: Maybe Integer -> String -> IO [ByteString]
- getRawInstancesWith :: CallAlloyConfig -> String -> IO [ByteString]
- parseInstance :: (MonadIO m, MonadError ErrInfo m) => ByteString -> m AlloyInstance
Documentation
Arguments
| :: Maybe Integer | How many instances to return; |
| -> String | The Alloy specification which should be loaded. |
| -> IO [ByteString] |
This function may be used to get all raw model instances for a given Alloy specification. It calls Alloy via a Java interface and splits the raw instance answers before returning the resulting list of raw instances.
Arguments
| :: CallAlloyConfig | The configuration to be used. |
| -> String | The Alloy specification which should be loaded. |
| -> IO [ByteString] |
This function may be used to get all raw model instances for a given Alloy
specification. It calls Alloy via a Java interface and splits the raw instance
answers before returning the resulting list of raw instances.
Parameters are set using a CallAlloyConfig.
parseInstance :: (MonadIO m, MonadError ErrInfo m) => ByteString -> m AlloyInstance Source #
Parse an Alloy instance from a given String.
May fail with ErrInfo.