package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `GobResult.Syntax`Source

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

Sourceval (let+) : ('a, 'b) result -> ('a -> 'c) -> ('c, 'b) result

Sourceval (and+) : ('a, 'b) result -> ('c, 'b) result -> ('a * 'c, 'b) result

Sourceval (let*) : ('a, 'b) result -> ('a -> ('c, 'b) result) -> ('c, 'b) result

Sourceval (and*) : ('a, 'b) result -> ('c, 'b) result -> ('a * 'c, 'b) result

Sourceval (>>=) : ('a, 'b) result -> ('a -> ('c, 'b) result) -> ('c, 'b) result