Documentation

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

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

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

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

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