UMinho Haskell Libraries (1.0) Contents Index

Camila.DTInvariants Portability experimental Stability experimental Maintainer Joao Ferreira, Alexandra Mendes

Description

Datatype invariants. Inspired by the work of Claudia Necco.

Synopsis

class CData a where inv :: a -> Bool inv' :: a -> CamilaError a

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 (CData a, CData b) => CData (a, b) (CData a, CData b) => CData (Either a b) CData Stack

Produced by Haddock version 0.6