 | UMinho Haskell Libraries (1.0) | Contents | Index |
| Camila.PartialFunc |
|
| class Partial a |
| pre :: Partial a => a -> Bool |
| pre' :: Partial a => a -> CamilaError a |
| ||||||||
| ||||||||
| Description | ||||||||
| Partial functions (pre-conditions are seen as local invariants) | ||||||||
| Synopsis | ||||||||
| ||||||||
| Produced by Haddock version 0.6 |