-- | Defines common constraints for use in Drasil.
module Data.Drasil.Constraints where

import Language.Drasil

gtZeroConstr, probConstr :: ConstraintE
gtZeroConstr :: ConstraintE
gtZeroConstr = RealInterval Expr Expr -> ConstraintE
physc forall a b. (a -> b) -> a -> b
$ forall b a. (Inclusive, b) -> RealInterval a b
UpFrom  (Inclusive
Exc, forall r. LiteralC r => Integer -> r
exactDbl Integer
0)
probConstr :: ConstraintE
probConstr   = RealInterval Expr Expr -> ConstraintE
physc forall a b. (a -> b) -> a -> b
$ forall a b. (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
Bounded (Inclusive
Inc, forall r. LiteralC r => Integer -> r
exactDbl Integer
0) (Inclusive
Inc, forall r. LiteralC r => Integer -> r
exactDbl Integer
1)