| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Control.Search.Constraints
Documentation
clvar :: VarId -> ConstraintExpr Source #
cvar :: String -> ConstraintExpr Source #
cval :: Integer -> ConstraintExpr Source #
cop :: ConstraintExpr -> (Value -> Value -> Constraint) -> ConstraintExpr -> ConstraintGen Source #
cexprStatVal :: ConstraintExpr -> Stat Source #
cexprStatMed :: ConstraintExpr -> Stat Source #
cexprStatMin :: ConstraintExpr -> Stat Source #
cexprStatMax :: ConstraintExpr -> Stat Source #
data ConstraintExpr Source #
Constructors
| ConstraintExpr (forall m. VarInfoM m => m IValue) Bool [String] |
data ConstraintGen Source #
Constructors
| ConstraintGen (forall m. VarInfoM m => Info -> m Constraint) [String] |