Module Primavera.InfixSource

Infix operators.

Sourceval (<$>) : ('a -> 'b) -> ('a, 'handler) t -> ('b, 'handler) t

f <$> x is map f x (infix version of map)

Sourceval (<$) : 'a -> ('b, 'handler) t -> ('a, 'handler) t

a <$ x is replace a x (infix version of replace)

Sourceval ($>) : ('a, 'handler) t -> 'b -> ('b, 'handler) t

x $> a is replace a x (infix (flipped) version of replace)

Sourceval (<*>) : ('a -> 'b, 'handler) t -> ('a, 'handler) t -> ('b, 'handler) t

f <*> x is apply f x (infix version of apply)

Sourceval (<&>) : ('a, 'handler) t -> ('b, 'handler) t -> ('a * 'b, 'handler) t

a <&> b is zip a b (infix version of zip)

Sourceval (<*) : ('a, 'handler) t -> ('b, 'handler) t -> ('a, 'handler) t

a <* b Perform a and b but discard b.

Sourceval (*>) : ('a, 'handler) t -> ('b, 'handler) t -> ('b, 'handler) t

a *> b Perform a and b but discard a.

Sourceval (<<) : ('a, 'handler) t -> ('b, 'handler) t -> ('a, 'handler) t

a << b Sequentially perform a following by b but discard b.

Sourceval (>>) : ('a, 'handler) t -> ('b, 'handler) t -> ('b, 'handler) t

a >> b Sequentially perform a following by b but discard a.

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

m >>= f is bind m f (infix version of bind)

Sourceval (=<<) : ('a -> ('b, 'handler) t) -> ('a, 'handler) t -> ('b, 'handler) t

f =<< m is bind m f (infix (flipped) version of bind)

Sourceval (<=<) : ('a -> ('b, 'handler) t) -> ('c -> ('a, 'handler) t) -> 'c -> ('b, 'handler) t

f <=< g is compose f g (infix version of compose)

Sourceval (>=>) : ('a -> ('b, 'handler) t) -> ('b -> ('c, 'handler) t) -> 'a -> ('c, 'handler) t

f >=> g is compose g f (infix (flipped) version of compose)