| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Alloy.Exceptions
Description
Defines Exceptions that can occur while using the call-alloy library
Synopsis
- data CallAlloyException where
- CallAlloyException :: forall e. Exception e => e -> CallAlloyException
- data AlloyLookupFailed
- data AlloyObjectNameMismatch = AlloyObjectNameMismatch !Expected !Got
- newtype AlloyResponseFailure = ParsingAlloyResponseFailed ErrInfo
- data UnexpectedAlloyRelation
- newtype Alternatives a = Alternatives {
- unAlternatives :: [a]
- newtype Expected = Expected {
- unExpected :: String
- newtype Got = Got {}
- newtype RelationName = RelationName {}
Documentation
data CallAlloyException where Source #
Any exception that might be raised by call-alloy.
Constructors
| CallAlloyException :: forall e. Exception e => e -> CallAlloyException |
Instances
| Exception CallAlloyException Source # | |
Defined in Language.Alloy.Exceptions Methods toException :: CallAlloyException -> SomeException # fromException :: SomeException -> Maybe CallAlloyException # | |
| Show CallAlloyException Source # | |
Defined in Language.Alloy.Exceptions Methods showsPrec :: Int -> CallAlloyException -> ShowS # show :: CallAlloyException -> String # showList :: [CallAlloyException] -> ShowS # | |
data AlloyLookupFailed Source #
A lookup within an AlloyInstance failed.
Constructors
| LookupAlloySignatureFailed !Signature !AlloyInstance | |
| LookupAlloyRelationFailed !RelationName !(Alternatives RelationName) |
Instances
| Exception AlloyLookupFailed Source # | |
Defined in Language.Alloy.Exceptions Methods toException :: AlloyLookupFailed -> SomeException # | |
| Show AlloyLookupFailed Source # | |
Defined in Language.Alloy.Exceptions Methods showsPrec :: Int -> AlloyLookupFailed -> ShowS # show :: AlloyLookupFailed -> String # showList :: [AlloyLookupFailed] -> ShowS # | |
data AlloyObjectNameMismatch Source #
An object name does not match an expectation.
Constructors
| AlloyObjectNameMismatch !Expected !Got |
Instances
| Exception AlloyObjectNameMismatch Source # | |
Defined in Language.Alloy.Exceptions | |
| Show AlloyObjectNameMismatch Source # | |
Defined in Language.Alloy.Exceptions Methods showsPrec :: Int -> AlloyObjectNameMismatch -> ShowS # show :: AlloyObjectNameMismatch -> String # showList :: [AlloyObjectNameMismatch] -> ShowS # | |
newtype AlloyResponseFailure Source #
An unexpected Alloy response.
This would usually happen when call-alloy does not know how to interpret a
response that was received from Alloy.
In this case an issue should be opened, describing in detail what was tried
and the received error response.
Constructors
| ParsingAlloyResponseFailed ErrInfo |
Instances
| Exception AlloyResponseFailure Source # | |
Defined in Language.Alloy.Exceptions Methods toException :: AlloyResponseFailure -> SomeException # fromException :: SomeException -> Maybe AlloyResponseFailure # | |
| Show AlloyResponseFailure Source # | |
Defined in Language.Alloy.Exceptions Methods showsPrec :: Int -> AlloyResponseFailure -> ShowS # show :: AlloyResponseFailure -> String # showList :: [AlloyResponseFailure] -> ShowS # | |
data UnexpectedAlloyRelation Source #
A relation type does not match.
Constructors
| ExpectedIdenticalRelationship | |
| ExpectedSingleRelationship | |
| ExpectedDoubleRelationship | |
| ExpectedTripleRelationship |
Instances
| Exception UnexpectedAlloyRelation Source # | |
Defined in Language.Alloy.Exceptions | |
| Show UnexpectedAlloyRelation Source # | |
Defined in Language.Alloy.Exceptions Methods showsPrec :: Int -> UnexpectedAlloyRelation -> ShowS # show :: UnexpectedAlloyRelation -> String # showList :: [UnexpectedAlloyRelation] -> ShowS # | |
newtype Alternatives a Source #
Possible alternatives.
Constructors
| Alternatives | |
Fields
| |