package batteries

  1. Overview
  2. Docs
A community-maintained standard library extension

Install

dune-project
 Dependency

Authors

Maintainers

Sources

batteries-3.11.0.tar.gz
md5=096be9e83e347b4c7b5b6e5b2af22992
sha512=621dca842c4a7adf0ac1e907bf44c1405e0b66a088987a138a4f4e98ca744815913bf87fd780619151cb049a07d7fdb1e8adb7b65698ab46b8c2dfe46cd7119d

doc/batteries.unthreaded/BatResult/Monad/index.html

Module BatResult.MonadSource

Sourceval bind : ('a, 'e) t -> ('a -> ('c, 'e) t) -> ('c, 'e) t

Monadic composition.

bind r f proceeds as f x if r is Ok x, or returns r if r is an error.

  • since 2.0
Sourceval (>>=) : ('a, 'e) t -> ('a -> ('c, 'e) t) -> ('c, 'e) t

as bind

Sourceval return : 'a -> ('a, _) t

Monadic return, just encapsulates the given value with Ok