Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type 'a folder =
'a ->
int ->
[ `Malformed of string | `Uchar of Uchar.t ] ->
'a
The type for character folder. The integer is the index in the string where the `Uchar
or `Malformed
starts.
val fold : ?off:int -> ?len:int -> 'a folder -> 'a -> string -> 'a
fold e ?off ?len f a s
is f (
... (f (f a pos u
0) j
1
u
1)
... )
... ) j
n u
n where u
i, j
i are characters and their start position in the e
encoded substring s
starting at pos
and len
long. The default value for pos
is 0
and len
is String.length s - pos
.