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 (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

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

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

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

NFData RelationalError

Defined in ProjectM36.Error

Methods

rnf :: RelationalError -> ()

Serialise RelationalError

Defined in ProjectM36.Serialise.Error

Methods

schemaGen :: Proxy RelationalError -> SchemaGen Schema

toBuilder :: RelationalError -> Builder

extractor :: Extractor RelationalError

decodeCurrent :: Decoder RelationalError

bundleSerialise :: BundleSerialise 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.9.4-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) :*: 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 "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 "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 "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

NFData PersistenceError

Defined in ProjectM36.Error

Methods

rnf :: PersistenceError -> ()

Serialise PersistenceError

Defined in ProjectM36.Serialise.Error

Methods

schemaGen :: Proxy PersistenceError -> SchemaGen Schema

toBuilder :: PersistenceError -> Builder

extractor :: Extractor PersistenceError

decodeCurrent :: Decoder PersistenceError

bundleSerialise :: BundleSerialise PersistenceError

type Rep PersistenceError

Defined in ProjectM36.Error

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

NFData MergeError

Defined in ProjectM36.Error

Methods

rnf :: MergeError -> ()

Serialise MergeError

Defined in ProjectM36.Serialise.Error

Methods

schemaGen :: Proxy MergeError -> SchemaGen Schema

toBuilder :: MergeError -> Builder

extractor :: Extractor MergeError

decodeCurrent :: Decoder MergeError

bundleSerialise :: BundleSerialise MergeError

type Rep MergeError

Defined in ProjectM36.Error

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

NFData ScriptCompilationError

Defined in ProjectM36.Error

Methods

rnf :: ScriptCompilationError -> ()

Serialise ScriptCompilationError

Defined in ProjectM36.Serialise.Error

Methods

schemaGen :: Proxy ScriptCompilationError -> SchemaGen Schema

toBuilder :: ScriptCompilationError -> Builder

extractor :: Extractor ScriptCompilationError

decodeCurrent :: Decoder ScriptCompilationError

bundleSerialise :: BundleSerialise ScriptCompilationError

type Rep ScriptCompilationError

Defined in ProjectM36.Error

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

NFData SchemaError

Defined in ProjectM36.Error

Methods

rnf :: SchemaError -> ()

Serialise SchemaError

Defined in ProjectM36.Serialise.Error

Methods

schemaGen :: Proxy SchemaError -> SchemaGen Schema

toBuilder :: SchemaError -> Builder

extractor :: Extractor SchemaError

decodeCurrent :: Decoder SchemaError

bundleSerialise :: BundleSerialise SchemaError

type Rep SchemaError

Defined in ProjectM36.Error

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

Constructors

InvalidSHA256Error Text

SHA256MismatchError Text Text

InvalidFileURIError Text

ImportFileDecodeError Text

ImportFileError Text

ImportDownloadError Text

Instances

Eq ImportError'

Defined in ProjectM36.Error

Methods

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

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

Show ImportError'

Defined in ProjectM36.Error

Methods

showsPrec :: Int -> ImportError' -> ShowS

show :: ImportError' -> String

showList :: [ImportError'] -> ShowS

Generic ImportError'

Defined in ProjectM36.Error

Associated Types

type Rep ImportError' :: Type -> Type

Methods

from :: ImportError' -> Rep ImportError' x

to :: Rep ImportError' x -> ImportError'

NFData ImportError'

Defined in ProjectM36.Error

Methods

rnf :: ImportError' -> ()

Serialise ImportError'

Defined in ProjectM36.Serialise.Error

Methods

schemaGen :: Proxy ImportError' -> SchemaGen Schema

toBuilder :: ImportError' -> Builder

extractor :: Extractor ImportError'

decodeCurrent :: Decoder ImportError'

bundleSerialise :: BundleSerialise ImportError'

type Rep ImportError'

Defined in ProjectM36.Error

type Rep ImportError' = D1 ('MetaData "ImportError'" "ProjectM36.Error" "project-m36-0.9.4-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)))))