package selective

  1. Overview
  2. Docs

Description

This is a study of selective applicative functors, an abstraction between Applicative and Monad. The idea was first prototyped in Haskell, and now we are exploring its translation to OCaml.

See examples in the doc directory.

Published: 20 Feb 2019

README

Selective applicative functors

This is a study of selective applicative functors, an abstraction between Applicative and Monad. The idea was first prototyped in Haskell, and now we are exploring its translation to OCaml.

Further reading

  • A blog post introducing selective applicative functors: https://blogs.ncl.ac.uk/andreymokhov/selective.

Dependencies (3)

  1. base >= "v0.11.0" & < "v0.12.0"
  2. dune >= "1.5"
  3. ocaml >= "4.02"

Dev Dependencies (3)

  1. expect_test_helpers_kernel with-test & >= "v0.11.0" & < "v0.12.0"
  2. ppx_jane with-test & >= "v0.11.0" & < "v0.12.0"
  3. stdio with-test & >= "v0.11.0" & < "v0.12.0"

Used by

None

Conflicts

None