8 search results for "tag:"monad""

Showing 1 - 8

interface-prime
Documentation

Interfaces for common design patterns

interface monad io lwt

Dorian Peake <dorian@vereia.com>

0.1

Used by 2 other packages

Added to opam-repository 15 Jan 2019
interface-prime-lwt
Documentation

Interfaces for common design patterns (LWT implementation)

interface monad io lwt

Dorian Peake <dorian@vereia.com>

0.1

Used by 0 other packages

Added to opam-repository 15 Jan 2019
lemonade
Documentation

A monad library with bubbles

pattern monad

Michael Grünewald

0.6.0

CeCILL-B

Used by 2 other packages

Added to opam-repository 30 Jun 2016
lemonade-sqlite
Documentation

A monadic interface to sqlite

sql sqlite monad

Michael Grünewald

0.1.0

CeCILL-B

Used by 0 other packages

Added to opam-repository 18 Mar 2016
preface
Documentation

An opinionated library for function programming (à La Haskell)

library standard monad

Didier Plaindoux <d.plaindoux@free.fr> Pierre Ruyter <grimfw@gmail.com> Xavier Van de Woestyne <xaviervdw@gmail.com>

1.1.0

MIT

Used by 0 other packages

Added to opam-repository 04 Mar 2025
seqes
Documentation

Seq with monads

monad seq

Raphaël Proust

0.4

LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception

Used by 0 other packages

Added to opam-repository 13 Feb 2025
symex
Documentation

Primitives to write symbolic execution engines

symbolic execution path condition monad solver

redianthus <leo@ocaml.pro> Pierre Chambart <pierre.chambart@ocamlpro.com> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Arthur Carcano <arthur.carcano@ocamlpro.com> Basile Clément <basile.clement@ocamlpro.com

0.3

AGPL-3.0-or-later

Used by 0 other packages

Added to opam-repository 31 May 2026
ws
Documentation

Generic websocket implementation for OCaml

monad io interface interface-prime websocket ws

Dorian Peake <dorian@vereia.com>

0.1

Used by 0 other packages

Added to opam-repository 18 Jan 2019