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 | |
|
Instances
Functor AnnotatedId # | |
fmap :: (a -> b) -> AnnotatedId a -> AnnotatedId b # (<$) :: a -> AnnotatedId b -> AnnotatedId a # | |
Eq id => Eq (AnnotatedId id) # | |
(==) :: AnnotatedId id -> AnnotatedId id -> Bool # (/=) :: AnnotatedId id -> AnnotatedId id -> Bool # | |
Ord id => Ord (AnnotatedId id) # | |
compare :: AnnotatedId id -> AnnotatedId id -> Ordering # (<) :: AnnotatedId id -> AnnotatedId id -> Bool # (<=) :: AnnotatedId id -> AnnotatedId id -> Bool # (>) :: AnnotatedId id -> AnnotatedId id -> Bool # (>=) :: AnnotatedId id -> AnnotatedId id -> Bool # max :: AnnotatedId id -> AnnotatedId id -> AnnotatedId id # min :: AnnotatedId id -> AnnotatedId id -> AnnotatedId id # | |
Show id => Show (AnnotatedId id) # | |
showsPrec :: Int -> AnnotatedId id -> ShowS # show :: AnnotatedId id -> String # showList :: [AnnotatedId id] -> ShowS # | |
Package (AnnotatedId id) # | |
packageId :: AnnotatedId id -> PackageIdentifier # |