Allow options to be compared for ordering

Risto-Stevcev / bastet

A ReasonML/Ocaml library for category theory and abstract algebra

BSD 3-Clause "New" or "Revised" License

211 stars 26 forks source link

Allow options to be compared for ordering #17

Closed mlms13 closed 4 years ago

mlms13 commented 4 years ago

This adds the ORD_F functor to Option, allowing options to be compared if the inner type is a member of ORD. I also added non-functor specializations in OptionF wherever Eq existed (e.g. OptionF.Int.Ord).