Module IterLabels.InfixSource

Sourceval (--) : int -> int -> int t

a -- b is the range of integers from a to b, both included, in increasing order. It will therefore be empty if a > b.

Sourceval (--^) : int -> int -> int t

a --^ b is the range of integers from b to a, both included, in decreasing order (starts from a). It will therefore be empty if a < b.

Sourceval (>>=) : 'a t -> ('a -> 'b t) -> 'b t

Monadic bind (infix version of flat_map

  • since 0.5
Sourceval (>|=) : 'a t -> ('a -> 'b) -> 'b t

Infix version of map

  • since 0.5
Sourceval (<*>) : ('a -> 'b) t -> 'a t -> 'b t

Applicative operator (product+application)

  • since 0.5
Sourceval (<+>) : 'a t -> 'a t -> 'a t

Concatenation of iterators

  • since 0.5