package why3find

  1. Overview
  2. Docs
A Why3 Package Manager

Install 

dune-project
 Dependency

git.frama-c.com Readme Changelog LGPL-2.1-only License Edit opam file Versions (3)

Authors

  1. L
    Loïc Correnson <loic.correnson@cea.fr>
  2. B
    Benjamin Jorge <benjamin.jorge@cea.fr>

Maintainers

  1. B
    benjamin.jorge@cea.fr
  2. L
    loic.correnson@cea.fr

Sources

why3find-1.3.0.tar.gz
md5=435da830a513fd91ec5411c91126b763
sha512=fd8b04eb16d569c0dc9e5595a40b174d7858121b080c81d459b2f28fb3af1ebc32ef408859d5c1c5f45c61790625c027c2ecfc3d45e597943543de7212bab8d6

doc/why3find.utils/Why3findUtils/Fibers/Monad/index.html

Module Fibers.MonadSource

Monadic and Applicative operators.

You can use them locally with following syntax:

  let sum ta tb =
    let open Monad in
    let* x = ta in
    let* y = tb in
    return (x+y)

Conforms to OCaml language manual for let-bindings operators extension.

Sourceval (>>=) : 'a t -> ('a -> 'b t) -> 'b t

Monadic operator, same as bind.

Sourceval (|>>) : 'a t -> ('a -> 'b) -> 'b t

Applicative map operator, same as apply.

Sourceval (let*) : 'a t -> ('a -> 'b t) -> 'b t

Monadic let-binder, same as bind.

Sourceval (let+) : 'a t -> ('a -> 'b) -> 'b t

Applicative map operator, same as apply.

Sourceval (and*) : 'a t -> 'b t -> ('a * 'b) t

Monoidal product operator, same as par.

Sourceval (@+) : ('a -> 'b) -> 'a t -> 'b t

Map operator, same as map.

Sourceval (@*) : 'a t -> 'b t -> ('a * 'b) t

Parallel product operator, same as par.