| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Drasil.Database.TypedUIDRef
Synopsis
- newtype TypedUIDRef typ = TypedUIDRef UID
- mkRef :: IsChunk t => t -> TypedUIDRef t
Documentation
newtype TypedUIDRef typ Source #
UID references that contain information about the type of data the UID
refers to, useful for type-safe dereferencing.
Constructors
| TypedUIDRef UID |
mkRef :: IsChunk t => t -> TypedUIDRef t Source #
Create a TypedUIDRef to a chunk.