ProjectM36.Tuple

Documentation

emptyTuple :: RelationTuple

tupleSize :: RelationTuple -> Int

tupleAttributeNameSet :: RelationTuple -> Set AttributeName

tupleAttributes :: RelationTuple -> Attributes

tupleAssocs :: RelationTuple -> [(AttributeName, Atom)]

tupleAtoms :: RelationTuple -> Vector Atom

atomForAttributeName :: AttributeName -> RelationTuple -> Either RelationalError Atom

atomsForAttributeNames :: Vector AttributeName -> RelationTuple -> Either RelationalError (Vector Atom)

vectorIndicesForAttributeNames :: Vector AttributeName -> Attributes -> Either RelationalError (Vector Int)

relationForAttributeName :: AttributeName -> RelationTuple -> Either RelationalError Relation

tupleRenameAttribute :: AttributeName -> AttributeName -> RelationTuple -> RelationTuple

mkRelationTuple :: Attributes -> Vector Atom -> RelationTuple

mkRelationTuples :: Attributes -> [Vector Atom] -> [RelationTuple]

mkRelationTupleFromMap :: Map AttributeName Atom -> RelationTuple

singleTupleSetJoin :: Attributes -> RelationTuple -> RelationTupleSet -> Either RelationalError [RelationTuple]

singleTupleJoin :: Attributes -> RelationTuple -> RelationTuple -> Either RelationalError (Maybe RelationTuple)

vectorUnion :: Eq a => Vector a -> Vector a -> Vector a

tupleExtend :: RelationTuple -> RelationTuple -> RelationTuple

tupleAtomExtend :: AttributeName -> Atom -> RelationTuple -> RelationTuple

tupleSortedAssocs :: RelationTuple -> [(AttributeName, Atom)]

tupleProject :: Set AttributeName -> RelationTuple -> RelationTuple

tupleIntersection :: RelationTuple -> RelationTuple -> RelationTuple

updateTupleWithAtoms :: Map AttributeName Atom -> RelationTuple -> RelationTuple

An optimized form of tuple update which updates vectors efficiently.

tupleToMap :: RelationTuple -> Map AttributeName Atom

verifyTuple :: Attributes -> RelationTuple -> Either RelationalError RelationTuple

reorderTuple :: Attributes -> RelationTuple -> RelationTuple