checkMMod

yesod-form/Yesod/Form/Functions.hs

@@ -33,6 +33,7 @@ module Yesod.Form.Functions
     , check
     , checkBool
     , checkM
+    , checkMMod
     , customErrorMessage
       -- * Utilities
     , fieldSettingsLabel
@@ -355,14 +356,20 @@ checkM :: RenderMessage master msg
        => (a -> GHandler sub master (Either msg a))
        -> Field sub master a
        -> Field sub master a
-checkM f = checkM' f id
+checkM f = checkMMod f id
 
-checkM' :: RenderMessage master msg
+-- | Same as 'checkM', but modifies the datatype.
-        => (a -> GHandler sub master (Either msg b))
+--
-        -> (b -> a)
+-- In order to make this work, you must provide a function to convert back from
-        -> Field sub master a
+-- the new datatype to the old one (the second argument to this function).
-        -> Field sub master b
+--
-checkM' f inv field = field
+-- Since 1.1.1
+checkMMod :: RenderMessage master msg
+          => (a -> GHandler sub master (Either msg b))
+          -> (b -> a)
+          -> Field sub master a
+          -> Field sub master b
+checkMMod f inv field = field
     { fieldParse = \ts -> do
         e1 <- fieldParse field ts
         case e1 of

yesod-form/yesod-form.cabal

@@ -1,5 +1,5 @@
 name:            yesod-form
-version:         1.1.0.1
+version:         1.1.1
 license:         MIT
 license-file:    LICENSE
 author:          Michael Snoyman <michael@snoyman.com>