Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- buildTree :: Index -> IndependentGoals -> [PN] -> Tree () QGoalReason
- splits :: [a] -> [(a, [a])]
Documentation
buildTree :: Index -> IndependentGoals -> [PN] -> Tree () QGoalReason Source #
Interface to the tree builder. Just takes an index and a list of package names, and computes the initial state and then the tree from there.