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