Module `Range`Source

This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

Sourcetype t

Sourcetype elt = Base.int

t type correspond to a integer range value

include Base.Equal.S with type t := t

Sourceval equal : t Base.Equal.equal

include Base.Stringable.S with type t := t

Sourceval of_string : string -> t

Sourceval to_string : t -> string

Sourceval from : elt -> elt -> t

from start_value stop_value : will create a t value representing the range described by the two values given in parameter.

parameter start
Integer representating the starting value of the range

parameter stop
Integer representing the last value of the range

returns
Range.t type which value defined by start and stop parameters

Sourceval filter : (elt -> Base.bool) -> t -> t

filter f range : will create a new Range.t value using predicate function f. This modifies the behaviour of iter or fold function in order to apply only to values that satisfies the predicate.

parameter f
the predicate is attached to the range value, the predicate must respect the signature int -> bool

parameter range
range to be filtered, if the range provided has already a filter, the new range value will merge the two filters.

returns
new Range.t value with a new filter added.

Sourceval reset : t -> t

remove all map and filter effects from a range.

parameter old
Range.t value

returns
new Range.t value from parameter without modifiers.

Sourceval is_natural : t -> Base.bool

is filtered predicate

test if a Range.t value contain a filter or map function transforming data.

parameter Range.t
value to test

returns
test true if there is a filter false otherwise

Sourceval fold : ('a -> elt -> 'a) -> 'a -> t -> 'a

fold the equivalent of List.fold_left applied to integer range_record explore all the values contained in the range value applying f to the accumulator and the current element read by fold. If a filter was associated to the range value, only element validated by the predicate f will be passed to the function.

parameter f
function aggregating the accumulator to the current value.

parameter acc
initial value of the accumulator

parameter range
explored range value

returns
value of the accumulator after reading all elements

Sourceval iter : (elt -> Base.unit) -> t -> Base.unit

iter apply a function with side effect on all values of the range. This function support filtering.

parameter f
function receiving an integer and returning unit

parameter range
value

returns
unit

Sourceval split : elt -> elt -> t -> t Base.list

split a range value into a list of smaller range, useful for batching in parallel processing.

parameter minimal
size of a range

parameter count
number of subranges contained in the list.

parameter range
value to split

returns
list of ranges with a size of minimal or greater, the list having count elements max.

Sourceval contain : elt -> t -> Base.bool

contain function to test if an integer value is contained in a Range.t values

parameter element
to be tested

parameter reference
range value

returns
true if element is contained in reference

Sourceval cross : t -> t -> t Base.Option.t

new Range.t value representing the common value between two Range.t values.

parameter a
Range.t value

parameter b
Range.t value

returns
option value with Range.t option type value defined by the common values, None if it is impossible to find common values.

Sourceval cross_exn : t -> t -> t

Same as cross function with exception for error handling.

Sourceval join : t -> t -> t Base.Option.t

Join to generate a new Range.t value contained both a and b

parameter a
Range.t value

parameter b
Range.t value

returns
Range.t option value containing both a and b. If a and b are disjoint, they can't be joinded so None is returned.

Sourceval join_exn : t -> t -> t

Same as join with exception for error handling

Sourceval map : (elt -> elt) -> t -> t

apply f to elements contained in a Range.t value

This feature used a delayed application of f. Like for filters, f is stacked on previous filter or map functions.

parameter f
function to apply to the content of a range value

parameter r
range to modify

returns
updated range

package range

Module RangeSource

Module `Range`Source