patat-0.14.2.0: Terminal-based presentations using Pandoc
Safe HaskellNone
LanguageHaskell2010

Patat.Unique

Synopsis

Documentation

data Unique Source #

Can be used as a unique identifier.

Instances

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

data UniqueGen Source #

Used to generate fresh variables.

Instances

Instances details
Show UniqueGen Source # 
Instance details

Defined in Patat.Unique

Methods

showsPrec :: Int -> UniqueGen -> ShowS

show :: UniqueGen -> String

showList :: [UniqueGen] -> ShowS