git.iko.soy/project-m36
on 89eff3b help sign in
project-m36/RelationalError.hs
23 lines 1.0 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 | TransactionIsNotAHead U.UUID
21 deriving (Show,Eq)