Permalink
Browse files

More type sigs to avoid monomorphism restriction

  • Loading branch information...
1 parent df89bce commit bca47794f94178cfa8a5952f570665ac24011a76 @np committed Oct 11, 2011
Showing with 5 additions and 0 deletions.
  1. +5 −0 templates/article/Kit.hs
@@ -50,8 +50,13 @@ put = tell
p = put . B.para
itemize block = B.itemize ø !$? block
description block = B.description ø !$? block
+
+item :: (MonadWriter (f ListItem) m, Monad f) => LatexItem -> m ()
item = tell . return . B.item . B.para
+
+itemD :: (MonadWriter (f ListItem) m, Monad f) => LatexItem -> LatexItem -> m ()
itemD x = tell . return . B.item' x . B.para
+
maketitle = put B.maketitle
section = put . B.section
subsection = put . B.subsection

0 comments on commit bca4779

Please sign in to comment.