call-alloy-0.5: A simple library to call Alloy given a specification
Copyright(c) Marcellus Siegburg 2019 - 2021
LicenseMIT
Safe HaskellNone
LanguageHaskell2010

Language.Alloy.Debug

Description

This module provides functions to retrieve raw instances form Alloy, i.e. as Alloy provides them.

Synopsis

Documentation

getRawInstances Source #

Arguments

:: Maybe Integer

How many instances to return; Nothing for all.

-> 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.

getRawInstancesWith Source #

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, MonadThrow m) => ByteString -> m AlloyInstance Source #

Parse an Alloy instance from a given String. May fail with ParsingAlloyResponseFailed.