summaryrefslogtreecommitdiff
path: root/fp2/week2/mart/StdMaybeMonad.dcl
blob: e9ebec1b3aacc7ca5f460ae185d8e1b0eed6e6a4 (plain) (blame)
1
2
3
4
5
6
7
8
9
definition module StdMaybeMonad

import StdMonad

:: Maybe a = Nothing | Just a

instance return	Maybe
instance >>=	Maybe
instance fail   Maybe