| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.GS1.DWhy
Documentation
Constructors
| DWhy | |
Fields | |
mkDWhy :: Either ParseFailure BizStep -> Either ParseFailure Disposition -> Either ParseFailure DWhy Source #
dispositionValidFor :: BizStep -> Disposition -> Bool Source #