Documentation

checkGroupHashes :: [(Referent, Code Reference)] -> Either (Text, [Referent]) (Either [Referent] [Referent]) Source #

rehashGroups :: Map Reference (SuperGroup Reference Symbol) -> Either (Text, [Referent]) (Map Reference Reference, Map Reference (SuperGroup Reference Symbol)) Source #

checkMissing :: [(Referent, Code Reference)] -> Either (Text, [Referent]) [Reference] Source #

rehashSCC :: SCC (Reference, SuperGroup Reference Symbol) -> (Map Reference Reference, Map Reference (SuperGroup Reference Symbol)) Source #

checkSCC :: SCC (Reference, a) -> Bool Source #