-
Notifications
You must be signed in to change notification settings - Fork 0
format6
Weng Shiwei edited this page Jan 8, 2021
·
27 revisions
| Value or type | Note | 'a | 'b | 'c | 'd | 'e | 'f | rest type |
|---|---|---|---|---|---|---|---|---|
| Definitions | ||||||||
format6 |
'a | 'b | 'c | 'd | 'e | 'f | --------- | |
format |
('a, 'b, 'c, 'c) format4` | 'a | 'b | 'c | 'c | 'c | 'c | |
format4 |
('a, 'b, 'c, 'c, 'c, 'd) format6 | 'a | 'b | 'c | 'c | 'c | 'd | --------- |
Scanf.scanner |
('a, Scanf.Scanning.scanbuf, 'b, 'c, 'a -> 'd, 'd) format6 -> 'c | 'a | scanbuf | 'b | 'c | 'a -> 'd | 'd | 'c |
| Manual | ||||||||
Printf |
||||||||
Scanf |
||||||||
Format |
||||||||
| Paper | 'functional_type = 'argument_sequence -> 'result_type |
'low_level_device |
'poly_printer_result |
'poly_reader_functional_type = 'poly_reader_sequence -> 'poly_reader_result |
'poly_reader_result |
'result_type |
||
Printf |
where 'argument_sequence is the type of sequence of arguments to print or value to read |
a polymorphic pretty-printer, which prints value of 't has type 'low_level_device -> 't -> 'poly_printer_result
|
%a or %t
|
n/a | n/a | the result type of printf-like functions | ||
Scanf |
'functional_type is also the type of receiver function
|
a polymorphic reader, which reads value of 't has type 'low_level_device -> 't
|
n/a |
'poly_reader_sequence is the type of sequence of polymorphic readers required by all the %r
|
the result type of 'poly_reader_functional_type
|
the result type of the receiver function for scanf-like functions | ||