Mercurial > urweb

diff lib/ur/option.urs @ 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
line wrap: on
line diff
--- a/lib/ur/option.urs	Wed Nov 28 11:39:38 2012 -0500
+++ b/lib/ur/option.urs	Wed Nov 28 11:41:54 2012 -0500
@@ -12,3 +12,4 @@
 val bind : a ::: Type -> b ::: Type -> (a -> option b) -> t a -> t b
 
 val get : a ::: Type -> a -> option a -> a
+val unsafeGet : a ::: Type -> option a -> a