Mercurial > urweb

comparison lib/ur/option.ur @ 1831:36428d853c97

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Standard library additions: Option.unsafeGet, Basis.exp
author Austin Seipp <mad.one@gmail.com>
date Wed, 28 Nov 2012 11:41:54 -0500
parents a99b743a3087
children
comparison
equal deleted inserted replaced
1830:d636d33fd8a2 1831:36428d853c97
47 47
48 fun get [a] (x : a) (o : option a) = 48 fun get [a] (x : a) (o : option a) =
49 case o of 49 case o of
50 None => x 50 None => x
51 | Some v => v 51 | Some v => v
52
53 fun unsafeGet [a] (o : option a) =
54 case o of
55 None => error <xml>Option.unsafeGet: encountered None</xml>
56 | Some v => v