Safe Haskell	Safe-Inferred
Language	Haskell2010

Patat.Unique

Synopsis

Documentation

Can be used as a unique identifier.

Instances details

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

Used to generate fresh variables.

Instances details

Show UniqueGen Source #
Instance details Defined in Patat.Unique Methods showsPrec :: Int -> UniqueGen -> ShowS # show :: UniqueGen -> String # showList :: [UniqueGen] -> ShowS #