Holumbus.Index.CompactDocuments

A more space efficient substitute for Holumbus.Index.Documents

Documents type

data Documents a

Constructors

Documents

Fields

idToDoc :: !(DocMap a)

A mapping from a document id to the document itself.

docToId :: !URIMap

A space efficient mapping from the URI of a document to its id.

lastDocId :: !DocId

The last used document id.

Instances

Binary a => HolDocuments Documents a

(Binary a, HolIndex i) => HolDocIndex Documents a i

Eq a => Eq (Documents a)

Show (Documents a)

Binary a => Binary (Documents a)

NFData a => NFData (Documents a)

(Binary a, XmlPickler a) => XmlPickler (Documents a)

newtype CompressedDoc a

Constructors

CDoc

Fields

unCDoc :: ByteString

Instances

Eq (CompressedDoc a)

Show (CompressedDoc a)

Binary a => Binary (CompressedDoc a)

NFData (CompressedDoc a)

(Binary a, XmlPickler a) => XmlPickler (CompressedDoc a)

type DocMap a = DocIdMap (CompressedDoc a)

type URIMap = PrefixTree DocId

The table which is used to map a document to an artificial id and vice versa.

Construction

emptyDocuments :: Documents a

Create an empty table.

singleton :: Binary a => Document a -> Documents a

Create a document table containing a single document.

Conversion

simplify :: (Binary a, Show a) => Documents a -> Documents String

Simplify a document table by transforming the custom information into a string.

toDocument :: Binary a => CompressedDoc a -> Document a

fromDocument :: Binary a => Document a -> CompressedDoc a

fromDocMap :: Binary a => DocMap a -> DocIdMap (Document a)

toDocMap :: Binary a => DocIdMap (Document a) -> DocMap a