Safe Haskell	None
Language	Haskell2010

ProjectM36.Error

Documentation

data RelationalError Source #

Constructors

NoSuchAttributeNamesError (Set AttributeName)
TupleAttributeCountMismatchError Int
TupleAttributeTypeMismatchError Attributes
AttributeCountMismatchError Int
AttributeNamesMismatchError (Set AttributeName)
AttributeNameInUseError AttributeName
AttributeIsNotRelationValuedError AttributeName
CouldNotInferAttributes
RelVarNotDefinedError RelVarName
RelVarAlreadyDefinedError RelVarName
RelVarAssignmentTypeMismatchError Attributes Attributes
InclusionDependencyCheckError IncDepName
InclusionDependencyNameInUseError IncDepName
InclusionDependencyNameNotInUseError IncDepName
ParseError Text
PredicateExpressionError Text
NoCommonTransactionAncestorError TransactionId TransactionId
NoSuchTransactionError TransactionId
RootTransactionTraversalError
HeadNameSwitchingHeadProhibitedError HeadName
NoSuchHeadNameError HeadName
UnknownHeadError
NewTransactionMayNotHaveChildrenError TransactionId
ParentCountTraversalError Int Int
NewTransactionMissingParentError TransactionId
TransactionIsNotAHeadError TransactionId
TransactionGraphCycleError TransactionId
SessionIdInUseError TransactionId
NoSuchSessionError TransactionId
FailedToFindTransactionError TransactionId
TransactionIdInUseError TransactionId
NoSuchFunctionError AtomFunctionName
NoSuchTypeConstructorName TypeConstructorName
TypeConstructorAtomTypeMismatch TypeConstructorName AtomType
AtomTypeMismatchError AtomType AtomType
TypeConstructorNameMismatch TypeConstructorName TypeConstructorName
AtomTypeTypeConstructorReconciliationError AtomType TypeConstructorName
DataConstructorNameInUseError DataConstructorName
DataConstructorUsesUndeclaredTypeVariable TypeVarName
TypeConstructorTypeVarsMismatch (Set TypeVarName) (Set TypeVarName)
TypeConstructorTypeVarMissing TypeVarName
TypeConstructorTypeVarsTypesMismatch TypeConstructorName TypeVarMap TypeVarMap
DataConstructorTypeVarsMismatch DataConstructorName TypeVarMap TypeVarMap
AtomFunctionTypeVariableResolutionError AtomFunctionName TypeVarName
AtomFunctionTypeVariableMismatch TypeVarName AtomType AtomType
AtomTypeNameInUseError AtomTypeName
IncompletelyDefinedAtomTypeWithConstructorError
AtomTypeNameNotInUseError AtomTypeName
FunctionNameInUseError AtomFunctionName
FunctionNameNotInUseError AtomFunctionName
EmptyCommitError
FunctionArgumentCountMismatchError Int Int
ConstructedAtomArgumentCountMismatchError Int Int
NoSuchDataConstructorError DataConstructorName
NoSuchTypeConstructorError TypeConstructorName
InvalidAtomTypeName AtomTypeName
AtomTypeNotSupported AttributeName
AtomOperatorNotSupported Text
EmptyTuplesError
AtomTypeCountError [AtomType] [AtomType]
AtomFunctionTypeError AtomFunctionName Int AtomType AtomType
AtomFunctionUserError AtomFunctionError
PrecompiledFunctionRemoveError AtomFunctionName
RelationValuedAttributesNotSupportedError [AttributeName]
NotificationNameInUseError NotificationName
NotificationNameNotInUseError NotificationName
ImportError Text
ExportError Text
UnhandledExceptionError String
MergeTransactionError MergeError
ScriptError ScriptCompilationError
DatabaseContextFunctionUserError DatabaseContextFunctionError
DatabaseLoadError PersistenceError
SubschemaNameInUseError SchemaName
SubschemaNameNotInUseError SchemaName
SchemaCreationError SchemaError
ImproperDatabaseStateError
MultipleErrors [RelationalError]

Instances

Eq RelationalError Source #
Methods (==) :: RelationalError -> RelationalError -> Bool # (/=) :: RelationalError -> RelationalError -> Bool #
Show RelationalError Source #
Methods showsPrec :: Int -> RelationalError -> ShowS # show :: RelationalError -> String # showList :: [RelationalError] -> ShowS #
Generic RelationalError Source #
Associated Types type Rep RelationalError :: * -> * # Methods from :: RelationalError -> Rep RelationalError x # to :: Rep RelationalError x -> RelationalError #
Binary RelationalError Source #
Methods put :: RelationalError -> Put # get :: Get RelationalError # putList :: [RelationalError] -> Put #
NFData RelationalError Source #
Methods rnf :: RelationalError -> () #
type Rep RelationalError Source #
type Rep RelationalError = D1 (MetaData "RelationalError" "ProjectM36.Error" "project-m36-0.3-6ISpcBZwnv1Gd5svoztbSh" False) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "NoSuchAttributeNamesError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set AttributeName)))) (C1 (MetaCons "TupleAttributeCountMismatchError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))) ((:+:) (C1 (MetaCons "TupleAttributeTypeMismatchError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attributes))) (C1 (MetaCons "AttributeCountMismatchError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))) ((:+:) ((:+:) (C1 (MetaCons "AttributeNamesMismatchError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set AttributeName)))) (C1 (MetaCons "AttributeNameInUseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AttributeName)))) ((:+:) (C1 (MetaCons "AttributeIsNotRelationValuedError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AttributeName))) ((:+:) (C1 (MetaCons "CouldNotInferAttributes" PrefixI False) U1) (C1 (MetaCons "RelVarNotDefinedError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RelVarName))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "RelVarAlreadyDefinedError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RelVarName))) (C1 (MetaCons "RelVarAssignmentTypeMismatchError" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attributes)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attributes))))) ((:+:) (C1 (MetaCons "InclusionDependencyCheckError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IncDepName))) ((:+:) (C1 (MetaCons "InclusionDependencyNameInUseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IncDepName))) (C1 (MetaCons "InclusionDependencyNameNotInUseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IncDepName)))))) ((:+:) ((:+:) (C1 (MetaCons "ParseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) (C1 (MetaCons "PredicateExpressionError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))) ((:+:) (C1 (MetaCons "NoCommonTransactionAncestorError" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId)))) ((:+:) (C1 (MetaCons "NoSuchTransactionError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))) (C1 (MetaCons "RootTransactionTraversalError" PrefixI False) U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "HeadNameSwitchingHeadProhibitedError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName))) (C1 (MetaCons "NoSuchHeadNameError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName)))) ((:+:) (C1 (MetaCons "UnknownHeadError" PrefixI False) U1) ((:+:) (C1 (MetaCons "NewTransactionMayNotHaveChildrenError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))) (C1 (MetaCons "ParentCountTraversalError" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))))) ((:+:) ((:+:) (C1 (MetaCons "NewTransactionMissingParentError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))) (C1 (MetaCons "TransactionIsNotAHeadError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId)))) ((:+:) (C1 (MetaCons "TransactionGraphCycleError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))) ((:+:) (C1 (MetaCons "SessionIdInUseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))) (C1 (MetaCons "NoSuchSessionError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "FailedToFindTransactionError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))) (C1 (MetaCons "TransactionIdInUseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId)))) ((:+:) (C1 (MetaCons "NoSuchFunctionError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName))) ((:+:) (C1 (MetaCons "NoSuchTypeConstructorName" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName))) (C1 (MetaCons "TypeConstructorAtomTypeMismatch" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType))))))) ((:+:) ((:+:) (C1 (MetaCons "AtomTypeMismatchError" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType)))) (C1 (MetaCons "TypeConstructorNameMismatch" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName))))) ((:+:) (C1 (MetaCons "AtomTypeTypeConstructorReconciliationError" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName)))) ((:+:) (C1 (MetaCons "DataConstructorNameInUseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DataConstructorName))) (C1 (MetaCons "DataConstructorUsesUndeclaredTypeVariable" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarName))))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "TypeConstructorTypeVarsMismatch" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set TypeVarName))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set TypeVarName))))) (C1 (MetaCons "TypeConstructorTypeVarMissing" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarName)))) ((:+:) (C1 (MetaCons "TypeConstructorTypeVarsTypesMismatch" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarMap)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarMap))))) (C1 (MetaCons "DataConstructorTypeVarsMismatch" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DataConstructorName)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarMap)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarMap))))))) ((:+:) ((:+:) (C1 (MetaCons "AtomFunctionTypeVariableResolutionError" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarName)))) (C1 (MetaCons "AtomFunctionTypeVariableMismatch" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarName)) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType)))))) ((:+:) (C1 (MetaCons "AtomTypeNameInUseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomTypeName))) ((:+:) (C1 (MetaCons "IncompletelyDefinedAtomTypeWithConstructorError" PrefixI False) U1) (C1 (MetaCons "AtomTypeNameNotInUseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomTypeName))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "FunctionNameInUseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName))) (C1 (MetaCons "FunctionNameNotInUseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName)))) ((:+:) (C1 (MetaCons "EmptyCommitError" PrefixI False) U1) ((:+:) (C1 (MetaCons "FunctionArgumentCountMismatchError" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))) (C1 (MetaCons "ConstructedAtomArgumentCountMismatchError" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))))) ((:+:) ((:+:) (C1 (MetaCons "NoSuchDataConstructorError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DataConstructorName))) (C1 (MetaCons "NoSuchTypeConstructorError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName)))) ((:+:) (C1 (MetaCons "InvalidAtomTypeName" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomTypeName))) ((:+:) (C1 (MetaCons "AtomTypeNotSupported" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AttributeName))) (C1 (MetaCons "AtomOperatorNotSupported" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "EmptyTuplesError" PrefixI False) U1) (C1 (MetaCons "AtomTypeCountError" PrefixI False) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AtomType])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AtomType]))))) ((:+:) (C1 (MetaCons "AtomFunctionTypeError" PrefixI False) ((::) ((::) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType))))) ((:+:) (C1 (MetaCons "AtomFunctionUserError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionError))) (C1 (MetaCons "PrecompiledFunctionRemoveError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName)))))) ((:+:) ((:+:) (C1 (MetaCons "RelationValuedAttributesNotSupportedError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AttributeName]))) (C1 (MetaCons "NotificationNameInUseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NotificationName)))) ((:+:) (C1 (MetaCons "NotificationNameNotInUseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NotificationName))) ((:+:) (C1 (MetaCons "ImportError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) (C1 (MetaCons "ExportError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "UnhandledExceptionError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "MergeTransactionError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MergeError)))) ((:+:) (C1 (MetaCons "ScriptError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ScriptCompilationError))) ((:+:) (C1 (MetaCons "DatabaseContextFunctionUserError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DatabaseContextFunctionError))) (C1 (MetaCons "DatabaseLoadError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PersistenceError)))))) ((:+:) ((:+:) (C1 (MetaCons "SubschemaNameInUseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SchemaName))) (C1 (MetaCons "SubschemaNameNotInUseError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SchemaName)))) ((:+:) (C1 (MetaCons "SchemaCreationError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SchemaError))) ((:+:) (C1 (MetaCons "ImproperDatabaseStateError" PrefixI False) U1) (C1 (MetaCons "MultipleErrors" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RelationalError]))))))))))

data PersistenceError Source #

Constructors

InvalidDirectoryError FilePath
MissingTransactionError TransactionId
WrongDatabaseFormatVersionError String String

Instances

Eq PersistenceError Source #
Methods (==) :: PersistenceError -> PersistenceError -> Bool # (/=) :: PersistenceError -> PersistenceError -> Bool #
Show PersistenceError Source #
Methods showsPrec :: Int -> PersistenceError -> ShowS # show :: PersistenceError -> String # showList :: [PersistenceError] -> ShowS #
Generic PersistenceError Source #
Associated Types type Rep PersistenceError :: * -> * # Methods from :: PersistenceError -> Rep PersistenceError x # to :: Rep PersistenceError x -> PersistenceError #
Binary PersistenceError Source #
Methods put :: PersistenceError -> Put # get :: Get PersistenceError # putList :: [PersistenceError] -> Put #
NFData PersistenceError Source #
Methods rnf :: PersistenceError -> () #
type Rep PersistenceError Source #
type Rep PersistenceError = D1 (MetaData "PersistenceError" "ProjectM36.Error" "project-m36-0.3-6ISpcBZwnv1Gd5svoztbSh" False) ((:+:) (C1 (MetaCons "InvalidDirectoryError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath))) ((:+:) (C1 (MetaCons "MissingTransactionError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))) (C1 (MetaCons "WrongDatabaseFormatVersionError" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))))

someErrors :: [RelationalError] -> RelationalError Source #

data MergeError Source #

Constructors

SelectedHeadMismatchMergeError
PreferredHeadMissingMergeError HeadName
StrategyViolatesConstraintMergeError
InvalidMergeStrategyError MergeStrategy
DisconnectedTransactionNotAMergeHeadError TransactionId
StrategyViolatesComponentMergeError
StrategyViolatesRelationVariableMergeError
StrategyViolatesTypeConstructorMergeError

Instances

Eq MergeError Source #
Methods (==) :: MergeError -> MergeError -> Bool # (/=) :: MergeError -> MergeError -> Bool #
Show MergeError Source #
Methods showsPrec :: Int -> MergeError -> ShowS # show :: MergeError -> String # showList :: [MergeError] -> ShowS #
Generic MergeError Source #
Associated Types type Rep MergeError :: * -> * # Methods from :: MergeError -> Rep MergeError x # to :: Rep MergeError x -> MergeError #
Binary MergeError Source #
Methods put :: MergeError -> Put # get :: Get MergeError # putList :: [MergeError] -> Put #
NFData MergeError Source #
Methods rnf :: MergeError -> () #
type Rep MergeError Source #
type Rep MergeError = D1 (MetaData "MergeError" "ProjectM36.Error" "project-m36-0.3-6ISpcBZwnv1Gd5svoztbSh" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "SelectedHeadMismatchMergeError" PrefixI False) U1) (C1 (MetaCons "PreferredHeadMissingMergeError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName)))) ((:+:) (C1 (MetaCons "StrategyViolatesConstraintMergeError" PrefixI False) U1) (C1 (MetaCons "InvalidMergeStrategyError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MergeStrategy))))) ((:+:) ((:+:) (C1 (MetaCons "DisconnectedTransactionNotAMergeHeadError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))) (C1 (MetaCons "StrategyViolatesComponentMergeError" PrefixI False) U1)) ((:+:) (C1 (MetaCons "StrategyViolatesRelationVariableMergeError" PrefixI False) U1) (C1 (MetaCons "StrategyViolatesTypeConstructorMergeError" PrefixI False) U1))))

data ScriptCompilationError Source #

Constructors

TypeCheckCompilationError String String
SyntaxErrorCompilationError String
ScriptCompilationDisabledError
OtherScriptCompilationError String

Instances

Eq ScriptCompilationError Source #
Methods (==) :: ScriptCompilationError -> ScriptCompilationError -> Bool # (/=) :: ScriptCompilationError -> ScriptCompilationError -> Bool #
Show ScriptCompilationError Source #
Methods showsPrec :: Int -> ScriptCompilationError -> ShowS # show :: ScriptCompilationError -> String # showList :: [ScriptCompilationError] -> ShowS #
Generic ScriptCompilationError Source #
Associated Types type Rep ScriptCompilationError :: * -> * # Methods from :: ScriptCompilationError -> Rep ScriptCompilationError x # to :: Rep ScriptCompilationError x -> ScriptCompilationError #
Exception ScriptCompilationError Source #
Methods toException :: ScriptCompilationError -> SomeException # fromException :: SomeException -> Maybe ScriptCompilationError # displayException :: ScriptCompilationError -> String #
Binary ScriptCompilationError Source #
Methods put :: ScriptCompilationError -> Put # get :: Get ScriptCompilationError # putList :: [ScriptCompilationError] -> Put #
NFData ScriptCompilationError Source #
Methods rnf :: ScriptCompilationError -> () #
type Rep ScriptCompilationError Source #
type Rep ScriptCompilationError = D1 (MetaData "ScriptCompilationError" "ProjectM36.Error" "project-m36-0.3-6ISpcBZwnv1Gd5svoztbSh" False) ((:+:) ((:+:) (C1 (MetaCons "TypeCheckCompilationError" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) (C1 (MetaCons "SyntaxErrorCompilationError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) ((:+:) (C1 (MetaCons "ScriptCompilationDisabledError" PrefixI False) U1) (C1 (MetaCons "OtherScriptCompilationError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))

data SchemaError Source #

Constructors

RelVarReferencesMissing (Set RelVarName)
RelVarInReferencedMoreThanOnce RelVarName
RelVarOutReferencedMoreThanOnce RelVarName

Instances

Eq SchemaError Source #
Methods (==) :: SchemaError -> SchemaError -> Bool # (/=) :: SchemaError -> SchemaError -> Bool #
Show SchemaError Source #
Methods showsPrec :: Int -> SchemaError -> ShowS # show :: SchemaError -> String # showList :: [SchemaError] -> ShowS #
Generic SchemaError Source #
Associated Types type Rep SchemaError :: * -> * # Methods from :: SchemaError -> Rep SchemaError x # to :: Rep SchemaError x -> SchemaError #
Binary SchemaError Source #
Methods put :: SchemaError -> Put # get :: Get SchemaError # putList :: [SchemaError] -> Put #
NFData SchemaError Source #
Methods rnf :: SchemaError -> () #
type Rep SchemaError Source #
type Rep SchemaError = D1 (MetaData "SchemaError" "ProjectM36.Error" "project-m36-0.3-6ISpcBZwnv1Gd5svoztbSh" False) ((:+:) (C1 (MetaCons "RelVarReferencesMissing" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set RelVarName)))) ((:+:) (C1 (MetaCons "RelVarInReferencedMoreThanOnce" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RelVarName))) (C1 (MetaCons "RelVarOutReferencedMoreThanOnce" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RelVarName)))))

data ServerError Source #

Constructors

RequestTimeoutError
ProcessDiedError String

Instances

Eq ServerError Source #
Methods (==) :: ServerError -> ServerError -> Bool # (/=) :: ServerError -> ServerError -> Bool #
Generic ServerError Source #
Associated Types type Rep ServerError :: * -> * # Methods from :: ServerError -> Rep ServerError x # to :: Rep ServerError x -> ServerError #
Binary ServerError Source #
Methods put :: ServerError -> Put # get :: Get ServerError # putList :: [ServerError] -> Put #
type Rep ServerError Source #
type Rep ServerError = D1 (MetaData "ServerError" "ProjectM36.Error" "project-m36-0.3-6ISpcBZwnv1Gd5svoztbSh" False) ((:+:) (C1 (MetaCons "RequestTimeoutError" PrefixI False) U1) (C1 (MetaCons "ProcessDiedError" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))