Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Label

Description

Assignment of unique IDs to values. Inspired by the intern package.

Synopsis

Documentation

A value of type a which has been given a unique ID.

Instances details

Show (Label a) Source #
Instance details Defined in Data.Label Methods showsPrec :: Int -> Label a -> ShowS # show :: Label a -> String # showList :: [Label a] -> ShowS #
Eq (Label a) Source #
Instance details Defined in Data.Label Methods (==) :: Label a -> Label a -> Bool # (/=) :: Label a -> Label a -> Bool #
Ord (Label a) Source #
Instance details Defined in Data.Label Methods compare :: Label a -> Label a -> Ordering # (<) :: Label a -> Label a -> Bool # (<=) :: Label a -> Label a -> Bool # (>) :: Label a -> Label a -> Bool # (>=) :: Label a -> Label a -> Bool # max :: Label a -> Label a -> Label a # min :: Label a -> Label a -> Label a #

Construct a Label a from its unique ID, which must be the labelNum of an already existing Label. Extremely unsafe!

The unique ID of a label.

label :: forall a. (Typeable a, Ord a) => a -> Label a Source #

Assign a label to a value.

Recover the underlying value from a label.