package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Open this to use applicative functor/monad syntax for result.

val let+ : ('a, 'b) Stdlib.result -> ('a -> 'c) -> ('c, 'b) Stdlib.result
val and+ : ('a, 'b) Stdlib.result -> ('c, 'b) Stdlib.result -> ('a * 'c, 'b) Stdlib.result
val let* : ('a, 'b) Stdlib.result -> ('a -> ('c, 'b) Stdlib.result) -> ('c, 'b) Stdlib.result
val and* : ('a, 'b) Stdlib.result -> ('c, 'b) Stdlib.result -> ('a * 'c, 'b) Stdlib.result
val (>>=) : ('a, 'b) Stdlib.result -> ('a -> ('c, 'b) Stdlib.result) -> ('c, 'b) Stdlib.result
OCaml

Innovation. Community. Security.