= 768" x-on:close-sidebar="sidebar=window.innerWidth >= 768 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
This exception should be raised when code has not yet been implemented.
This exception should be raised if a defensive runtime check determines that an invariant has been violated.
val uniq_enum : ('a -> 'a -> int) -> 'a Batteries.Enum.t -> 'a Batteries.Enum.t
Expands a list of lists as a Cartesian product. That is, the list
[[1;2;3];[4];[5;6]]
would yield the list
[[1;4;5];[2;4;5];[3;4;5];[1;4;6];[2;4;6];[3;4;6]]
the first element being the result of selecting 1
, 4
, and 5
from the original three lists.
val pairwise_enum_fold :
('a -> 'a -> 'b) ->
'a Batteries.Enum.t ->
'b Batteries.Enum.t
A pairwise pseudo-map over an enum. For each successive pair of values in the enum, the map function is called. So,
pairwise_enum_fold f (List.enum [1;2;3;4])
is equivalent to
List.enum [f 1 2; f 2 3; f 3 4]
This is equivalent to cloning the enum, discarding the first element from the clone, zipping the resulting enums, and mapping over the result.