package seqes

  1. Overview
  2. Docs

Mixed-monad operations

type ('a, 'e) x
type ('a, 'e) f
type ('a, 'e) ret
val bind : ('a, 'e) x -> ('a -> ('b, 'e) f) -> ('b, 'e) ret