Portability | portable |
---|---|
Stability | experimental |
Maintainer | eric.kow@gmail.com |
Safe Haskell | Safe-Infered |
Cardinality constraints
Documentation
data Constraint Source
lowerBound :: Constraint -> Maybe IntSource
upperBound :: Constraint -> Maybe IntSource
unknown :: Constraint -> Maybe TextSource