Parser combinators for numeric types.
This module implements functional combinators for parsing common numeric types in typical textual presentations.
In this section various utility types are defined for use in specializing the general number scanning engine.
val binary : radixThe binary (base 2) radix.
val octal : radixThe octal (base 8) radix.
val decimal : radixThe decimal (base 10) radix.
val hexadecimal : radixThe hexadecimal (base 16) radix.
The generalized algebraic data type (GADT) representing scanning options qualified by option type.
The generalized algebraic data type (GADT) representing return value types qualified by option type.
The abstract type representing scanner controllers comprising a return type and the option qualifiers.
Use ctrl ?opt ret to make a scanner control that for the return type represented by ret. If ~opt is used then it specifies a list of options for scanning the input stream accordingly.
module type Basis = sig ... endDefine a module of this type to specialize the number scanner for specific underlying symbol types.
module type Profile = sig ... endThe signature of a general number scanner module.
Use Create(B) to specialize the number scanner according to B.
module ASCII :
Profile with type 'a t := 'a Cf_scan.ASCII.t and type 'a form := 'aA distinguished number scanner for simple ASCII character symbols.