From 6588473adf96a3eb7cfac55820ec022d4533fcbf Mon Sep 17 00:00:00 2001 From: Joe Zhao Date: Mon, 24 Aug 2015 15:45:45 -0600 Subject: Foldables --- monad/h2.hs | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 monad/h2.hs (limited to 'monad/h2.hs') diff --git a/monad/h2.hs b/monad/h2.hs new file mode 100644 index 0000000..fce9d81 --- /dev/null +++ b/monad/h2.hs @@ -0,0 +1,5 @@ +instance Monad ((->) e) where + return f = \_ -> f + (>>=) f1 f2 = \r -> f2 (f1 r) r + -- f1 :: m a + -- f2 :: a -> m b -- cgit v1.2.3-70-g09d2