summaryrefslogtreecommitdiff
path: root/lib/ur/option.ur
blob: 5ec093c03e5eeb8f996753e4b5c321f31fb9315d (plain)
1
2
3
4
5
6
7
8
9
10
11
datatype t = datatype Basis.option

fun isSome [a] x =
    case x of
        None => False
      | Some _ => True

fun mp [a] [b] f x =
    case x of
        None => None
      | Some y => Some (f y)