Data.Expr.Util

Documentation

data Expr t c b

Data types | --

Instances

ModelTermType ModelInt

Methods

newModelTerm :: (ModelInt -> Model) -> Model

(Eq b, Eq a, Eq t) => ToColExpr t a b [Expr t a b]

Methods

toColExpr :: [Expr t a b] -> ColExpr t a b

(Eq t, Eq c, Eq b) => ExprRange t c b (Expr t c b, Expr t c b)

Methods

(@:) :: Expr t c b -> (Expr t c b, Expr t c b) -> BoolExpr t c b

(Eq t, Eq c, Eq b) => ExprClass t c b (Expr t c b)

relational operators/functions | --

Methods

(@=) :: Expr t c b -> Expr t c b -> BoolExpr t c b

(@/=) :: Expr t c b -> Expr t c b -> BoolExpr t c b

(Eq t, Eq a, Eq b) => ToColExpr t a b (Expr t a b)

Methods

toColExpr :: Expr t a b -> ColExpr t a b

ToExpr t a b (Expr t a b)

Methods

toExpr :: Expr t a b -> Expr t a b

FDSolver s => Term (FDInstance s) ModelInt

Associated Types

type Help (FDInstance s :: * -> *) ModelInt :: *

Methods

newvar :: FDInstance s ModelInt

help :: FDInstance s () -> ModelInt -> Help (FDInstance s) ModelInt

(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt

Associated Types

type TermBaseType (FDInstance s :: * -> *) ModelInt :: *

Methods

getDomainSize :: ModelInt -> FDInstance s Int

getDomain :: ModelInt -> FDInstance s [TermBaseType (FDInstance s) ModelInt]

setValue :: ModelInt -> TermBaseType (FDInstance s) ModelInt -> FDInstance s [Constraint (FDInstance s)]

splitDomain :: ModelInt -> FDInstance s ([[Constraint (FDInstance s)]], Bool)

splitDomains :: [ModelInt] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelInt])

getValue :: ModelInt -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelInt))

defaultOrder :: [ModelInt] -> FDInstance s [ModelInt]

enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelInt] -> m ())

Eq (EGPar -> EGPar)

Methods

(==) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool

(/=) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool

Ord (EGPar -> EGPar)

Methods

compare :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Ordering

(<) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool

(<=) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool

(>) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool

(>=) :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> Bool

max :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> EGPar -> EGPar

min :: (EGPar -> EGPar) -> (EGPar -> EGPar) -> EGPar -> EGPar

Show (EGPar -> EGPar)

Methods

showsPrec :: Int -> (EGPar -> EGPar) -> ShowS

show :: (EGPar -> EGPar) -> String

showList :: [EGPar -> EGPar] -> ShowS

(Eq t, Eq c, Eq b) => Eq (Expr t c b)

Methods

(==) :: Expr t c b -> Expr t c b -> Bool

(/=) :: Expr t c b -> Expr t c b -> Bool

(Ord s, Ord c, Ord b) => Ord (Expr s c b)

Methods

compare :: Expr s c b -> Expr s c b -> Ordering

(<) :: Expr s c b -> Expr s c b -> Bool

(<=) :: Expr s c b -> Expr s c b -> Bool

(>) :: Expr s c b -> Expr s c b -> Bool

(>=) :: Expr s c b -> Expr s c b -> Bool

max :: Expr s c b -> Expr s c b -> Expr s c b

min :: Expr s c b -> Expr s c b -> Expr s c b

(Show t, Show c, Show b) => Show (Expr t c b)

Methods

showsPrec :: Int -> Expr t c b -> ShowS

show :: Expr t c b -> String

showList :: [Expr t c b] -> ShowS

type Help (FDInstance s) ModelInt

type Help (FDInstance s) ModelInt = ()

type TermBaseType (FDInstance s) ModelInt

type TermBaseType (FDInstance s) ModelInt = TermBaseType s (FDIntTerm s)

data BoolExpr t c b

Instances

ModelTermType ModelBool

Methods

newModelTerm :: (ModelBool -> Model) -> Model

(Eq t, Eq c, Eq b) => ExprClass t c b (BoolExpr t c b)

Methods

(@=) :: BoolExpr t c b -> BoolExpr t c b -> BoolExpr t c b

(@/=) :: BoolExpr t c b -> BoolExpr t c b -> BoolExpr t c b

ToBoolExpr t a b (BoolExpr t a b)

Methods

toBoolExpr :: BoolExpr t a b -> BoolExpr t a b

(Eq t, Eq a, Eq b) => ToExpr t a b (BoolExpr t a b)

Methods

toExpr :: BoolExpr t a b -> Expr t a b

FDSolver s => Term (FDInstance s) ModelBool

Associated Types

type Help (FDInstance s :: * -> *) ModelBool :: *

Methods

newvar :: FDInstance s ModelBool

help :: FDInstance s () -> ModelBool -> Help (FDInstance s) ModelBool

(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool

Associated Types

type TermBaseType (FDInstance s :: * -> *) ModelBool :: *

Methods

getDomainSize :: ModelBool -> FDInstance s Int

getDomain :: ModelBool -> FDInstance s [TermBaseType (FDInstance s) ModelBool]

setValue :: ModelBool -> TermBaseType (FDInstance s) ModelBool -> FDInstance s [Constraint (FDInstance s)]

splitDomain :: ModelBool -> FDInstance s ([[Constraint (FDInstance s)]], Bool)

splitDomains :: [ModelBool] -> FDInstance s ([[Constraint (FDInstance s)]], [ModelBool])

getValue :: ModelBool -> FDInstance s (Maybe (TermBaseType (FDInstance s) ModelBool))

defaultOrder :: [ModelBool] -> FDInstance s [ModelBool]

enumerator :: (MonadTree m, ((* -> *) ~ TreeSolver m) (FDInstance s)) => Maybe ([ModelBool] -> m ())

(Eq t, Eq c, Eq b) => Eq (BoolExpr t c b)

Methods

(==) :: BoolExpr t c b -> BoolExpr t c b -> Bool

(/=) :: BoolExpr t c b -> BoolExpr t c b -> Bool

(Ord s, Ord c, Ord b) => Ord (BoolExpr s c b)

Methods

compare :: BoolExpr s c b -> BoolExpr s c b -> Ordering

(<) :: BoolExpr s c b -> BoolExpr s c b -> Bool

(<=) :: BoolExpr s c b -> BoolExpr s c b -> Bool

(>) :: BoolExpr s c b -> BoolExpr s c b -> Bool

(>=) :: BoolExpr s c b -> BoolExpr s c b -> Bool

max :: BoolExpr s c b -> BoolExpr s c b -> BoolExpr s c b

min :: BoolExpr s c b -> BoolExpr s c b -> BoolExpr s c b

(Show t, Show c, Show b) => Show (BoolExpr t c b)

Methods

showsPrec :: Int -> BoolExpr t c b -> ShowS

show :: BoolExpr t c b -> String

showList :: [BoolExpr t c b] -> ShowS

type Help (FDInstance s) ModelBool

type Help (FDInstance s) ModelBool = ()

type TermBaseType (FDInstance s) ModelBool

type TermBaseType (FDInstance s) ModelBool = TermBaseType s (FDBoolTerm s)

data ColExpr t c b

Instances

ModelTermType ModelCol

Methods

newModelTerm :: (ModelCol -> Model) -> Model

(Eq t, Eq c, Eq b) => ExprRange t c b (ColExpr t c b)

Methods

(@:) :: Expr t c b -> ColExpr t c b -> BoolExpr t c b

(Eq t, Eq c, Eq b) => ExprClass t c b (ColExpr t c b)

Methods

(@=) :: ColExpr t c b -> ColExpr t c b -> BoolExpr t c b

(@/=) :: ColExpr t c b -> ColExpr t c b -> BoolExpr t c b

ToColExpr t a b (ColExpr t a b)

Methods

toColExpr :: ColExpr t a b -> ColExpr t a b

FDSolver s => Term (FDInstance s) ModelCol

Associated Types

type Help (FDInstance s :: * -> *) ModelCol :: *

Methods

newvar :: FDInstance s ModelCol

help :: FDInstance s () -> ModelCol -> Help (FDInstance s) ModelCol

(Eq t, Eq c, Eq b) => Eq (ColExpr t c b)

Methods

(==) :: ColExpr t c b -> ColExpr t c b -> Bool

(/=) :: ColExpr t c b -> ColExpr t c b -> Bool

(Ord s, Ord c, Ord b) => Ord (ColExpr s c b)

Methods

compare :: ColExpr s c b -> ColExpr s c b -> Ordering

(<) :: ColExpr s c b -> ColExpr s c b -> Bool

(<=) :: ColExpr s c b -> ColExpr s c b -> Bool

(>) :: ColExpr s c b -> ColExpr s c b -> Bool

(>=) :: ColExpr s c b -> ColExpr s c b -> Bool

max :: ColExpr s c b -> ColExpr s c b -> ColExpr s c b

min :: ColExpr s c b -> ColExpr s c b -> ColExpr s c b

(Show t, Show c, Show b) => Show (ColExpr t c b)

Methods

showsPrec :: Int -> ColExpr t c b -> ShowS

show :: ColExpr t c b -> String

showList :: [ColExpr t c b] -> ShowS

type Help (FDInstance s) ModelCol

type Help (FDInstance s) ModelCol = ()

transform :: (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => (a -> b, c -> d, e -> f, b -> a, d -> c, f -> e) -> Expr a c e -> Expr b d f

Transform expressions over one type to expressions over another | --

colTransform :: (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => (a -> b, c -> d, e -> f, b -> a, d -> c, f -> e) -> ColExpr a c e -> ColExpr b d f

boolTransform :: (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => (a -> b, c -> d, e -> f, b -> a, d -> c, f -> e) -> BoolExpr a c e -> BoolExpr b d f

transformEx :: (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => (a -> Expr b d f, c -> ColExpr b d f, e -> BoolExpr b d f, b -> Expr a c e, d -> ColExpr a c e, f -> BoolExpr a c e) -> Expr a c e -> Expr b d f

colTransformEx :: (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => (a -> Expr b d f, c -> ColExpr b d f, e -> BoolExpr b d f, b -> Expr a c e, d -> ColExpr a c e, f -> BoolExpr a c e) -> ColExpr a c e -> ColExpr b d f

boolTransformEx :: (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => (a -> Expr b d f, c -> ColExpr b d f, e -> BoolExpr b d f, b -> Expr a c e, d -> ColExpr a c e, f -> BoolExpr a c e) -> BoolExpr a c e -> BoolExpr b d f

property :: (a -> Bool) -> (b -> Bool) -> (c -> Bool) -> Expr a b c -> Bool

colProperty :: (a -> Bool) -> (b -> Bool) -> (c -> Bool) -> ColExpr a b c -> Bool

boolProperty :: (a -> Bool) -> (b -> Bool) -> (c -> Bool) -> BoolExpr a b c -> Bool

propertyEx :: (Expr a b c -> Maybe Bool, ColExpr a b c -> Maybe Bool, BoolExpr a b c -> Maybe Bool) -> Expr a b c -> Bool

Check whether an expression is possibly referring to terms with a given property | --

colPropertyEx :: (Expr a b c -> Maybe Bool, ColExpr a b c -> Maybe Bool, BoolExpr a b c -> Maybe Bool) -> ColExpr a b c -> Bool

boolPropertyEx :: (Expr a b c -> Maybe Bool, ColExpr a b c -> Maybe Bool, BoolExpr a b c -> Maybe Bool) -> BoolExpr a b c -> Bool

collapse :: (Eq t, Eq c, Eq b) => Expr (Expr t c b) (ColExpr t c b) (BoolExpr t c b) -> Expr t c b

Turn expressions over expressions into simply expressions | --

colCollapse :: (Eq t, Eq c, Eq b) => ColExpr (Expr t c b) (ColExpr t c b) (BoolExpr t c b) -> ColExpr t c b

boolCollapse :: (Eq t, Eq c, Eq b) => BoolExpr (Expr t c b) (ColExpr t c b) (BoolExpr t c b) -> BoolExpr t c b

simplify :: (Eq s, Eq c, Eq b) => Expr s c b -> Expr s c b

Simplify expressions | --

colSimplify :: (Eq s, Eq c, Eq b) => ColExpr s c b -> ColExpr s c b

boolSimplify :: (Eq s, Eq c, Eq b) => BoolExpr s c b -> BoolExpr s c b

data WalkPhase

walk through expressions

Constructors

WalkPre

WalkSingle

WalkPost

Instances

Enum WalkPhase

Methods

succ :: WalkPhase -> WalkPhase

pred :: WalkPhase -> WalkPhase

toEnum :: Int -> WalkPhase

fromEnum :: WalkPhase -> Int

enumFrom :: WalkPhase -> [WalkPhase]

enumFromThen :: WalkPhase -> WalkPhase -> [WalkPhase]

enumFromTo :: WalkPhase -> WalkPhase -> [WalkPhase]

enumFromThenTo :: WalkPhase -> WalkPhase -> WalkPhase -> [WalkPhase]

Eq WalkPhase

Methods

(==) :: WalkPhase -> WalkPhase -> Bool

(/=) :: WalkPhase -> WalkPhase -> Bool

Ord WalkPhase

Methods

compare :: WalkPhase -> WalkPhase -> Ordering

(<) :: WalkPhase -> WalkPhase -> Bool

(<=) :: WalkPhase -> WalkPhase -> Bool

(>) :: WalkPhase -> WalkPhase -> Bool

(>=) :: WalkPhase -> WalkPhase -> Bool

max :: WalkPhase -> WalkPhase -> WalkPhase

min :: WalkPhase -> WalkPhase -> WalkPhase

Show WalkPhase

Methods

showsPrec :: Int -> WalkPhase -> ShowS

show :: WalkPhase -> String

showList :: [WalkPhase] -> ShowS

data WalkResult

Constructors

WalkSkip

WalkDescend

Instances

Enum WalkResult

Methods

succ :: WalkResult -> WalkResult

pred :: WalkResult -> WalkResult

toEnum :: Int -> WalkResult

fromEnum :: WalkResult -> Int

enumFrom :: WalkResult -> [WalkResult]

enumFromThen :: WalkResult -> WalkResult -> [WalkResult]

enumFromTo :: WalkResult -> WalkResult -> [WalkResult]

enumFromThenTo :: WalkResult -> WalkResult -> WalkResult -> [WalkResult]

Eq WalkResult

Methods

(==) :: WalkResult -> WalkResult -> Bool

(/=) :: WalkResult -> WalkResult -> Bool

Ord WalkResult

Methods

compare :: WalkResult -> WalkResult -> Ordering

(<) :: WalkResult -> WalkResult -> Bool

(<=) :: WalkResult -> WalkResult -> Bool

(>) :: WalkResult -> WalkResult -> Bool

(>=) :: WalkResult -> WalkResult -> Bool

max :: WalkResult -> WalkResult -> WalkResult

min :: WalkResult -> WalkResult -> WalkResult

Show WalkResult

Methods

showsPrec :: Int -> WalkResult -> ShowS

show :: WalkResult -> String

showList :: [WalkResult] -> ShowS

walk :: (Eq t, Eq c, Eq b, Monad m) => Expr t c b -> (Expr t c b -> WalkPhase -> m WalkResult, ColExpr t c b -> WalkPhase -> m WalkResult, BoolExpr t c b -> WalkPhase -> m WalkResult) -> m ()

colWalk :: (Monad m, Eq b, Eq c, Eq t) => ColExpr t c b -> (Expr t c b -> WalkPhase -> m WalkResult, ColExpr t c b -> WalkPhase -> m WalkResult, BoolExpr t c b -> WalkPhase -> m WalkResult) -> m ()

boolWalk :: (Monad m, Eq b, Eq c, Eq t) => BoolExpr t c b -> (Expr t c b -> WalkPhase -> m WalkResult, ColExpr t c b -> WalkPhase -> m WalkResult, BoolExpr t c b -> WalkPhase -> m WalkResult) -> m ()