Mercurial > urweb

view tests/datatypeP.ur @ 1924:b44138e6a3bf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add activeHead tag. activeHead is similar to active but produces xhead instead of xbody
author Sergey Mironov <grrwlf@gmail.com>
date Fri, 06 Dec 2013 13:59:39 +0400
parents 71bafe66dbe1
children
line wrap: on
line source
datatype option a = None | Some of a

val none : option int = None
val some_1 : option int = Some 1

val f = fn t ::: Type => fn x : option t =>
        case x of None => None | Some x => Some (Some x)

val none_again = f none
val some_1_again = f some_1

val show = fn t ::: Type => fn x : option t => case x of None => "None" | Some _ => "Some"

val page = fn x => <html><body>
        {cdata (show x)}
</body></html>

val main : unit -> page = fn () => <html><body>
        <li><a link={page none_again}>None</a></li>
        <li><a link={page some_1_again}>Some 1</a></li>
</body></html>