Safe Haskell | None |
---|---|
Language | Haskell98 |
This module a test for whether the constraint dependencies form a reducible graph.
Documentation
isReducible :: SInfo a -> Bool Source #
Safe Haskell | None |
---|---|
Language | Haskell98 |
This module a test for whether the constraint dependencies form a reducible graph.
isReducible :: SInfo a -> Bool Source #