ProjectM36.Error

Documentation

data RelationalError

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

AttributeNotSortableError Attribute

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

NonConcreteSchemaPlanError

NoUncommittedContextInEvalError

TupleExprsReferenceMultipleMarkersError

MerkleHashValidationError TransactionId MerkleHash MerkleHash

MultipleErrors [RelationalError]

Instances

Eq RelationalError

Defined in ProjectM36.Error

Methods

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

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

Show RelationalError

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> RelationalError -> ShowS

show :: RelationalError -> String

showList :: [RelationalError] -> ShowS

Generic RelationalError

Defined in ProjectM36.Error

Associated Types

type Rep RelationalError :: Type -> Type

Methods

from :: RelationalError -> Rep RelationalError x

to :: Rep RelationalError x -> RelationalError

Binary RelationalError

Defined in ProjectM36.Error

Methods

put :: RelationalError -> Put

get :: Get RelationalError

putList :: [RelationalError] -> Put

NFData RelationalError

Defined in ProjectM36.Error

Methods

rnf :: RelationalError -> ()

DatabaseContextM (ReaderT GraphRefRelationalExprEnv (ExceptT RelationalError Identity))

Defined in ProjectM36.RelationalExpression

Methods

getContext :: ReaderT GraphRefRelationalExprEnv (ExceptT RelationalError Identity) DatabaseContext

AskGraphContext (ReaderT GraphRefSOptDatabaseContextExprEnv (ExceptT RelationalError Identity))

Defined in ProjectM36.StaticOptimizer

Methods

askGraph :: ReaderT GraphRefSOptDatabaseContextExprEnv (ExceptT RelationalError Identity) TransactionGraph

askContext :: ReaderT GraphRefSOptDatabaseContextExprEnv (ExceptT RelationalError Identity) DatabaseContext

AskGraphContext (ReaderT GraphRefSOptRelationalExprEnv (ExceptT RelationalError Identity))

Defined in ProjectM36.StaticOptimizer

Methods

askGraph :: ReaderT GraphRefSOptRelationalExprEnv (ExceptT RelationalError Identity) TransactionGraph

askContext :: ReaderT GraphRefSOptRelationalExprEnv (ExceptT RelationalError Identity) DatabaseContext

DatabaseContextM (RWST DatabaseContextEvalEnv () DatabaseContextEvalState (ExceptT RelationalError Identity))

Defined in ProjectM36.RelationalExpression

Methods

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

type Rep RelationalError

Defined in ProjectM36.Error

type Rep RelationalError = D1 (MetaData "RelationalError" "ProjectM36.Error" "project-m36-0.8-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 "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)) :+: 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 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 :: 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 AtomFunctionName)) :+: C1 (MetaCons "FunctionNameNotInUseError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AtomFunctionName)))))) :+: (((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 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 :: 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 "MultipleErrors" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RelationalError])))))))))

data PersistenceError

Constructors

InvalidDirectoryError FilePath

MissingTransactionError TransactionId

WrongDatabaseFormatVersionError String String

Instances

Eq PersistenceError

Defined in ProjectM36.Error

Methods

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

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

Show PersistenceError

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> PersistenceError -> ShowS

show :: PersistenceError -> String

showList :: [PersistenceError] -> ShowS

Generic PersistenceError

Defined in ProjectM36.Error

Associated Types

type Rep PersistenceError :: Type -> Type

Methods

from :: PersistenceError -> Rep PersistenceError x

to :: Rep PersistenceError x -> PersistenceError

Binary PersistenceError

Defined in ProjectM36.Error

Methods

put :: PersistenceError -> Put

get :: Get PersistenceError

putList :: [PersistenceError] -> Put

NFData PersistenceError

Defined in ProjectM36.Error

Methods

rnf :: PersistenceError -> ()

type Rep PersistenceError

Defined in ProjectM36.Error

type Rep PersistenceError = D1 (MetaData "PersistenceError" "ProjectM36.Error" "project-m36-0.8-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

data MergeError

Constructors

SelectedHeadMismatchMergeError

PreferredHeadMissingMergeError HeadName

StrategyViolatesConstraintMergeError

InvalidMergeStrategyError MergeStrategy

DisconnectedTransactionNotAMergeHeadError TransactionId

StrategyViolatesComponentMergeError

StrategyViolatesRelationVariableMergeError

StrategyViolatesTypeConstructorMergeError

Instances

Eq MergeError

Defined in ProjectM36.Error

Methods

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

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

Show MergeError

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> MergeError -> ShowS

show :: MergeError -> String

showList :: [MergeError] -> ShowS

Generic MergeError

Defined in ProjectM36.Error

Associated Types

type Rep MergeError :: Type -> Type

Methods

from :: MergeError -> Rep MergeError x

to :: Rep MergeError x -> MergeError

Binary MergeError

Defined in ProjectM36.Error

Methods

put :: MergeError -> Put

get :: Get MergeError

putList :: [MergeError] -> Put

NFData MergeError

Defined in ProjectM36.Error

Methods

rnf :: MergeError -> ()

type Rep MergeError

Defined in ProjectM36.Error

type Rep MergeError = D1 (MetaData "MergeError" "ProjectM36.Error" "project-m36-0.8-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) (U1 :: Type -> Type) :+: C1 (MetaCons "StrategyViolatesTypeConstructorMergeError" PrefixI False) (U1 :: Type -> Type))))

data ScriptCompilationError

Constructors

TypeCheckCompilationError String String

SyntaxErrorCompilationError String

ScriptCompilationDisabledError

OtherScriptCompilationError String

Instances

Eq ScriptCompilationError

Defined in ProjectM36.Error

Methods

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

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

Show ScriptCompilationError

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> ScriptCompilationError -> ShowS

show :: ScriptCompilationError -> String

showList :: [ScriptCompilationError] -> ShowS

Generic ScriptCompilationError

Defined in ProjectM36.Error

Associated Types

type Rep ScriptCompilationError :: Type -> Type

Methods

from :: ScriptCompilationError -> Rep ScriptCompilationError x

to :: Rep ScriptCompilationError x -> ScriptCompilationError

Exception ScriptCompilationError

Defined in ProjectM36.Error

Methods

toException :: ScriptCompilationError -> SomeException

fromException :: SomeException -> Maybe ScriptCompilationError

displayException :: ScriptCompilationError -> String

Binary ScriptCompilationError

Defined in ProjectM36.Error

Methods

put :: ScriptCompilationError -> Put

get :: Get ScriptCompilationError

putList :: [ScriptCompilationError] -> Put

NFData ScriptCompilationError

Defined in ProjectM36.Error

Methods

rnf :: ScriptCompilationError -> ()

type Rep ScriptCompilationError

Defined in ProjectM36.Error

type Rep ScriptCompilationError = D1 (MetaData "ScriptCompilationError" "ProjectM36.Error" "project-m36-0.8-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

Constructors

RelVarReferencesMissing (Set RelVarName)

RelVarInReferencedMoreThanOnce RelVarName

RelVarOutReferencedMoreThanOnce RelVarName

Instances

Eq SchemaError

Defined in ProjectM36.Error

Methods

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

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

Show SchemaError

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> SchemaError -> ShowS

show :: SchemaError -> String

showList :: [SchemaError] -> ShowS

Generic SchemaError

Defined in ProjectM36.Error

Associated Types

type Rep SchemaError :: Type -> Type

Methods

from :: SchemaError -> Rep SchemaError x

to :: Rep SchemaError x -> SchemaError

Binary SchemaError

Defined in ProjectM36.Error

Methods

put :: SchemaError -> Put

get :: Get SchemaError

putList :: [SchemaError] -> Put

NFData SchemaError

Defined in ProjectM36.Error

Methods

rnf :: SchemaError -> ()

type Rep SchemaError

Defined in ProjectM36.Error

type Rep SchemaError = D1 (MetaData "SchemaError" "ProjectM36.Error" "project-m36-0.8-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 ServerError

Constructors

RequestTimeoutError

ProcessDiedError String

Instances

Eq ServerError

Defined in ProjectM36.Error

Methods

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

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

Generic ServerError

Defined in ProjectM36.Error

Associated Types

type Rep ServerError :: Type -> Type

Methods

from :: ServerError -> Rep ServerError x

to :: Rep ServerError x -> ServerError

Binary ServerError

Defined in ProjectM36.Error

Methods

put :: ServerError -> Put

get :: Get ServerError

putList :: [ServerError] -> Put

type Rep ServerError

Defined in ProjectM36.Error

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