bwd

Backward lists
Description

This OCaml package defines backward lists that are isomorphic to lists. They are useful when one wishes to give a different type to the lists that are semantically in reverse. In our experience, it is easy to miss List.rev or misuse List.rev_append when both semantically forward and backward lists are present. With backward lists having a different type, it is impossible to make those mistakes.

Install
Documentation github.com Apache-2.0 License Edit opam file
Published
08 Aug 2022
Authors
Maintainers
Sources
2.1.0.tar.gz
md5=be731bd8c2d78cf1e8c41c2155a16b2e sha512=62e7eaac21eece4c415b96df4c35bfbe80d3e4f11b55724af79cda70d37a2bcc3edfd8d55cffb3a4cfcc58ca5d7e6680d983e2d949cb6125140d44a4297b5183
Dependencies
odoc >= "2.0" & with-doc
qcheck-core >= "0.18" & with-test
ocaml >= "4.12"
dune >= "2.0"
Reverse Dependencies
mugen
yuujinchou >= "3.0.0"