package goblint

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

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

val let+ : ('a, 'b) result -> ('a -> 'c) -> ('c, 'b) result
val and+ : ('a, 'b) result -> ('c, 'd) result -> ('e * 'f, 'g) result
val let* : ('a, 'b) result -> ('a -> ('c, 'b) result) -> ('c, 'b) result
val and* : ('a, 'b) result -> ('c, 'b) result -> ('a * 'c, 'b) result
val (>>=) : ('a, 'b) result -> ('a -> ('c, 'b) result) -> ('c, 'b) result