git.iko.soy/project-m36
on 18de5fe help sign in
project-m36/RelationalError.hs
26 lines 1.1 kB history raw
1module RelationalError where
2import RelationType
3import qualified Data.UUID as U
4import qualified Data.Set as S
7data RelationalError = NoSuchAttributeNameError String
8 | TupleAttributeCountMismatchError Int --attribute name
9 | TupleAttributeTypeMismatchError Attributes
10 | AttributeCountMismatchError Int
11 | AttributeNameMismatchError String
12 | AttributeNameInUseError AttributeName
13 | AttributeIsNotRelationValuedError AttributeName
14 | RelVarNotDefinedError String
15 | RelVarAlreadyDefinedError String
16 | RelVarAssignmentTypeMismatchError
17 | InclusionDependencyCheckError String
18 | ParseError String
19 | PredicateExpressionError String
20 | NoSuchTransactionError U.UUID
21 | NoSuchHeadNameError HeadName
22 | TransactionIsNotAHeadError U.UUID
23 | TransactionGraphCycleError U.UUID
24 deriving (Show,Eq)