project-m36-0.5.1: Relational Algebra Engine

Safe HaskellNone
LanguageHaskell2010

ProjectM36.Error

Documentation

data RelationalError Source #

Constructors

NoSuchAttributeNamesError (Set AttributeName) 
TupleAttributeCountMismatchError Int 
EmptyAttributesError 
DuplicateAttributeNamesError (Set AttributeName) 
TupleAttributeTypeMismatchError Attributes 
AttributeCountMismatchError Int 
AttributeNamesMismatchError (Set AttributeName) 
AttributeNameInUseError AttributeName 
AttributeIsNotRelationValuedError AttributeName 
CouldNotInferAttributes 
RelVarNotDefinedError RelVarName 
RelVarAlreadyDefinedError RelVarName 
RelationTypeMismatchError 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 
LoadFunctionError 
DatabaseContextFunctionUserError DatabaseContextFunctionError 
DatabaseLoadError PersistenceError 
SubschemaNameInUseError SchemaName 
SubschemaNameNotInUseError SchemaName 
SchemaCreationError SchemaError 
ImproperDatabaseStateError 
MultipleErrors [RelationalError] 
Instances
Eq RelationalError Source # 
Instance details

Defined in ProjectM36.Error

Methods

(==) :: RelationalError -> RelationalError -> Bool #

(/=) :: RelationalError -> RelationalError -> Bool #

Show RelationalError Source # 
Instance details

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> RelationalError -> ShowS #

show :: RelationalError -> String #

showList :: [RelationalError] -> ShowS #

Generic RelationalError Source # 
Instance details

Defined in ProjectM36.Error

Associated Types

type Rep RelationalError :: * -> * #

Methods

from :: RelationalError -> Rep RelationalError x #

to :: Rep RelationalError x -> RelationalError #

Binary RelationalError Source # 
Instance details

Defined in ProjectM36.Error

Methods

put :: RelationalError -> Put #

get :: Get RelationalError #

putList :: [RelationalError] -> Put #

NFData RelationalError Source # 
Instance details

Defined in ProjectM36.Error

Methods

rnf :: RelationalError -> () #

type Rep RelationalError Source # 
Instance details

Defined in ProjectM36.Error

type Rep RelationalError = D1 (MetaData "RelationalError" "ProjectM36.Error" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) ((((((C1 (MetaCons "NoSuchAttributeNamesError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set AttributeName))) :+: C1 (MetaCons "TupleAttributeCountMismatchError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) :+: (C1 (MetaCons "EmptyAttributesError" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "DuplicateAttributeNamesError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set AttributeName))) :+: C1 (MetaCons "TupleAttributeTypeMismatchError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attributes))))) :+: ((C1 (MetaCons "AttributeCountMismatchError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "AttributeNamesMismatchError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set AttributeName)))) :+: (C1 (MetaCons "AttributeNameInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AttributeName)) :+: (C1 (MetaCons "AttributeIsNotRelationValuedError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AttributeName)) :+: C1 (MetaCons "CouldNotInferAttributes" PrefixI False) (U1 :: * -> *))))) :+: (((C1 (MetaCons "RelVarNotDefinedError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RelVarName)) :+: C1 (MetaCons "RelVarAlreadyDefinedError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RelVarName))) :+: (C1 (MetaCons "RelationTypeMismatchError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attributes) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Attributes)) :+: (C1 (MetaCons "InclusionDependencyCheckError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IncDepName)) :+: C1 (MetaCons "InclusionDependencyNameInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IncDepName))))) :+: ((C1 (MetaCons "InclusionDependencyNameNotInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IncDepName)) :+: C1 (MetaCons "ParseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) :+: (C1 (MetaCons "PredicateExpressionError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: (C1 (MetaCons "NoCommonTransactionAncestorError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId)) :+: C1 (MetaCons "NoSuchTransactionError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))))))) :+: ((((C1 (MetaCons "RootTransactionTraversalError" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "HeadNameSwitchingHeadProhibitedError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName))) :+: (C1 (MetaCons "NoSuchHeadNameError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName)) :+: (C1 (MetaCons "UnknownHeadError" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "NewTransactionMayNotHaveChildrenError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))))) :+: ((C1 (MetaCons "ParentCountTraversalError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "NewTransactionMissingParentError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))) :+: (C1 (MetaCons "TransactionIsNotAHeadError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId)) :+: (C1 (MetaCons "TransactionGraphCycleError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId)) :+: C1 (MetaCons "SessionIdInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId)))))) :+: (((C1 (MetaCons "NoSuchSessionError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId)) :+: C1 (MetaCons "FailedToFindTransactionError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))) :+: (C1 (MetaCons "TransactionIdInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId)) :+: (C1 (MetaCons "NoSuchFunctionError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName)) :+: C1 (MetaCons "NoSuchTypeConstructorName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName))))) :+: ((C1 (MetaCons "TypeConstructorAtomTypeMismatch" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType)) :+: C1 (MetaCons "AtomTypeMismatchError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType))) :+: (C1 (MetaCons "TypeConstructorNameMismatch" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName)) :+: (C1 (MetaCons "AtomTypeTypeConstructorReconciliationError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName)) :+: C1 (MetaCons "DataConstructorNameInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DataConstructorName)))))))) :+: (((((C1 (MetaCons "DataConstructorUsesUndeclaredTypeVariable" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarName)) :+: C1 (MetaCons "TypeConstructorTypeVarsMismatch" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set TypeVarName)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set TypeVarName)))) :+: (C1 (MetaCons "TypeConstructorTypeVarMissing" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarName)) :+: (C1 (MetaCons "TypeConstructorTypeVarsTypesMismatch" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarMap) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarMap))) :+: C1 (MetaCons "DataConstructorTypeVarsMismatch" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DataConstructorName) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarMap) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarMap)))))) :+: ((C1 (MetaCons "AtomFunctionTypeVariableResolutionError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarName)) :+: C1 (MetaCons "AtomFunctionTypeVariableMismatch" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeVarName) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType)))) :+: (C1 (MetaCons "AtomTypeNameInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomTypeName)) :+: (C1 (MetaCons "IncompletelyDefinedAtomTypeWithConstructorError" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "AtomTypeNameNotInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomTypeName)))))) :+: (((C1 (MetaCons "FunctionNameInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName)) :+: C1 (MetaCons "FunctionNameNotInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName))) :+: (C1 (MetaCons "EmptyCommitError" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "FunctionArgumentCountMismatchError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "ConstructedAtomArgumentCountMismatchError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))) :+: ((C1 (MetaCons "NoSuchDataConstructorError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DataConstructorName)) :+: C1 (MetaCons "NoSuchTypeConstructorError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TypeConstructorName))) :+: (C1 (MetaCons "InvalidAtomTypeName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomTypeName)) :+: (C1 (MetaCons "AtomTypeNotSupported" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AttributeName)) :+: C1 (MetaCons "AtomOperatorNotSupported" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))))) :+: ((((C1 (MetaCons "EmptyTuplesError" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "AtomTypeCountError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AtomType]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AtomType]))) :+: (C1 (MetaCons "AtomFunctionTypeError" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomType))) :+: (C1 (MetaCons "AtomFunctionUserError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionError)) :+: C1 (MetaCons "PrecompiledFunctionRemoveError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName))))) :+: ((C1 (MetaCons "RelationValuedAttributesNotSupportedError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AttributeName])) :+: C1 (MetaCons "NotificationNameInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NotificationName))) :+: (C1 (MetaCons "NotificationNameNotInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NotificationName)) :+: (C1 (MetaCons "ImportError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "ExportError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))))) :+: (((C1 (MetaCons "UnhandledExceptionError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "MergeTransactionError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MergeError))) :+: (C1 (MetaCons "ScriptError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ScriptCompilationError)) :+: (C1 (MetaCons "LoadFunctionError" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "DatabaseContextFunctionUserError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DatabaseContextFunctionError))))) :+: ((C1 (MetaCons "DatabaseLoadError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PersistenceError)) :+: (C1 (MetaCons "SubschemaNameInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SchemaName)) :+: C1 (MetaCons "SubschemaNameNotInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SchemaName)))) :+: (C1 (MetaCons "SchemaCreationError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SchemaError)) :+: (C1 (MetaCons "ImproperDatabaseStateError" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "MultipleErrors" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RelationalError])))))))))

data PersistenceError Source #

Constructors

InvalidDirectoryError FilePath 
MissingTransactionError TransactionId 
WrongDatabaseFormatVersionError String String 
Instances
Eq PersistenceError Source # 
Instance details

Defined in ProjectM36.Error

Methods

(==) :: PersistenceError -> PersistenceError -> Bool #

(/=) :: PersistenceError -> PersistenceError -> Bool #

Show PersistenceError Source # 
Instance details

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> PersistenceError -> ShowS #

show :: PersistenceError -> String #

showList :: [PersistenceError] -> ShowS #

Generic PersistenceError Source # 
Instance details

Defined in ProjectM36.Error

Associated Types

type Rep PersistenceError :: * -> * #

Methods

from :: PersistenceError -> Rep PersistenceError x #

to :: Rep PersistenceError x -> PersistenceError #

Binary PersistenceError Source # 
Instance details

Defined in ProjectM36.Error

Methods

put :: PersistenceError -> Put #

get :: Get PersistenceError #

putList :: [PersistenceError] -> Put #

NFData PersistenceError Source # 
Instance details

Defined in ProjectM36.Error

Methods

rnf :: PersistenceError -> () #

type Rep PersistenceError Source # 
Instance details

Defined in ProjectM36.Error

type Rep PersistenceError = D1 (MetaData "PersistenceError" "ProjectM36.Error" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (C1 (MetaCons "InvalidDirectoryError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath)) :+: (C1 (MetaCons "MissingTransactionError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId)) :+: C1 (MetaCons "WrongDatabaseFormatVersionError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Nothing :: Maybe 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 # 
Instance details

Defined in ProjectM36.Error

Methods

(==) :: MergeError -> MergeError -> Bool #

(/=) :: MergeError -> MergeError -> Bool #

Show MergeError Source # 
Instance details

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> MergeError -> ShowS #

show :: MergeError -> String #

showList :: [MergeError] -> ShowS #

Generic MergeError Source # 
Instance details

Defined in ProjectM36.Error

Associated Types

type Rep MergeError :: * -> * #

Methods

from :: MergeError -> Rep MergeError x #

to :: Rep MergeError x -> MergeError #

Binary MergeError Source # 
Instance details

Defined in ProjectM36.Error

Methods

put :: MergeError -> Put #

get :: Get MergeError #

putList :: [MergeError] -> Put #

NFData MergeError Source # 
Instance details

Defined in ProjectM36.Error

Methods

rnf :: MergeError -> () #

type Rep MergeError Source # 
Instance details

Defined in ProjectM36.Error

type Rep MergeError = D1 (MetaData "MergeError" "ProjectM36.Error" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (((C1 (MetaCons "SelectedHeadMismatchMergeError" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "PreferredHeadMissingMergeError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName))) :+: (C1 (MetaCons "StrategyViolatesConstraintMergeError" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "InvalidMergeStrategyError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MergeStrategy)))) :+: ((C1 (MetaCons "DisconnectedTransactionNotAMergeHeadError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe 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 # 
Instance details

Defined in ProjectM36.Error

Methods

(==) :: ScriptCompilationError -> ScriptCompilationError -> Bool #

(/=) :: ScriptCompilationError -> ScriptCompilationError -> Bool #

Show ScriptCompilationError Source # 
Instance details

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> ScriptCompilationError -> ShowS #

show :: ScriptCompilationError -> String #

showList :: [ScriptCompilationError] -> ShowS #

Generic ScriptCompilationError Source # 
Instance details

Defined in ProjectM36.Error

Associated Types

type Rep ScriptCompilationError :: * -> * #

Methods

from :: ScriptCompilationError -> Rep ScriptCompilationError x #

to :: Rep ScriptCompilationError x -> ScriptCompilationError #

Exception ScriptCompilationError Source # 
Instance details

Defined in ProjectM36.Error

Methods

toException :: ScriptCompilationError -> SomeException #

fromException :: SomeException -> Maybe ScriptCompilationError #

displayException :: ScriptCompilationError -> String #

Binary ScriptCompilationError Source # 
Instance details

Defined in ProjectM36.Error

Methods

put :: ScriptCompilationError -> Put #

get :: Get ScriptCompilationError #

putList :: [ScriptCompilationError] -> Put #

NFData ScriptCompilationError Source # 
Instance details

Defined in ProjectM36.Error

Methods

rnf :: ScriptCompilationError -> () #

type Rep ScriptCompilationError Source # 
Instance details

Defined in ProjectM36.Error

type Rep ScriptCompilationError = D1 (MetaData "ScriptCompilationError" "ProjectM36.Error" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) ((C1 (MetaCons "TypeCheckCompilationError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "SyntaxErrorCompilationError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) :+: (C1 (MetaCons "ScriptCompilationDisabledError" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "OtherScriptCompilationError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))

data SchemaError Source #

Constructors

RelVarReferencesMissing (Set RelVarName) 
RelVarInReferencedMoreThanOnce RelVarName 
RelVarOutReferencedMoreThanOnce RelVarName 
Instances
Eq SchemaError Source # 
Instance details

Defined in ProjectM36.Error

Methods

(==) :: SchemaError -> SchemaError -> Bool #

(/=) :: SchemaError -> SchemaError -> Bool #

Show SchemaError Source # 
Instance details

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> SchemaError -> ShowS #

show :: SchemaError -> String #

showList :: [SchemaError] -> ShowS #

Generic SchemaError Source # 
Instance details

Defined in ProjectM36.Error

Associated Types

type Rep SchemaError :: * -> * #

Methods

from :: SchemaError -> Rep SchemaError x #

to :: Rep SchemaError x -> SchemaError #

Binary SchemaError Source # 
Instance details

Defined in ProjectM36.Error

Methods

put :: SchemaError -> Put #

get :: Get SchemaError #

putList :: [SchemaError] -> Put #

NFData SchemaError Source # 
Instance details

Defined in ProjectM36.Error

Methods

rnf :: SchemaError -> () #

type Rep SchemaError Source # 
Instance details

Defined in ProjectM36.Error

type Rep SchemaError = D1 (MetaData "SchemaError" "ProjectM36.Error" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (C1 (MetaCons "RelVarReferencesMissing" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set RelVarName))) :+: (C1 (MetaCons "RelVarInReferencedMoreThanOnce" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RelVarName)) :+: C1 (MetaCons "RelVarOutReferencedMoreThanOnce" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RelVarName))))

data ServerError Source #

Constructors

RequestTimeoutError 
ProcessDiedError String 
Instances
Eq ServerError Source # 
Instance details

Defined in ProjectM36.Error

Methods

(==) :: ServerError -> ServerError -> Bool #

(/=) :: ServerError -> ServerError -> Bool #

Generic ServerError Source # 
Instance details

Defined in ProjectM36.Error

Associated Types

type Rep ServerError :: * -> * #

Methods

from :: ServerError -> Rep ServerError x #

to :: Rep ServerError x -> ServerError #

Binary ServerError Source # 
Instance details

Defined in ProjectM36.Error

Methods

put :: ServerError -> Put #

get :: Get ServerError #

putList :: [ServerError] -> Put #

type Rep ServerError Source # 
Instance details

Defined in ProjectM36.Error

type Rep ServerError = D1 (MetaData "ServerError" "ProjectM36.Error" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (C1 (MetaCons "RequestTimeoutError" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "ProcessDiedError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))