| |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
| 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 |