Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data AnnotatedId id = AnnotatedId {
- ann_pid :: PackageId
- ann_cname :: ComponentName
- ann_id :: id
Documentation
data AnnotatedId id #
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 | |
|