Documentation

checkGroupHashes :: Var v => [(Referent, SuperGroup v)] -> Either (Text, [Referent]) (Either [Referent] [Referent]) Source #

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

checkMissing :: Var v => [(Referent, SuperGroup v)] -> Either (Text, [Referent]) [Reference] Source #

rehashSCC :: Var v => SCC (Reference, SuperGroup v) -> (Map Reference Reference, Map Reference (SuperGroup v)) Source #

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