Skip to content

Latest commit

 

History

History
51 lines (43 loc) · 2.71 KB

README.md

File metadata and controls

51 lines (43 loc) · 2.71 KB
Raw

A repository of modular implicits packages

A repository of OPAM packages for OCaml extended with modular implicits.

implicits Ubuntu status implicits macOS status
implicits+BER Ubuntu status implicits+BER macOS status
implicits+let-syntax Ubuntu status

Setting up

opam update
opam switch create 4.02.1+modular-implicits
opam remote add implicits git+https://github.com/modular-implicits/modular-implicits-opam.git

Current packages:

  • imp, experimental library using modular implicits
  • syb, OCaml version of the Scrap Your Boilerplate library
  • metaocaml-syb, staged version of the Scrap Your Boilerplate library
  • subtypes, first-class subtypes
  • lens, Port of a subset of the Haskell lens library to OCaml, using modular implicits
  • integers, Various signed and unsigned integer types for OCaml (modular-implicits-ised)
  • generics, Experimental Generics library using modular implicits
  • staged-generics, Generics with support for staging
  • arrows, Arrows library for working in OCaml with modular implicits
  • quickcheckM, Library for testing OCaml code using modular implicits
  • dataStructures, Data Structures library providing map and set using modular implicits.
  • adiff, An auto differentation library for OCaml
  • staged-generics, Generics with support for staging
  • searchM, Providing highly polymorphic searching algorithms