Data.Unique

Авторские права	(c) Университет Глазго 2001
Лицензия	BSD-стиль (см. файл libraries/base/LICENSE)
Поддерживающий	libraries@haskell.org
Стабильность	стабильная
Переносимость	непереносимая
Safe Haskell	Безопасный
Язык	Haskell2010

Содержание

Уникальные объекты

Описание

Абстрактный интерфейс генератора уникальных символов.

Уникальные объекты

data Unique Источник

Абстрактный уникальный объект. Объекты типа Unique могут быть сравнены на равенство и упорядочены и хешированы в Int.

>>> :{
do x <- newUnique
   print (x == x)
   y <- newUnique
   print (x == y)
:}
True
False

Примеры реализации

Подробности примеров реализации

Eq Unique Источник
Подробности примера реализации Определено в GHC.Internal.Data.Unique Методы (==) :: Unique -> Unique -> Bool Источник (/=) :: Unique -> Unique -> Bool Источник
Ord Unique Источник
Подробности примера реализации Определено в GHC.Internal.Data.Unique Методы compare :: Unique -> Unique -> Порядок Источник (<) :: Unique -> Unique -> Bool Источник (<=) :: Unique -> Unique -> Bool Источник (>) :: Unique -> Unique -> Bool Источник (>=) :: Unique -> Unique -> Bool Источник max :: Unique -> Unique -> Unique Источник min :: Unique -> Unique -> Unique Источник

newUnique :: IO Unique Источник

Создаёт новый объект типа Unique. Возвращаемое значение не будет равным ни одному другому значению типа Unique, возвращённому предыдущими вызовами newUnique. Нет ограничений на количество вызовов newUnique.

hashUnique :: Unique -> Целое число Источник

Хеширует Unique в целое число Int. Два Unique могут иметь одинаковый хеш, хотя на практике это маловероятно. Возвращаемое Int является хорошим ключом хеширования.