This commit is contained in:
Simon Cruanes 2015-10-19 21:56:43 +02:00
parent c1b15129e4
commit bba674cdd3

View file

@ -92,11 +92,11 @@ that deal with either more specific things, or require additional dependencies.
Some structural types are used throughout the library: Some structural types are used throughout the library:
gen:: `'a gen = unit -> 'a option` is an iterator type. Many combinators gen:: `'a gen = unit -> 'a option` is an iterator type. Many combinators
are defined in the opam library called "gen" are defined in the opam library https://github.com/c-cube/gen[gen]
sequence:: `'a sequence = (unit -> 'a) -> unit` is also an iterator type. sequence:: `'a sequence = (unit -> 'a) -> unit` is also an iterator type.
It is easier to define on data structures than `gen`, but it a bit less It is easier to define on data structures than `gen`, but it a bit less
powerful. The opam library `sequence` can be used to consume and produce powerful. The opam library https://github.com/c-cube/sequence[sequence]
values of this type. can be used to consume and produce values of this type.
error:: `'a or_error = [`Error of string | `Ok of 'a]` is a error type error:: `'a or_error = [`Error of string | `Ok of 'a]` is a error type
that is used in other libraries, too. The reference module in containers that is used in other libraries, too. The reference module in containers
is `CCError`. is `CCError`.