call-alloy-0.5: A simple library to call Alloy given a specification
Safe HaskellNone
LanguageHaskell2010

Language.Alloy.Exceptions

Description

Defines Exceptions that can occur while using the call-alloy library

Documentation

newtype Alternatives a Source #

Constructors

Alternatives 

Fields

newtype Expected Source #

Constructors

Expected 

Fields

newtype Got Source #

Constructors

Got 

Fields

newtype RelationName Source #

Constructors

RelationName