haskell/yesod
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

MonadTrans instances for GGHandler and GGWidget

Browse Source
This commit is contained in:
Michael Snoyman 2011-01-13 22:30:23 +02:00
parent 06193634c4
commit 62cdd6ba63
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Yesod/Handler.hs
View File

@ -213,6 +213,9 @@ newtype GGHandler sub master m a =
} }
deriving (Functor, Applicative, Monad, MonadIO, MonadPeelIO) deriving (Functor, Applicative, Monad, MonadIO, MonadPeelIO)
instance MonadTrans (GGHandler s m) where
lift = GHandler . lift . lift . lift . lift
type GHandler sub master = GGHandler sub master (Iteratee ByteString IO) type GHandler sub master = GGHandler sub master (Iteratee ByteString IO)
type GHInner s m monad = type GHInner s m monad =

6
Yesod/Widget.hs
View File

@ -52,7 +52,7 @@ import Yesod.Handler
) )
import Control.Applicative (Applicative) import Control.Applicative (Applicative)
import Control.Monad.IO.Class (MonadIO) import Control.Monad.IO.Class (MonadIO)
import Control.Monad.Trans.Class (lift) import Control.Monad.Trans.Class (MonadTrans (lift))
import Yesod.Internal import Yesod.Internal
import Yesod.Content (RepHtml (RepHtml), Content, toContent) import Yesod.Content (RepHtml (RepHtml), Content, toContent)
import Control.Monad (liftM) import Control.Monad (liftM)
@ -64,6 +64,10 @@ import Control.Monad.IO.Peel (MonadPeelIO)
-- dependencies along with a 'StateT' to track unique identifiers. -- dependencies along with a 'StateT' to track unique identifiers.
newtype GGWidget s m monad a = GWidget { unGWidget :: GWInner s m monad a } newtype GGWidget s m monad a = GWidget { unGWidget :: GWInner s m monad a }
deriving (Functor, Applicative, Monad, MonadIO, MonadPeelIO) deriving (Functor, Applicative, Monad, MonadIO, MonadPeelIO)
instance MonadTrans (GGWidget s m) where
lift = GWidget . lift . lift . lift . lift . lift . lift . lift . lift
type GWidget s m = GGWidget s m (GHandler s m) type GWidget s m = GGWidget s m (GHandler s m)
type GWInner sub master monad = type GWInner sub master monad =
WriterT (Body (Route master)) ( WriterT (Body (Route master)) (