Documentation

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

type Suggestor a b = a -> [b] Source

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

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

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

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

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

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

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

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

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

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