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

data CallAlloyException where Source #

Constructors

CallAlloyException :: forall e. Exception e => e -> CallAlloyException 

Instances

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 #

data AlloyLookupFailed Source #

Constructors

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

Instances

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 #

data AlloyObjectNameMismatch Source #

Constructors

AlloyObjectNameMismatch !Expected !Got 

Instances

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 #

newtype AlloyResponseFailure Source #

Constructors

ParsingAlloyResponseFailed ErrInfo 

Instances

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 #

data UnexpectedAlloyRelation Source #

Constructors

ExpectedIdenticalRelationship 
ExpectedSingleRelationship 
ExpectedDoubleRelationship 
ExpectedTripleRelationship 

Instances

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 #

newtype Alternatives a Source #

Constructors

Alternatives 

Fields

newtype Expected Source #

Constructors

Expected 

Fields

newtype Got Source #

Constructors

Got 

Fields

newtype RelationName Source #

Constructors

RelationName 

Fields