Documentation

data Id Source

stringFromId :: Id -> String Source

idFromString :: String -> Id Source

idFromStringEx :: Enum a => a -> String -> Id Source

dummyId :: Id Source

freshIdFromId :: Id -> NameSupply -> (Id, NameSupply) Source

getNameSpace :: Enum a => Id -> a Source

setNameSpace :: Enum a => a -> Id -> Id Source

data NameSupply Source

newNameSupply :: IO NameSupply Source

splitNameSupply :: NameSupply -> (NameSupply, NameSupply) Source

splitNameSupplies :: NameSupply -> [NameSupply] Source

freshId :: NameSupply -> (Id, NameSupply) Source

mapWithSupply :: (NameSupply -> a -> b) -> NameSupply -> [a] -> [b] Source

intFromId :: Id -> Int Source

idFromInt :: Int -> Id Source