Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Validity checking for Objective prerequisites
Synopsis
- validateObjectives :: MonadFail m => [Objective] -> m [Objective]
Documentation
validateObjectives :: MonadFail m => [Objective] -> m [Objective] Source #
Performs monadic validation before returning the "pure" construction of a wrapper record. This validation entails: 1) Ensuring that all goal references utilized in prerequisites actually exist 2) Ensuring that the graph of dependencies is acyclic.