Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Unique.Really

Description

An abstract interface to a unique symbol generator.

Synopsis

Documentation

data Unique Source #

An abstract unique value. Values of type Unique may be compared for equality and hashed into Int.

Note: Unlike the symbols from Data.Unique , the symbols from this module do not become equal after reloads in the GHC interpreter!

Instances

Instances details

Eq Unique Source #
Instance details Defined in Data.Unique.Really Methods (==) :: Unique -> Unique -> Bool Source # (/=) :: Unique -> Unique -> Bool Source #
Hashable Unique Source #
Instance details Defined in Data.Unique.Really Methods hashWithSalt :: Int -> Unique -> Int Source # hash :: Unique -> Int Source #

newUnique :: IO Unique Source #

Creates a new object of type Unique . The value returned will not compare equal to any other value of type Unique returned by previous calls to newUnique . There is no limit on the number of times you may call this function.

hashUnique :: Unique -> Int Source #

Hashes a Unique into an Int . Two Uniques may hash to the same value, although in practice this is unlikely. The Int returned makes a good hash key.