| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Specification.Stencils.Consistency
Synopsis
- consistent :: forall n. Specification -> Multiplicity (UnionNF n Offsets) -> ConsistencyResult
- data ConsistencyResult
Documentation
consistent :: forall n. Specification -> Multiplicity (UnionNF n Offsets) -> ConsistencyResult Source #
This function checks multiplicity consistency and then delegates the spatial consistency to |consistent'| function.
data ConsistencyResult Source #
Constructors
| Consistent | |
| Inconsistent String |
Instances
| Eq ConsistencyResult Source # | |
Defined in Camfort.Specification.Stencils.Consistency Methods (==) :: ConsistencyResult -> ConsistencyResult -> Bool # (/=) :: ConsistencyResult -> ConsistencyResult -> Bool # | |
| Show ConsistencyResult Source # | |
Defined in Camfort.Specification.Stencils.Consistency Methods showsPrec :: Int -> ConsistencyResult -> ShowS # show :: ConsistencyResult -> String # showList :: [ConsistencyResult] -> ShowS # | |
| ExitCodeOfReport ConsistencyResult Source # | |
Defined in Camfort.Specification.Stencils.Consistency Methods exitCodeOf :: ConsistencyResult -> Int Source # exitCodeOfSet :: [ConsistencyResult] -> Int Source # | |