drasil-data-0.1.13.0: A framework for code and document generation for scientific software - Data System SubPackage
Safe HaskellNone
LanguageGHC2024

Data.Drasil.Constraints

Description

Defines common constraints for use in Drasil.

Documentation

gtZeroConstr :: ConstraintE Source #

probConstr :: ConstraintE Source #