Module Eff.InfixSource

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

f <$> x is map f x.

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

f <*> x is apply f x.

Sourceval (<*?) : ('a, 'b) Either.t t -> ('a -> 'b) t -> 'b t

c <*? f is select c f

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

m >>= f is bind f m.

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

f =<< m is bind f m.

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

m >|= f is map f m.

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

f =|< x is map f x.

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

f >=> g is compose f g.

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

f <=< g is rcompose f g.