Safe Haskell	Safe-Inferred
Language	Haskell2010

ProjectM36.Error

Documentation

data RelationalError Source #

Constructors

NoSuchAttributeNamesError (Set AttributeName)
TupleAttributeCountMismatchError Int
EmptyAttributesError
DuplicateAttributeNamesError (Set AttributeName)
TupleAttributeTypeMismatchError Attributes
AttributeCountMismatchError Int
AttributeNamesMismatchError (Set AttributeName)
AttributeNameInUseError AttributeName
AttributeIsNotRelationValuedError AttributeName
CouldNotInferAttributes
RelVarNotDefinedError RelVarName
RelVarAlreadyDefinedError RelVarName
RelationTypeMismatchError Attributes Attributes
InclusionDependencyCheckError IncDepName (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
RegisteredQueryValidationError RegisteredQueryName RelationalError
RegisteredQueryNameInUseError RegisteredQueryName
RegisteredQueryNameNotInUseError RegisteredQueryName
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-0.9.9-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 "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 "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-0.9.9-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
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-0.9.9-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) :+: 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-0.9.9-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-0.9.9-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-0.9.9-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)))))