License | BSD-3-Clause |
---|---|
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:
- Ensuring that all goal references utilized in prerequisites actually exist
- Ensuring that the graph of dependencies is acyclic.