package spotlib

  1. Overview
  2. Docs
include Monad.Infix2 with type ('a, 'error) t := ('a, 'error) t
val (>>=) : ('a, 'z) t -> ('a -> ('b, 'z) t) -> ('b, 'z) t

synonym of bind

val (>>|) : ('a, 'z) t -> ('a -> 'b) -> ('b, 'z) t

synonum of fmap, with the flipped arguments

Applicative style binops

val (^<$>) : ('a -> 'b) -> ('a, 'z) t -> ('b, 'z) t

same as map, <$> in Haskell

val (/<*>) : ('a -> 'b, 'z) t -> ('a, 'z) t -> ('b, 'z) t

<*> in Haskell

val (>>=!) : ('a, 'e) t -> ('e -> ('a, 'e2) t) -> ('a, 'e2) t

bindE

val (>>|!) : ('a, 'e) t -> ('e -> 'e2) -> ('a, 'e2) t

mapE

OCaml

Innovation. Community. Security.