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 these mistakes.

Install
Published
10 Apr 2022
Sources
1.2.0.tar.gz
md5=8f22a165c41d650ab734063441c83d22
sha512=525342b74934494a8c1b8e8208ae9125c218abd447373b47e876c281e7c947da80003e81a28e563c55714c4742bce9c8ac36e3c6747c317fc7714cedaa883e60
Dependencies
odoc
with-doc
qcheck-core
>= "0.18" & with-test
ocaml
>= "4.08"
dune
>= "2.0"
Reverse Dependencies
yuujinchou
= "3.0.0"