U.Codebase.Sqlite.Symbol
data Symbol Source #
Constructors
Defined in U.Codebase.Sqlite.Symbol
Methods
showsPrec :: Int -> Symbol -> ShowS #
show :: Symbol -> String #
showList :: [Symbol] -> ShowS #
(==) :: Symbol -> Symbol -> Bool #
(/=) :: Symbol -> Symbol -> Bool #
compare :: Symbol -> Symbol -> Ordering #
(<) :: Symbol -> Symbol -> Bool #
(<=) :: Symbol -> Symbol -> Bool #
(>) :: Symbol -> Symbol -> Bool #
(>=) :: Symbol -> Symbol -> Bool #
max :: Symbol -> Symbol -> Symbol #
min :: Symbol -> Symbol -> Symbol #
This clever instance relies on Ord to synthesize a new id. If i > i2, then s > vs; otherwise increment the max i2: freshIn (0,"foo"), (1,"bar") = (3, "cat")
freshIn :: Set Symbol -> Symbol -> Symbol #