| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Database.Drasil.TypedUIDRef
Synopsis
- data TypedUIDRef typ
- mkRef :: IsChunk t => t -> TypedUIDRef t
- typedFind :: IsChunk t => TypedUIDRef t -> ChunkDB -> Maybe t
- typedFindOrErr :: IsChunk t => TypedUIDRef t -> ChunkDB -> t
Documentation
data TypedUIDRef typ #
mkRef :: IsChunk t => t -> TypedUIDRef t #
Create a TypedUIDRef to a chunk.
typedFind :: IsChunk t => TypedUIDRef t -> ChunkDB -> Maybe t Source #
Find a chunk by its typed UID reference.
typedFindOrErr :: IsChunk t => TypedUIDRef t -> ChunkDB -> t Source #
Find a chunk by its typed UID reference, erroring if not found.