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

Relax match for GFormMonad IsForm instance

Browse Source
This commit is contained in:
Matt Brown 2010-12-26 00:28:46 -08:00 committed by Michael Snoyman
parent 7945718290
commit 9e77d34a6a
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Yesod/Form/Core.hs
View File

@ -202,10 +202,10 @@ instance IsForm (FormField s m a) where
toForm x = GForm $ do toForm x = GForm $ do
(a, b, c) <- x (a, b, c) <- x
return (a, [b], c) return (a, [b], c)
instance IsForm (GFormMonad s m (FormResult a, FieldInfo s m)) where instance (FormResult ~ formResult) => IsForm (GFormMonad s m (formResult a, FieldInfo s m)) where
type FormSub (GFormMonad s m (FormResult a, FieldInfo s m)) = s type FormSub (GFormMonad s m (formResult a, FieldInfo s m)) = s
type FormMaster (GFormMonad s m (FormResult a, FieldInfo s m)) = m type FormMaster (GFormMonad s m (formResult a, FieldInfo s m)) = m
type FormType (GFormMonad s m (FormResult a, FieldInfo s m)) = a type FormType (GFormMonad s m (formResult a, FieldInfo s m)) = a
toForm x = do toForm x = do
(res, fi, enctype) <- lift x (res, fi, enctype) <- lift x
tell enctype tell enctype