Math.Tools.Id
data Id Source #
Constructors
Fields
Defined in Math.Tools.Id
Methods
showsPrec :: Int -> Id -> ShowS #
show :: Id -> String #
showList :: [Id] -> ShowS #
location_of :: Id -> LineInfo Source #
pp :: Id -> Doc Source #
all_elements :: [Id] Source #
(==) :: Id -> Id -> Bool #
(/=) :: Id -> Id -> Bool #
compare :: Id -> Id -> Ordering #
(<) :: Id -> Id -> Bool #
(<=) :: Id -> Id -> Bool #
(>) :: Id -> Id -> Bool #
(>=) :: Id -> Id -> Bool #
max :: Id -> Id -> Id #
min :: Id -> Id -> Id #
mkId :: String -> LineInfo -> Id Source #
newId :: String -> Id Source #
all_ids :: [Id] Source #
lineDesc :: Id -> Doc Source #
lineOf :: Id -> Int Source #