drasil-database-0.1.1.0: A framework for code and document generation for scientific software - Database SubPackage
Safe HaskellSafe-Inferred
LanguageHaskell2010

Drasil.Database.ChunkDB

Synopsis

Core database types and functions.

data ChunkDB Source #

Drasil's knowledge database.

empty :: ChunkDB Source #

An empty ChunkDB.

fromList :: IsChunk a => [a] -> ChunkDB Source #

Create a ChunkDB from a list of chunks. This will insert all chunks into the database from the list, from left to right.

registered :: ChunkDB -> [UID] Source #

Query the ChunkDB for all registered chunks (by their UIDs).

typesRegistered :: ChunkDB -> [TypeRep] Source #

Enumerate all types registered in the ChunkDB.

size :: ChunkDB -> Int Source #

Get the number of chunks registered in the ChunkDB.

isRegistered :: UID -> ChunkDB -> Bool Source #

Check if a UID is registered in the ChunkDB.

findUnused :: ChunkDB -> [UID] Source #

Filter the ChunkDB for chunks that are not needed by any other chunks. These are the only chunks that can safely be removed from the database, though we do not include this functionality.

find :: Typeable a => UID -> ChunkDB -> Maybe a Source #

Find a chunk by its UID in the ChunkDB.

findOrErr :: forall a. Typeable a => UID -> ChunkDB -> a Source #

Find a chunk by its UID in the ChunkDB, throwing a hard error if it is not found.

findAll :: forall a. IsChunk a => ChunkDB -> [a] Source #

Find all chunks of a specific type in the ChunkDB.

findAll' :: TypeRep -> ChunkDB -> [UID] Source #

Find all chunks of a specific type in the ChunkDB, returning their UIDs rather than the chunks themselves.

dependants :: UID -> ChunkDB -> Maybe [UID] Source #

Find all chunks that depend on a specific one.

dependantsOrErr :: UID -> ChunkDB -> [UID] Source #

Find all chunks that depend on a specific one, throwing a hard error if the dependency chunk is not found.

findTypeOf :: UID -> ChunkDB -> Maybe TypeRep Source #

Find the type of a chunk by its UID.

insert :: IsChunk a => a -> ChunkDB -> ChunkDB Source #

Insert a chunk into the ChunkDB if it is sensible to do so (i.e., does not depend on itself, is not a ChunkDB, and does not overwrite another chunk).

insertAll :: IsChunk a => [a] -> ChunkDB -> ChunkDB Source #

Insert a list of chunks into a ChunkDB.

Temporary functions

insertAllOutOfOrder11 :: (IsChunk a, IsChunk b, IsChunk c, IsChunk d, IsChunk e, IsChunk f, IsChunk g, IsChunk h, IsChunk i, IsChunk j, IsChunk k) => ChunkDB -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g] -> [h] -> [i] -> [j] -> [k] -> ChunkDB Source #

Insert 11 lists of unique chunk types into a ChunkDB, assuming the input ChunkDB does not already contain any of the chunks from the chunk lists.