Language.Fixpoint.Graph.Reducible
Description
This module a test for whether the constraint dependencies form a reducible graph.
isReducible :: TaggedC c a => GInfo c a -> Bool Source #