|
Camila.DTInvariants | Portability | experimental | Stability | experimental | Maintainer | Joao Ferreira, Alexandra Mendes |
|
|
|
|
|
Description |
Datatype invariants.
Inspired by the work of Claudia Necco.
|
|
Synopsis |
|
|
|
Documentation |
|
class CData a where |
Class of data types with an invariant. Minimal implementation defines inv. | | Methods | inv :: a -> Bool | Invariant as boolean function. | | inv' :: a -> CamilaError a | Computation that checks the invariant. |
| | Instances | |
|
|
Produced by Haddock version 0.6 |