blob: b3b3d6255950cc4ae99616e364c8f629e1ea93f7 (
plain) (
blame)
1
2
3
4
5
6
7
|
implementation module StdListMonad
import StdMonad
instance return [] where return x = [x]
instance >>= [] where >>= xs f = [y \\ x <- xs, y <- f x]
instance fail [] where fail = []
|