Control.CP.FD.Expr

Documentation

data Expr t

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)

class ToExpr tt t where

Methods

toExpr :: t -> Expr tt

Instances

ToExpr t t

ToExpr tt Int

ToExpr tt Integer

ToExpr t (Expr t)

newtype ExprKey s

Constructors

ExprKey (Expr s)

Instances

Eq s => Eq (ExprKey s)

Ord s => Ord (ExprKey s)

Show s => Show (ExprKey s)

unExprKey :: ExprKey s -> Expr s