| 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.