| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Claims.Interpreter
Synopsis
- eval :: Claim -> Rule a -> a
- validateClaim :: Claim -> [Rule ValidationResult] -> [ValidationResult]
Documentation
validateClaim :: Claim -> [Rule ValidationResult] -> [ValidationResult] Source #
Validate a claim against a list of rules