% $Id: Filter2Test.oz,v 1.1 2007/11/14 02:10:57 leavens Exp leavens $ \insert 'Filter2.oz' \insert 'Pred2ListMonad.oz' declare A B Out Out2 MyList=[A 5 1 B 4 0 6] MyFun=fun {$ X} X>2 end thread Out={Filter2 MyList MyFun} end {Browse Out} local [ListMonad] = {Module.link ['ListMonad.ozf']} in % Return = ListMonad.return Bind = ListMonad.bind end thread Out2={Bind MyList {Pred2ListMonad MyFun}} end {Browse Out2} {Delay 2000} A=7 {Delay 4000} B=1