| |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
Description | |||||||||||||||||||||
This module implements common types | |||||||||||||||||||||
Synopsis | |||||||||||||||||||||
| |||||||||||||||||||||
Types | |||||||||||||||||||||
| |||||||||||||||||||||
Number is Double | |||||||||||||||||||||
| |||||||||||||||||||||
Delta type is a number | |||||||||||||||||||||
| |||||||||||||||||||||
Text is String | |||||||||||||||||||||
| |||||||||||||||||||||
Integer Number definition | |||||||||||||||||||||
| |||||||||||||||||||||
Ratio Number definition | |||||||||||||||||||||
| |||||||||||||||||||||
wrapper to get Integer Number | |||||||||||||||||||||
| |||||||||||||||||||||
wrapper to get Ratio Number | |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
Auxiliary functions | |||||||||||||||||||||
| |||||||||||||||||||||
like unzip | |||||||||||||||||||||
| |||||||||||||||||||||
like zip | |||||||||||||||||||||
Produced by Haddock version 2.6.0 |