 | UMinho Haskell Libraries (1.0) | Contents | Index |
| Language.VDM_SL.Pretty |
|
| Contents |
| prettyPrint :: Pretty a => a -> String |
| ||||||||
| ||||||||
| ||||||||
| Description | ||||||||
| This defines a pretty printer for VDM-SL. | ||||||||
| Synopsis | ||||||||
| ||||||||
| Pretty printing | ||||||||
| prettyPrint :: Pretty a => a -> String | ||||||||
| Pretty-printing styles (from Text.PrettyPrint.HughesPJ) | ||||||||
| Produced by Haddock version 0.6 |