Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
ProjectM36.TupleSet
Synopsis
- emptyTupleSet :: RelationTupleSet
- singletonTupleSet :: RelationTupleSet
- verifyTupleSet :: Attributes -> RelationTupleSet -> Either RelationalError RelationTupleSet
- mkTupleSet :: Attributes -> [RelationTuple] -> Either RelationalError RelationTupleSet
- mkTupleSetFromList :: Attributes -> [[Atom]] -> Either RelationalError RelationTupleSet
- tupleSetUnion :: Attributes -> RelationTupleSet -> RelationTupleSet -> RelationTupleSet
Documentation
verifyTupleSet :: Attributes -> RelationTupleSet -> Either RelationalError RelationTupleSet Source #
mkTupleSetFromList :: Attributes -> [[Atom]] -> Either RelationalError RelationTupleSet Source #
tupleSetUnion :: Attributes -> RelationTupleSet -> RelationTupleSet -> RelationTupleSet Source #
Union two tuplesets while reordering their attribute/atom mapping properly.