Safe Haskell	None
Language	Haskell2010

Language.Alloy.Exceptions

Description

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

Documentation

Constructors

Instances details

Exception CallAlloyException Source #
Instance details Defined in Language.Alloy.Exceptions Methods toException :: CallAlloyException -> SomeException # fromException :: SomeException -> Maybe CallAlloyException # displayException :: CallAlloyException -> String #
Show CallAlloyException Source #
Instance details Defined in Language.Alloy.Exceptions Methods showsPrec :: Int -> CallAlloyException -> ShowS # show :: CallAlloyException -> String # showList :: [CallAlloyException] -> ShowS #

Constructors

LookupAlloySignatureFailed !Signature !AlloyInstance
LookupAlloyRelationFailed !RelationName !(Alternatives RelationName)

Instances details

Exception AlloyLookupFailed Source #
Instance details Defined in Language.Alloy.Exceptions Methods toException :: AlloyLookupFailed -> SomeException # fromException :: SomeException -> Maybe AlloyLookupFailed # displayException :: AlloyLookupFailed -> String #
Show AlloyLookupFailed Source #
Instance details Defined in Language.Alloy.Exceptions Methods showsPrec :: Int -> AlloyLookupFailed -> ShowS # show :: AlloyLookupFailed -> String # showList :: [AlloyLookupFailed] -> ShowS #

Constructors

Instances details

Exception AlloyObjectNameMismatch Source #
Instance details Defined in Language.Alloy.Exceptions Methods toException :: AlloyObjectNameMismatch -> SomeException # fromException :: SomeException -> Maybe AlloyObjectNameMismatch # displayException :: AlloyObjectNameMismatch -> String #
Show AlloyObjectNameMismatch Source #
Instance details Defined in Language.Alloy.Exceptions Methods showsPrec :: Int -> AlloyObjectNameMismatch -> ShowS # show :: AlloyObjectNameMismatch -> String # showList :: [AlloyObjectNameMismatch] -> ShowS #

Constructors

Instances details

Exception AlloyResponseFailure Source #
Instance details Defined in Language.Alloy.Exceptions Methods toException :: AlloyResponseFailure -> SomeException # fromException :: SomeException -> Maybe AlloyResponseFailure # displayException :: AlloyResponseFailure -> String #
Show AlloyResponseFailure Source #
Instance details Defined in Language.Alloy.Exceptions Methods showsPrec :: Int -> AlloyResponseFailure -> ShowS # show :: AlloyResponseFailure -> String # showList :: [AlloyResponseFailure] -> ShowS #

Constructors

ExpectedIdenticalRelationship
ExpectedSingleRelationship
ExpectedDoubleRelationship
ExpectedTripleRelationship

Instances details

Exception UnexpectedAlloyRelation Source #
Instance details Defined in Language.Alloy.Exceptions Methods toException :: UnexpectedAlloyRelation -> SomeException # fromException :: SomeException -> Maybe UnexpectedAlloyRelation # displayException :: UnexpectedAlloyRelation -> String #
Show UnexpectedAlloyRelation Source #
Instance details Defined in Language.Alloy.Exceptions Methods showsPrec :: Int -> UnexpectedAlloyRelation -> ShowS # show :: UnexpectedAlloyRelation -> String # showList :: [UnexpectedAlloyRelation] -> ShowS #

Constructors

Alternatives
Fields unAlternatives :: [a]

Constructors

Expected
Fields unExpected :: String

Constructors

Got
Fields unGot :: String

Constructors

RelationName
Fields unRelationName :: String