git.iko.soy/Idris-dev
on master help sign in
Remove commented code
fa147b9David Raymond Christiansen
libs/base/Control/Monad/Writer.idr−5
compare with master
unifiedsplit
@@ -19,11 +19,6 @@ class (Monoid w, Monad m) => MonadWriter w (m : Type -> Type) where
19record WriterT (w : Type) (m : Type -> Type) (a : Type) where
19record WriterT (w : Type) (m : Type -> Type) (a : Type) where
20 constructor WR
20 constructor WR
21 runWriterT : m (a, w)
21 runWriterT : m (a, w)
22−{-
23−record WriterT : Type -> (Type -> Type) -> Type -> Type where
24− WR : {m : Type -> Type} ->
25− (runWriterT : m (a, w)) -> WriterT w m a
26−-}
27
22
28instance Functor f => Functor (WriterT w f) where
23instance Functor f => Functor (WriterT w f) where
29 map f (WR g) = WR $ map (\w => (f . fst $ w, snd w)) g
24 map f (WR g) = WR $ map (\w => (f . fst $ w, snd w)) g