Safe Haskell | Safe-Inferred |
---|
Documentation
data ModelIntTerm t Source
ModelTermType ModelCol | |
ModelTermType ModelBool | |
ModelTermType ModelInt | |
Eq t => Eq (ModelIntTerm t) | |
Ord t => Ord (ModelIntTerm t) | |
Show (ModelIntTerm t) | |
FDSolver s => Term (FDInstance s) ModelCol | |
FDSolver s => Term (FDInstance s) ModelBool | |
FDSolver s => Term (FDInstance s) ModelInt | |
(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool | |
(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt |
data ModelBoolTerm t Source
ModelTermType ModelCol | |
ModelTermType ModelBool | |
ModelTermType ModelInt | |
Eq t => Eq (ModelBoolTerm t) | |
Ord t => Ord (ModelBoolTerm t) | |
Show t => Show (ModelBoolTerm t) | |
FDSolver s => Term (FDInstance s) ModelCol | |
FDSolver s => Term (FDInstance s) ModelBool | |
FDSolver s => Term (FDInstance s) ModelInt | |
(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool | |
(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt |
data ModelColTerm t Source
ModelTermType ModelCol | |
ModelTermType ModelBool | |
ModelTermType ModelInt | |
Eq t => Eq (ModelColTerm t) | |
Ord t => Ord (ModelColTerm t) | |
Show (ModelColTerm t) | |
FDSolver s => Term (FDInstance s) ModelCol | |
FDSolver s => Term (FDInstance s) ModelBool | |
FDSolver s => Term (FDInstance s) ModelInt | |
(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool | |
(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt |
data ModelFunctions Source
ForNewBool (ModelBoolExpr ModelFunctions -> Model) | |
ForNewInt (ModelIntExpr ModelFunctions -> Model) | |
ForNewCol (ModelColExpr ModelFunctions -> Model) |
Eq ModelFunctions | |
Ord ModelFunctions | |
Show ModelFunctions | |
ModelTermType ModelCol | |
ModelTermType ModelBool | |
ModelTermType ModelInt | |
FDSolver s => Term (FDInstance s) ModelCol | |
FDSolver s => Term (FDInstance s) ModelBool | |
FDSolver s => Term (FDInstance s) ModelInt | |
(FDSolver s, EnumTerm s (FDBoolTerm s)) => EnumTerm (FDInstance s) ModelBool | |
(FDSolver s, EnumTerm s (FDIntTerm s)) => EnumTerm (FDInstance s) ModelInt |
type ModelInt = ModelIntExpr ModelFunctionsSource
class ToModelInt t whereSource
type ModelCol = ModelColExpr ModelFunctionsSource
class ToModelCol t whereSource
type ModelBool = ModelBoolExpr ModelFunctionsSource
class ToModelBool t whereSource
modelVariantInt :: ModelIntExpr x -> BoolSource
modelVariantBool :: ModelBoolExpr x -> BoolSource
modelVariantCol :: ModelColExpr x -> BoolSource
class ModelTermType s whereSource
newModelTerm :: (s -> Model) -> ModelSource