Control.CP.FD.Expr
Documentation
Constructors
| Term t | |
| Const Integer | |
| Plus (Expr t) (Expr t) | |
| Minus (Expr t) (Expr t) | |
| Mult (Expr t) (Expr t) | |
| Div (Expr t) (Expr t) | |
| Mod (Expr t) (Expr t) | |
| Abs (Expr t) |
Instances
| ToExpr t (Expr t) | |
| (Eq s, Show s) => Enum (Expr s) | |
| Eq t => Eq (Expr t) | |
| (Eq s, Show s) => Integral (Expr s) | |
| (Eq s, Show s) => Num (Expr s) | |
| (Eq s, Show s) => Ord (Expr s) | |
| (Eq s, Show s) => Real (Expr s) | |
| Show t => Show (Expr t) | |
| (FDTerm s ~ t, FDSolver s, Eq t, EnumTerm s t, Integral (TermDomain s t)) => EnumTerm (FDWrapper s) (Expr t) |