Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Alloy.Exceptions
Description
Defines Exceptions that can occur while using the call-alloy library
Documentation
data CallAlloyException where Source #
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 #
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 #
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 #
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 #
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 #
Constructors
Alternatives | |
Fields
|
newtype RelationName Source #
Constructors
RelationName | |
Fields |