Twee.Label

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

Documentation

data Label a

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

Instances

Eq (Label a)

Defined in Twee.Label

Methods

(==) :: Label a -> Label a -> Bool

(/=) :: Label a -> Label a -> Bool

Ord (Label a)

Defined in Twee.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

Show (Label a)

Defined in Twee.Label

Methods

showsPrec :: Int -> Label a -> ShowS

show :: Label a -> String

showList :: [Label a] -> ShowS

unsafeMkLabel :: Int32 -> Label a

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

labelNum :: Label a -> Int32

The unique ID of a label.

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

Assign a label to a value.

find :: Label a -> a

Recover the underlying value from a label.