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