| Safe Haskell | Safe-Inferred | 
|---|---|
| Language | Haskell2010 | 
Drasil.Database.Chunk
Documentation
A piece of reusable knowledge, with an internal identifier (UID),
 possibly dependant on other chunks.
type IsChunk a = (HasUID a, HasChunkRefs a, Typeable a) Source #
Constraint for anything that may be considered a valid chunk type.
class HasChunkRefs a where Source #
All chunks should expose what chunks they reference/rely on, so that we can
 test ChunkDBs to ensure all presupposed chunks are already registered.