 | UMinho Haskell Libraries (1.0) | Contents | Index |
| Language.VDM_SL.FuncLib |
|
| isComposed :: Type -> Bool |
| getIdentifier :: Name -> String |
| mergeName :: Name -> Name -> Name |
| ||||||||
| ||||||||
| Description | ||||||||
| Functions for easy access to the VSM-SL abstract syntax. | ||||||||
| Synopsis | ||||||||
| ||||||||
| Documentation | ||||||||
| isComposed :: Type -> Bool | ||||||||
| Test whether a given type is a composed type or not. | ||||||||
| getIdentifier :: Name -> String | ||||||||
| Get the value of an identifier as String. | ||||||||
| mergeName :: Name -> Name -> Name | ||||||||
| Function that merges the identifiers names. | ||||||||
| Produced by Haddock version 0.6 |