Language.Alloy.Exceptions

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

Documentation

data CallAlloyException where

Constructors

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

Instances

Exception CallAlloyException

Defined in Language.Alloy.Exceptions

Methods

toException :: CallAlloyException -> SomeException

fromException :: SomeException -> Maybe CallAlloyException

displayException :: CallAlloyException -> String

Show CallAlloyException

Defined in Language.Alloy.Exceptions

Methods

showsPrec :: Int -> CallAlloyException -> ShowS

show :: CallAlloyException -> String

showList :: [CallAlloyException] -> ShowS

data AlloyLookupFailed

Constructors

LookupAlloySignatureFailed !Signature !AlloyInstance

LookupAlloyRelationFailed !RelationName !(Alternatives RelationName)

Instances

Exception AlloyLookupFailed

Defined in Language.Alloy.Exceptions

Methods

toException :: AlloyLookupFailed -> SomeException

fromException :: SomeException -> Maybe AlloyLookupFailed

displayException :: AlloyLookupFailed -> String

Show AlloyLookupFailed

Defined in Language.Alloy.Exceptions

Methods

showsPrec :: Int -> AlloyLookupFailed -> ShowS

show :: AlloyLookupFailed -> String

showList :: [AlloyLookupFailed] -> ShowS

data AlloyObjectNameMismatch

Constructors

AlloyObjectNameMismatch !Expected !Got

Instances

Exception AlloyObjectNameMismatch

Defined in Language.Alloy.Exceptions

Methods

toException :: AlloyObjectNameMismatch -> SomeException

fromException :: SomeException -> Maybe AlloyObjectNameMismatch

displayException :: AlloyObjectNameMismatch -> String

Show AlloyObjectNameMismatch

Defined in Language.Alloy.Exceptions

Methods

showsPrec :: Int -> AlloyObjectNameMismatch -> ShowS

show :: AlloyObjectNameMismatch -> String

showList :: [AlloyObjectNameMismatch] -> ShowS

newtype AlloyResponseFailure

Constructors

ParsingAlloyResponseFailed ErrInfo

Instances

Exception AlloyResponseFailure

Defined in Language.Alloy.Exceptions

Methods

toException :: AlloyResponseFailure -> SomeException

fromException :: SomeException -> Maybe AlloyResponseFailure

displayException :: AlloyResponseFailure -> String

Show AlloyResponseFailure

Defined in Language.Alloy.Exceptions

Methods

showsPrec :: Int -> AlloyResponseFailure -> ShowS

show :: AlloyResponseFailure -> String

showList :: [AlloyResponseFailure] -> ShowS

data UnexpectedAlloyRelation

Constructors

ExpectedIdenticalRelationship

ExpectedSingleRelationship

ExpectedDoubleRelationship

ExpectedTripleRelationship

Instances

Exception UnexpectedAlloyRelation

Defined in Language.Alloy.Exceptions

Methods

toException :: UnexpectedAlloyRelation -> SomeException

fromException :: SomeException -> Maybe UnexpectedAlloyRelation

displayException :: UnexpectedAlloyRelation -> String

Show UnexpectedAlloyRelation

Defined in Language.Alloy.Exceptions

Methods

showsPrec :: Int -> UnexpectedAlloyRelation -> ShowS

show :: UnexpectedAlloyRelation -> String

showList :: [UnexpectedAlloyRelation] -> ShowS

newtype Alternatives a

Constructors

Alternatives

Fields

• unAlternatives :: [a]

newtype Expected

Constructors

Expected

Fields

• unExpected :: String

newtype Got

Constructors

Got

Fields

• unGot :: String

newtype RelationName

Constructors

RelationName

Fields

• unRelationName :: String