Patat.Unique
data Unique Source #
Can be used as a unique identifier.
Defined in Patat.Unique
Methods
showsPrec :: Int -> Unique -> ShowS
show :: Unique -> String
showList :: [Unique] -> ShowS
(==) :: Unique -> Unique -> Bool
(/=) :: Unique -> Unique -> Bool
compare :: Unique -> Unique -> Ordering
(<) :: Unique -> Unique -> Bool
(<=) :: Unique -> Unique -> Bool
(>) :: Unique -> Unique -> Bool
(>=) :: Unique -> Unique -> Bool
max :: Unique -> Unique -> Unique
min :: Unique -> Unique -> Unique
hashWithSalt :: Int -> Unique -> Int
hash :: Unique -> Int
data UniqueGen Source #
Used to generate fresh variables.
showsPrec :: Int -> UniqueGen -> ShowS
show :: UniqueGen -> String
showList :: [UniqueGen] -> ShowS
zeroUniqueGen :: UniqueGen Source #
freshUnique :: UniqueGen -> (Unique, UniqueGen) Source #