project-m36-1.1.1: Relational Algebra Engine
Safe HaskellSafe-Inferred
LanguageHaskell2010

ProjectM36.Error

Documentation

data RelationalError Source #

Constructors

NoSuchAttributeNamesError (Set AttributeName) 
TupleAttributeCountMismatchError Int 
EmptyAttributesError 
DuplicateAttributeNamesError (Set AttributeName) 
TupleAttributeTypeMismatchError Attributes 
AttributeCountMismatchError Int 
AttributeNamesMismatchError (Set AttributeName) 
AttributeTypesMismatchError Attributes 
AttributeNameInUseError AttributeName 
AttributeIsNotRelationValuedError AttributeName 
CouldNotInferAttributes 
RelVarNotDefinedError RelVarName 
RelVarAlreadyDefinedError RelVarName 
RelationTypeMismatchError Attributes Attributes 
InclusionDependencyCheckError IncDepName (Maybe RelationalError) 
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 FunctionName 
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 FunctionName TypeVarName 
AtomFunctionTypeVariableMismatch TypeVarName AtomType AtomType 
IfThenExprExpectedBooleanError AtomType 
AtomTypeNameInUseError AtomTypeName 
IncompletelyDefinedAtomTypeWithConstructorError 
AtomTypeNameNotInUseError AtomTypeName 
AttributeNotSortableError Attribute 
FunctionNameInUseError FunctionName 
FunctionNameNotInUseError FunctionName 
EmptyCommitError 
FunctionArgumentCountMismatchError Int Int 
ConstructedAtomArgumentCountMismatchError Int Int 
NoSuchDataConstructorError DataConstructorName 
NoSuchTypeConstructorError TypeConstructorName 
InvalidAtomTypeName AtomTypeName 
AtomTypeNotSupported AttributeName 
AtomOperatorNotSupported Text 
EmptyTuplesError 
AtomTypeCountError [AtomType] [AtomType] 
AtomFunctionTypeError FunctionName Int AtomType AtomType 
AtomFunctionUserError AtomFunctionError 
PrecompiledFunctionRemoveError FunctionName 
RelationValuedAttributesNotSupportedError [AttributeName] 
NotificationNameInUseError NotificationName 
NotificationNameNotInUseError NotificationName 
NotificationValidationError NotificationName NotificationExpression RelationalError 
ImportError ImportError' 
ExportError Text 
UnhandledExceptionError String 
MergeTransactionError MergeError 
ScriptError ScriptCompilationError 
LoadFunctionError 
SecurityLoadFunctionError 
DatabaseContextFunctionUserError DatabaseContextFunctionError 
DatabaseLoadError PersistenceError 
SubschemaNameInUseError SchemaName 
SubschemaNameNotInUseError SchemaName 
SchemaCreationError SchemaError 
ImproperDatabaseStateError 
NonConcreteSchemaPlanError 
NoUncommittedContextInEvalError 
TupleExprsReferenceMultipleMarkersError 
MerkleHashValidationError TransactionId MerkleHash MerkleHash 
RegisteredQueryValidationError RegisteredQueryName RelationalError 
RegisteredQueryNameInUseError RegisteredQueryName 
RegisteredQueryNameNotInUseError RegisteredQueryName 
SQLConversionError SQLError 
MultipleErrors [RelationalError] 

Instances

Instances details
Generic RelationalError Source # 
Instance details

Defined in ProjectM36.Error

Associated Types

type Rep RelationalError :: Type -> Type Source #

Methods

from :: RelationalError -> Rep RelationalError x Source #

to :: Rep RelationalError x -> RelationalError Source #

Show RelationalError Source # 
Instance details

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> RelationalError -> ShowS Source #

show :: RelationalError -> String Source #

showList :: [RelationalError] -> ShowS Source #

NFData RelationalError Source # 
Instance details

Defined in ProjectM36.Error

Methods

rnf :: RelationalError -> () Source #

Eq RelationalError Source # 
Instance details

Defined in ProjectM36.Error

Methods

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

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

Serialise RelationalError Source # 
Instance details

Defined in ProjectM36.Serialise.Error

Methods

schemaGen :: Proxy RelationalError -> SchemaGen Schema Source #

toBuilder :: RelationalError -> Builder Source #

extractor :: Extractor RelationalError Source #

decodeCurrent :: Decoder RelationalError Source #

bundleSerialise :: BundleSerialise RelationalError Source #

DatabaseContextM (ReaderT GraphRefRelationalExprEnv (ExceptT RelationalError Identity)) Source # 
Instance details

Defined in ProjectM36.RelationalExpression

Methods

getContext :: ReaderT GraphRefRelationalExprEnv (ExceptT RelationalError Identity) DatabaseContext Source #

AskGraphContext (ReaderT GraphRefSOptDatabaseContextExprEnv (ExceptT RelationalError Identity)) Source # 
Instance details

Defined in ProjectM36.StaticOptimizer

Methods

askGraph :: ReaderT GraphRefSOptDatabaseContextExprEnv (ExceptT RelationalError Identity) TransactionGraph Source #

askContext :: ReaderT GraphRefSOptDatabaseContextExprEnv (ExceptT RelationalError Identity) DatabaseContext Source #

AskGraphContext (ReaderT GraphRefSOptRelationalExprEnv (ExceptT RelationalError Identity)) Source # 
Instance details

Defined in ProjectM36.StaticOptimizer

Methods

askGraph :: ReaderT GraphRefSOptRelationalExprEnv (ExceptT RelationalError Identity) TransactionGraph Source #

askContext :: ReaderT GraphRefSOptRelationalExprEnv (ExceptT RelationalError Identity) DatabaseContext Source #

DatabaseContextM (RWST DatabaseContextEvalEnv () DatabaseContextEvalState (ExceptT RelationalError Identity)) Source # 
Instance details

Defined in ProjectM36.RelationalExpression

Methods

getContext :: RWST DatabaseContextEvalEnv () DatabaseContextEvalState (ExceptT RelationalError Identity) DatabaseContext Source #

type Rep RelationalError Source # 
Instance details

Defined in ProjectM36.Error

type Rep RelationalError = D1 ('MetaData "RelationalError" "ProjectM36.Error" "project-m36-1.1.1-inplace" '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 :: Type -> Type) :+: (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 "AttributeTypesMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attributes)))) :+: (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 :: Type -> Type))))) :+: (((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) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe RelationalError))) :+: (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 :: Type -> Type) :+: 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 :: Type -> Type) :+: 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 FunctionName)))))) :+: (((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 FunctionName) :*: 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 "IfThenExprExpectedBooleanError" 'PrefixI 'False) (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 :: Type -> Type) :+: C1 ('MetaCons "AtomTypeNameNotInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomTypeName))))) :+: ((C1 ('MetaCons "AttributeNotSortableError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: (C1 ('MetaCons "FunctionNameInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName)) :+: C1 ('MetaCons "FunctionNameNotInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionName)))) :+: (C1 ('MetaCons "EmptyCommitError" 'PrefixI 'False) (U1 :: Type -> Type) :+: (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 :: Type -> Type)))) :+: ((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 FunctionName) :*: 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 FunctionName)) :+: (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 "NotificationValidationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NotificationName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NotificationExpression) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalError))) :+: C1 ('MetaCons "ImportError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ImportError')))) :+: (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 :: Type -> Type) :+: C1 ('MetaCons "SecurityLoadFunctionError" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (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 :: Type -> Type))) :+: (C1 ('MetaCons "NonConcreteSchemaPlanError" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NoUncommittedContextInEvalError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TupleExprsReferenceMultipleMarkersError" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "MerkleHashValidationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TransactionId) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MerkleHash) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MerkleHash))) :+: (C1 ('MetaCons "RegisteredQueryValidationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RegisteredQueryName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalError)) :+: C1 ('MetaCons "RegisteredQueryNameInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RegisteredQueryName)))) :+: (C1 ('MetaCons "RegisteredQueryNameNotInUseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RegisteredQueryName)) :+: (C1 ('MetaCons "SQLConversionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SQLError)) :+: 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

Instances details
Generic PersistenceError Source # 
Instance details

Defined in ProjectM36.Error

Associated Types

type Rep PersistenceError :: Type -> Type Source #

Methods

from :: PersistenceError -> Rep PersistenceError x Source #

to :: Rep PersistenceError x -> PersistenceError Source #

Show PersistenceError Source # 
Instance details

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> PersistenceError -> ShowS Source #

show :: PersistenceError -> String Source #

showList :: [PersistenceError] -> ShowS Source #

NFData PersistenceError Source # 
Instance details

Defined in ProjectM36.Error

Methods

rnf :: PersistenceError -> () Source #

Eq PersistenceError Source # 
Instance details

Defined in ProjectM36.Error

Methods

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

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

Serialise PersistenceError Source # 
Instance details

Defined in ProjectM36.Serialise.Error

Methods

schemaGen :: Proxy PersistenceError -> SchemaGen Schema Source #

toBuilder :: PersistenceError -> Builder Source #

extractor :: Extractor PersistenceError Source #

decodeCurrent :: Decoder PersistenceError Source #

bundleSerialise :: BundleSerialise PersistenceError Source #

type Rep PersistenceError Source # 
Instance details

Defined in ProjectM36.Error

type Rep PersistenceError = D1 ('MetaData "PersistenceError" "ProjectM36.Error" "project-m36-1.1.1-inplace" '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 RelationalError 
StrategyWithoutPreferredBranchResolutionMergeError 
StrategyViolatesTypeConstructorMergeError 
StrategyViolatesRegisteredQueryMergeError [RegisteredQueryName] 

Instances

Instances details
Generic MergeError Source # 
Instance details

Defined in ProjectM36.Error

Associated Types

type Rep MergeError :: Type -> Type Source #

Methods

from :: MergeError -> Rep MergeError x Source #

to :: Rep MergeError x -> MergeError Source #

Show MergeError Source # 
Instance details

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> MergeError -> ShowS Source #

show :: MergeError -> String Source #

showList :: [MergeError] -> ShowS Source #

NFData MergeError Source # 
Instance details

Defined in ProjectM36.Error

Methods

rnf :: MergeError -> () Source #

Eq MergeError Source # 
Instance details

Defined in ProjectM36.Error

Methods

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

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

Serialise MergeError Source # 
Instance details

Defined in ProjectM36.Serialise.Error

Methods

schemaGen :: Proxy MergeError -> SchemaGen Schema Source #

toBuilder :: MergeError -> Builder Source #

extractor :: Extractor MergeError Source #

decodeCurrent :: Decoder MergeError Source #

bundleSerialise :: BundleSerialise MergeError Source #

type Rep MergeError Source # 
Instance details

Defined in ProjectM36.Error

type Rep MergeError = D1 ('MetaData "MergeError" "ProjectM36.Error" "project-m36-1.1.1-inplace" 'False) (((C1 ('MetaCons "SelectedHeadMismatchMergeError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PreferredHeadMissingMergeError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadName))) :+: (C1 ('MetaCons "StrategyViolatesConstraintMergeError" 'PrefixI 'False) (U1 :: Type -> Type) :+: (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 :: Type -> Type) :+: C1 ('MetaCons "StrategyViolatesRelationVariableMergeError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalError))) :+: (C1 ('MetaCons "StrategyWithoutPreferredBranchResolutionMergeError" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "StrategyViolatesTypeConstructorMergeError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StrategyViolatesRegisteredQueryMergeError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RegisteredQueryName]))))))

data ScriptCompilationError Source #

Constructors

TypeCheckCompilationError String String 
SyntaxErrorCompilationError String 
ScriptCompilationDisabledError 
OtherScriptCompilationError String 

Instances

Instances details
Exception ScriptCompilationError Source # 
Instance details

Defined in ProjectM36.Error

Methods

toException :: ScriptCompilationError -> SomeException Source #

fromException :: SomeException -> Maybe ScriptCompilationError Source #

displayException :: ScriptCompilationError -> String Source #

Generic ScriptCompilationError Source # 
Instance details

Defined in ProjectM36.Error

Associated Types

type Rep ScriptCompilationError :: Type -> Type Source #

Methods

from :: ScriptCompilationError -> Rep ScriptCompilationError x Source #

to :: Rep ScriptCompilationError x -> ScriptCompilationError Source #

Show ScriptCompilationError Source # 
Instance details

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> ScriptCompilationError -> ShowS Source #

show :: ScriptCompilationError -> String Source #

showList :: [ScriptCompilationError] -> ShowS Source #

NFData ScriptCompilationError Source # 
Instance details

Defined in ProjectM36.Error

Methods

rnf :: ScriptCompilationError -> () Source #

Eq ScriptCompilationError Source # 
Instance details

Defined in ProjectM36.Error

Methods

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

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

Serialise ScriptCompilationError Source # 
Instance details

Defined in ProjectM36.Serialise.Error

Methods

schemaGen :: Proxy ScriptCompilationError -> SchemaGen Schema Source #

toBuilder :: ScriptCompilationError -> Builder Source #

extractor :: Extractor ScriptCompilationError Source #

decodeCurrent :: Decoder ScriptCompilationError Source #

bundleSerialise :: BundleSerialise ScriptCompilationError Source #

type Rep ScriptCompilationError Source # 
Instance details

Defined in ProjectM36.Error

type Rep ScriptCompilationError = D1 ('MetaData "ScriptCompilationError" "ProjectM36.Error" "project-m36-1.1.1-inplace" '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 :: Type -> Type) :+: 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

Instances details
Generic SchemaError Source # 
Instance details

Defined in ProjectM36.Error

Associated Types

type Rep SchemaError :: Type -> Type Source #

Methods

from :: SchemaError -> Rep SchemaError x Source #

to :: Rep SchemaError x -> SchemaError Source #

Show SchemaError Source # 
Instance details

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> SchemaError -> ShowS Source #

show :: SchemaError -> String Source #

showList :: [SchemaError] -> ShowS Source #

NFData SchemaError Source # 
Instance details

Defined in ProjectM36.Error

Methods

rnf :: SchemaError -> () Source #

Eq SchemaError Source # 
Instance details

Defined in ProjectM36.Error

Methods

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

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

Serialise SchemaError Source # 
Instance details

Defined in ProjectM36.Serialise.Error

Methods

schemaGen :: Proxy SchemaError -> SchemaGen Schema Source #

toBuilder :: SchemaError -> Builder Source #

extractor :: Extractor SchemaError Source #

decodeCurrent :: Decoder SchemaError Source #

bundleSerialise :: BundleSerialise SchemaError Source #

type Rep SchemaError Source # 
Instance details

Defined in ProjectM36.Error

type Rep SchemaError = D1 ('MetaData "SchemaError" "ProjectM36.Error" "project-m36-1.1.1-inplace" '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 ImportError' Source #

Constructors

InvalidSHA256Error Text 
SHA256MismatchError Text Text 
InvalidFileURIError Text 
ImportFileDecodeError Text 
ImportFileError Text 
ImportDownloadError Text 

Instances

Instances details
Generic ImportError' Source # 
Instance details

Defined in ProjectM36.Error

Associated Types

type Rep ImportError' :: Type -> Type Source #

Methods

from :: ImportError' -> Rep ImportError' x Source #

to :: Rep ImportError' x -> ImportError' Source #

Show ImportError' Source # 
Instance details

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> ImportError' -> ShowS Source #

show :: ImportError' -> String Source #

showList :: [ImportError'] -> ShowS Source #

NFData ImportError' Source # 
Instance details

Defined in ProjectM36.Error

Methods

rnf :: ImportError' -> () Source #

Eq ImportError' Source # 
Instance details

Defined in ProjectM36.Error

Methods

(==) :: ImportError' -> ImportError' -> Bool Source #

(/=) :: ImportError' -> ImportError' -> Bool Source #

Serialise ImportError' Source # 
Instance details

Defined in ProjectM36.Serialise.Error

Methods

schemaGen :: Proxy ImportError' -> SchemaGen Schema Source #

toBuilder :: ImportError' -> Builder Source #

extractor :: Extractor ImportError' Source #

decodeCurrent :: Decoder ImportError' Source #

bundleSerialise :: BundleSerialise ImportError' Source #

type Rep ImportError' Source # 
Instance details

Defined in ProjectM36.Error

type Rep ImportError' = D1 ('MetaData "ImportError'" "ProjectM36.Error" "project-m36-1.1.1-inplace" 'False) ((C1 ('MetaCons "InvalidSHA256Error" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "SHA256MismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "InvalidFileURIError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))) :+: (C1 ('MetaCons "ImportFileDecodeError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "ImportFileError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "ImportDownloadError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

data SQLError Source #

Constructors

NotSupportedError Text 
TypeMismatchError AtomType AtomType 
NoSuchSQLFunctionError FuncName 
NoSuchSQLOperatorError OperatorName 
DuplicateTableReferenceError TableAlias 
MissingTableReferenceError TableAlias 
TableAliasMismatchError TableAlias 
UnexpectedTableNameError TableName 
UnexpectedColumnNameError ColumnName 
ColumnNamesMismatch (Set UnqualifiedColumnName) (Set UnqualifiedColumnName) 
ColumnResolutionError ColumnName 
ColumnAliasResolutionError ColumnAlias 
UnexpectedRelationalExprError RelationalExpr 
UnexpectedAsteriskError ColumnProjectionName 
UnexpectedColumnProjectionName ColumnProjectionName 
AmbiguousColumnResolutionError ColumnName 
DuplicateColumnAliasError ColumnAlias 
AggregateGroupByMismatchError ProjectionScalarExpr 
GroupByColumnNotReferencedInGroupByError [ProjectionScalarExpr] 
UnsupportedGroupByProjectionError ProjectionScalarExpr 
QueryOperatorTypeMismatchError QueryOperator Attributes Attributes 
SQLRelationalError RelationalError 

Instances

Instances details
Generic SQLError Source # 
Instance details

Defined in ProjectM36.Error

Associated Types

type Rep SQLError :: Type -> Type Source #

Methods

from :: SQLError -> Rep SQLError x Source #

to :: Rep SQLError x -> SQLError Source #

Show SQLError Source # 
Instance details

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> SQLError -> ShowS Source #

show :: SQLError -> String Source #

showList :: [SQLError] -> ShowS Source #

NFData SQLError Source # 
Instance details

Defined in ProjectM36.Error

Methods

rnf :: SQLError -> () Source #

Eq SQLError Source # 
Instance details

Defined in ProjectM36.Error

Methods

(==) :: SQLError -> SQLError -> Bool Source #

(/=) :: SQLError -> SQLError -> Bool Source #

Serialise SQLError Source # 
Instance details

Defined in ProjectM36.Serialise.Error

Methods

schemaGen :: Proxy SQLError -> SchemaGen Schema Source #

toBuilder :: SQLError -> Builder Source #

extractor :: Extractor SQLError Source #

decodeCurrent :: Decoder SQLError Source #

bundleSerialise :: BundleSerialise SQLError Source #

type Rep SQLError Source # 
Instance details

Defined in ProjectM36.Error

type Rep SQLError = D1 ('MetaData "SQLError" "ProjectM36.Error" "project-m36-1.1.1-inplace" 'False) ((((C1 ('MetaCons "NotSupportedError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "TypeMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AtomType))) :+: (C1 ('MetaCons "NoSuchSQLFunctionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FuncName)) :+: (C1 ('MetaCons "NoSuchSQLOperatorError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OperatorName)) :+: C1 ('MetaCons "DuplicateTableReferenceError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableAlias))))) :+: ((C1 ('MetaCons "MissingTableReferenceError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableAlias)) :+: (C1 ('MetaCons "TableAliasMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableAlias)) :+: C1 ('MetaCons "UnexpectedTableNameError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TableName)))) :+: (C1 ('MetaCons "UnexpectedColumnNameError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColumnName)) :+: (C1 ('MetaCons "ColumnNamesMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set UnqualifiedColumnName)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set UnqualifiedColumnName))) :+: C1 ('MetaCons "ColumnResolutionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColumnName)))))) :+: (((C1 ('MetaCons "ColumnAliasResolutionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColumnAlias)) :+: C1 ('MetaCons "UnexpectedRelationalExprError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalExpr))) :+: (C1 ('MetaCons "UnexpectedAsteriskError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColumnProjectionName)) :+: (C1 ('MetaCons "UnexpectedColumnProjectionName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColumnProjectionName)) :+: C1 ('MetaCons "AmbiguousColumnResolutionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColumnName))))) :+: ((C1 ('MetaCons "DuplicateColumnAliasError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColumnAlias)) :+: (C1 ('MetaCons "AggregateGroupByMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectionScalarExpr)) :+: C1 ('MetaCons "GroupByColumnNotReferencedInGroupByError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ProjectionScalarExpr])))) :+: (C1 ('MetaCons "UnsupportedGroupByProjectionError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProjectionScalarExpr)) :+: (C1 ('MetaCons "QueryOperatorTypeMismatchError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QueryOperator) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attributes) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attributes))) :+: C1 ('MetaCons "SQLRelationalError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RelationalError)))))))