Tip.Utils.Rename

Documentation

type RenameM a b = ReaderT (Suggestor a b) (State (Map a b, Set b))

type Suggestor a b = a -> [b]

disambig :: (a -> String) -> Suggestor a String

disambig2 :: (a -> String) -> (b -> String) -> Suggestor (Either a b) String

evalRenameM :: Ord b => Suggestor a b -> [b] -> RenameM a b r -> r

runRenameM :: Ord b => Suggestor a b -> [b] -> Map a b -> RenameM a b r -> (r, Map a b)

insert :: (Ord a, Ord b) => a -> RenameM a b b

insertMany :: (Ord a, Ord b) => [a] -> RenameM a b [b]

lkup :: (Ord a, Ord b) => a -> RenameM a b b

rename :: (Ord a, Ord b, Traversable t) => t a -> RenameM a b (t b)

renameWith :: (Ord a, Ord b, Traversable t) => Suggestor a b -> t a -> t b

renameWithBlocks :: (Ord a, Ord b, Traversable t) => [b] -> Suggestor a b -> t a -> t b