| License | BSD-3-Clause |
|---|---|
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Swarm.Game.Scenario.Objective.Validation
Description
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.