Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
-
data
AnnotatedId
id =
AnnotatedId
{
- ann_pid :: PackageId
- ann_cname :: ComponentName
- ann_id :: id
Documentation
data AnnotatedId id Source #
An
AnnotatedId
is a
ComponentId
,
UnitId
, etc.
which is annotated with some other useful information
that is useful for printing to users, etc.
Invariant: if ann_id x == ann_id y, then ann_pid x == ann_pid y and ann_cname x == ann_cname y
AnnotatedId | |
|