Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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 | |
|
Functor AnnotatedId # | |
Eq id => Eq (AnnotatedId id) # | |
Ord id => Ord (AnnotatedId id) # | |
Show id => Show (AnnotatedId id) # | |
Package (AnnotatedId id) # | |