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
Published
03 May 2022
Sources
2.0.0.tar.gz
md5=c0cef4b9e14cca56dcce4da052139c74
sha512=f3812f8eca0616cc138596a5c3b0a72f1b545bc62e2fc2841a42baa1788698f94c9786f40e2fcfe2e18e7fd5d1491db208c08efc042ce6d5b9a1fbf461e7e88c
Dependencies
odoc
>= "2.0" & with-doc
qcheck-core
>= "0.18" & with-test
ocaml
>= "4.12"
dune
>= "2.0"
Reverse Dependencies
yuujinchou
>= "3.0.0"