summaryrefslogtreecommitdiff
path: root/files/practicum/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