Permalink
Browse files

Reshuffle equalities in ITMOPrelude.Categories: To -> From

  • Loading branch information...
oxij committed Oct 27, 2012
1 parent 5ec0361 commit e218d8a7f8aece28d9d510c726b5db23ed55e7e9
@@ -2,8 +2,8 @@
module ITMOPrelude.Categories.ToMonad where
import ITMOPrelude.Categories
--- Из этих
+-- Эти
import ITMOPrelude.Categories.MonadJoin
import ITMOPrelude.Categories.MonadFish
--- делаем эту
+-- делаем нас
@@ -0,0 +1,19 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+module ITMOPrelude.Categories.ToMonadFish where
+import ITMOPrelude.Categories.MonadFish
+
+-- Эти
+import ITMOPrelude.Categories
+import ITMOPrelude.Categories.MonadJoin
+
+-- делаем из нас
+instance MonadFish m => Monad where
+ return = ?
+ f >>= g = ?
+
+instance MonadFish m => Functor m where
+ fmap = ?
+
+instance MonadFish m => MonadJoin m where
+ returnJoin = ?
+ join = ?
@@ -2,8 +2,8 @@
module ITMOPrelude.Categories.ToMonadJoin where
import ITMOPrelude.Categories.MonadJoin
--- Из этих
+-- Эти
import ITMOPrelude.Categories
import ITMOPrelude.Categories.MonadFish
--- делаем эту
+-- делаем из нас
@@ -1,17 +0,0 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-module ITMOPrelude.Categories.ToMonadFish where
-import ITMOPrelude.Categories.MonadFish
-
--- Из этих
-import ITMOPrelude.Categories
-import ITMOPrelude.Categories.MonadJoin
-
--- делаем эти
-instance Monad m => MonadFish m where
- returnFish = ?
- f >=> g = ?
-
-instance MonadJoin m => MonadFish m where
- returnFish = ?
- f >=> g = ?
-

0 comments on commit e218d8a

Please sign in to comment.