Mercurial > urweb

annotate src/option_key_fn.sml @ 2249:c05851bf7861

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge.
author Ziv Scully <ziv@mit.edu>
date Sat, 12 Sep 2015 17:11:33 -0400
parents e4a7e3cd6f11
children
rev   line source
ziv@2244 1 functor OptionKeyFn(K : ORD_KEY)
ziv@2244 2 : ORD_KEY where type ord_key = K.ord_key option = struct
ziv@2240 3
ziv@2240 4 type ord_key = K.ord_key option
ziv@2240 5
ziv@2240 6 val compare =
ziv@2240 7 fn (NONE, NONE) => EQUAL
ziv@2240 8 | (NONE, _) => LESS
ziv@2240 9 | (_, NONE) => GREATER
ziv@2240 10 | (SOME x, SOME y) => K.compare (x, y)
ziv@2240 11
ziv@2240 12 end