| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
ProjectM36.Tuple
Synopsis
- emptyTuple :: RelationTuple
- tupleSize :: RelationTuple -> Int
- tupleAttributeNameSet :: RelationTuple -> Set AttributeName
- tupleAttributes :: RelationTuple -> Attributes
- tupleAssocs :: RelationTuple -> [(AttributeName, Atom)]
- orderedTupleAssocs :: 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
- tupleProject :: Attributes -> RelationTuple -> Either RelationalError RelationTuple
- tupleIntersection :: RelationTuple -> RelationTuple -> RelationTuple
- updateTupleWithAtoms :: Map AttributeName Atom -> RelationTuple -> RelationTuple
- tupleToMap :: RelationTuple -> Map AttributeName Atom
- verifyTuple :: Attributes -> RelationTuple -> Either RelationalError RelationTuple
- reorderTuple :: Attributes -> RelationTuple -> RelationTuple
- trimTuple :: Int -> RelationTuple -> RelationTuple
Documentation
tupleSize :: RelationTuple -> Int Source #
tupleAssocs :: RelationTuple -> [(AttributeName, Atom)] Source #
orderedTupleAssocs :: RelationTuple -> [(AttributeName, Atom)] Source #
tupleAtoms :: RelationTuple -> Vector Atom Source #
atomsForAttributeNames :: Vector AttributeName -> RelationTuple -> Either RelationalError (Vector Atom) Source #
vectorIndicesForAttributeNames :: Vector AttributeName -> Attributes -> Either RelationalError (Vector Int) Source #
relationForAttributeName :: AttributeName -> RelationTuple -> Either RelationalError Relation Source #
mkRelationTuple :: Attributes -> Vector Atom -> RelationTuple Source #
mkRelationTuples :: Attributes -> [Vector Atom] -> [RelationTuple] Source #
singleTupleSetJoin :: Attributes -> RelationTuple -> RelationTupleSet -> Either RelationalError [RelationTuple] Source #
singleTupleJoin :: Attributes -> RelationTuple -> RelationTuple -> Either RelationalError (Maybe RelationTuple) Source #
tupleAtomExtend :: AttributeName -> Atom -> RelationTuple -> RelationTuple Source #
updateTupleWithAtoms :: Map AttributeName Atom -> RelationTuple -> RelationTuple Source #
An optimized form of tuple update which updates vectors efficiently.
verifyTuple :: Attributes -> RelationTuple -> Either RelationalError RelationTuple Source #
Validate that the tuple has the correct attributes in the correct order
reorderTuple :: Attributes -> RelationTuple -> RelationTuple Source #
trimTuple :: Int -> RelationTuple -> RelationTuple Source #