| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Abstract.Constraint
- data AtomicConstraint m = AtomicConstraint {}
- buildNamedAtomicConstraint :: String -> m -> Bool -> AtomicConstraint m
- satisfiesAtomicConstraint :: FindMorphism m => Obj m -> AtomicConstraint m -> Bool
- satisfiesAllAtomicConstraints :: FindMorphism m => Obj m -> [AtomicConstraint m] -> Bool
- data Constraint m
- = Atomic {
- atomic :: AtomicConstraint m
- | And {
- lc :: Constraint m
- rc :: Constraint m
- | Or {
- lc :: Constraint m
- rc :: Constraint m
- | Not {
- nc :: Constraint m
- = Atomic {
- satisfiesConstraint :: FindMorphism m => Obj m -> Constraint m -> Bool
- satisfiesAllConstraints :: FindMorphism m => Obj m -> [Constraint m] -> Bool
Documentation
data AtomicConstraint m Source #
Instances
| Show m => Show (AtomicConstraint m) Source # | |
| Valid m => Valid (AtomicConstraint m) Source # | |
buildNamedAtomicConstraint :: String -> m -> Bool -> AtomicConstraint m Source #
satisfiesAtomicConstraint :: FindMorphism m => Obj m -> AtomicConstraint m -> Bool Source #
Given an object G and a AtomicConstraint a : P -> C, check whether G satisfies the AtomicConstraint a
satisfiesAllAtomicConstraints :: FindMorphism m => Obj m -> [AtomicConstraint m] -> Bool Source #
Given an object G and a list of AtomicConstraints a : P -> C, check whether G satisfies the all them
data Constraint m Source #
Constructors
| Atomic | |
Fields
| |
| And | |
Fields
| |
| Or | |
Fields
| |
| Not | |
Fields
| |
Instances
| Show m => Show (Constraint m) Source # | |
| Valid m => Valid (Constraint m) Source # | |
satisfiesConstraint :: FindMorphism m => Obj m -> Constraint m -> Bool Source #
Given an object G and a Constraint c (a Boolean formula over atomic constraints), check whether G satisfies c
satisfiesAllConstraints :: FindMorphism m => Obj m -> [Constraint m] -> Bool Source #
Given an object G and a list of Constraints (Boolean formulas over atomic constraints), check whether G satisfies the all them